Lecture notes MAM1008S

Logic

IYI.IT waaeortretensit i

false can be meaningfully applied


eg 4 1,2 3,4 True
Fulse
4 is odd
this sentence is
non prop
false
2 is an integer non prop


Atomic proposition
Does not depend on truth or falsity
of any other prop

Values
Is prop is the value
Is prop is false value o

, e.g 4 E 1,2 3,4 p I




Logical conjunction
Is p and q are props their conjunction pard q

prg is defined by the truth table


pyppany
01




Logical Disjunction
Is p or q are props their conjunction por q
pva is desired by the truth table


p.gg