3. Conclusion

Following a first article on "logic and metalogy" [AF 88] , this second article presented an introduction to the logic of propositions and the logic of predicates.

Propositional logic and predicate logic are formal (they obey unambiguous syntactic, semantic and computational rules), vericonditional (a single semantic notion: truth/falsehood), compositional (the meaning of a formula is entirely determined by the meanings of its components), and computable (computational rules allow valid inferences to be defined, and truth tables allow the truth/falsehood of a formula to be established...