GenMath W4 Logic
GenMath W4 Logic
Translate “If Cecile likes avocado then, she lives in the Philippines.”
Answer: n → m
Translating Statements to Propositional Logic
Example
If Lyn says that she is eating or watching. This
statement allows that Lyn is eating and not watching to be
true. Lyn is not eating and watching to be true, and Lyn is
eating and watching to be true.
Exclusive Disjunction is true when P q p∨q
one component is true and the other T T F
is false. p or q (p∨q) T F T
F T T
F F F
Example:
Lorenze is in the library or is the canteen, this
statement will only be true when exactly one of the two
propositions is true. Otherwise, it will be false.
Conditional
If p and q are simple propositions,
then the statement “If p then q” or “p
P q p→q
implies q”, denoted by p → q, is
T T T
called a conditional statement or
T F F
implication. A conditional statement F T T
is false when p is true and q is false F F T
otherwise, it is true.
Biconditional
Let p and q are simple propositions. The
P q p↔q
statement form (p → q) ∨ (q → p), is T T T
called the biconditional of p and q. This T F F
is read as “p if and only if q” and is F T F
denoted by p ↔ q. A biconditional F F T
statement is true if both p and q have the
same truth values and false if p and q
have opposite truth values.
Negation
If p is a simple proposition, then
the negation of p is “not p” or “it is p p
not the case that p” and is denoted T F
by ~p. The truth value of the F T
negation of p is opposite the truth
value of p.
Conjunctions Inclusive Disjunction Exclusive Disjunction
P q p q P q p∨q P q p∨q
T T T T T T T T F
T F F T F T T F T
F T F F T T F T T
F F F F F F F F F
Conditional Biconditional Negation
P q p→q P q p↔q
T T T T T T p p
T F F T F F T F
F T T F T F F T