This is a first version of a lecture on propositional and predicate logic. The lecture notes are incomplete as of yet, but the goal is to add notes for one lecture every week. As the book is a work in ...

Logic and logical thinking are present and play an important role in most of the disciplines at the university level but in different ways. In our research, which has been ongoing for several years, ...

\item \textbf{Assumptions} are the propositions which are known to be true, or which we are assuming to be true for the purposes of proving something. They include theorems that have already been ...