SP1108 C6

I am going to post my Logic notes. These are my own. And i hope this will help. Worth a try.

PROPOSITIONAL LOGIC, THEIR SYMBOLS AND THEIR TRUTH FUNCTIONS.
Here we go.

Negation= ~ . Tilde. It is not the case that/not.
Conjunction= . . And, also, moreover.
Disjunction= V . or, unless.
Implication= > (horseshoe actually :p) , If...then, Only if.
Equivalence=(triple bar) , If and only if.

Their truth functions.
In mind the order is as follows:
T T
T F
F T
F F

Hence,

For Tilde ~ : BEEF BURGER THEORY
T
F
F
F

For Disjunction/V: HAPPY MEAL THEORY
T
T
T
F

For conditional (horseshoe): RAIN CLOUD THEORY
T
F
T
T

Biconditional(triple bar): The BLACK AND WHITE IDENTICAL TWINS THEORY
T
F
F
T

*Doing exercise....*

Classifying statements:

All true= Tautologous

All false= Self contradictory

At least one is true= Contingent