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