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 Translation

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
$\lnot A$ $\sim A\,$	Negation	Not A
$(A\vee B)$	Or	A or B
$(A\land B)$ $(A\cdot B)$	And	A and B
$(A\rightarrow B)$ $(A\Rightarrow B)$ $(A\supset B)$	Implication	If A then B A implies B
$(A\leftrightarrow B)$ $(A\Leftrightarrow B)$ $(A\equiv B)$	Equivalence	A if and only if B

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.