Logical Proofs

This page is a learning resource for those people who want to learn how to do logical proofs. Disclaimer: The information provided here is solely from my own experience in a university logic class.

Propositional TranslationEdit

For the first part, we are going to learn how to translate natural language into logical expressions. For this we'll use the following tables:

Symbol Meaning Translations


Negation Not A
  Or A or B


And A and B


Implication If A then B
A implies B


Equivalence A if and only if B