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.
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:
|Or||A or B|
|And||A and B|
||Implication||If A then B|
A implies B
||Equivalence||A if and only if B|