Logical Proofs

From Wikiversity
Jump to navigation Jump to search

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 Translation[edit]

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