Propositional logic

Propositional logic refers to logic using propositions. It is not using mathematical variables, but uses statements and rules around the statements. Also known as propositional calculus

Basically propositional logic takes a list of premises or assumptions and then combines them together to form an inferred conclusion

We want our arguments to be valid arguments

Laws of logic
Laws of logic in lecture today


 * 1) Double negation: A<->A
 * 2) Commutative laws: A v B <-> B v A, A ^ B <-> B ^ A
 * 3) Associative laws