pathterminuspages/logic/aboutcontactabout me




1. Introduction
2. Propositional Extension
3. Syntax
@4. Semantics
5. Natural Deduction
6. Equivalences

The semantics of predicate logic is more abstract than that of propositional logic. It involves dealing with model theory. I need books from the library for different definitions in order to explain this properly. So I have to postpone this chapter till covid is gone.

CommentsGuest Name:Comment: