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.

Definition (first-order predicate logic). First-order predicate logic or sentential logic or statement logic is a branch of logic that deals with quantified variables, so that rather than propositions ...

My goal is to be able to implement the resolution rule for propositional logic in PROLOG. This implementation follows, to some degree, the level-saturation algorithm. I will have as input a text file ...

The formalism of program logics is the main instrument for software verification. Many such logics reflecting different properties of software systems were proposed. Floyd-Hoare logic and its variants ...

One of the methods involves program algebras with the composition of predicate complement. Introduction of this composition permits to modify rules of the logic making them sound, but the obtained ...

Outline of topics Ever since modern symbolic logic was consolidated (in the mid 1900s), the standard format for an introductory logic class has been to learn the classical predicate calculus in three ...

But until now only methods yielding completeness results for propositional languages have been developed. In view of philosophical applications, analogous results with respect to languages of ...

Effectively Propositional Logic (EPR), also known as the Bernays-Schoenfinkel class, allows encoding problems that are propositional in nature, but EPR encodings can be exponentially more succinct ...