Truthtable
Truthtable
~
be read as “not-p”.
Conjunction – Dot
“And”. It connects statements
Disjunction
conjunctively. – Wedge
●
“Or”. The symbol
Implication " ∨ " signifies inclusi
– Horseshoe
ve
"If .disjunction
. . , then . . . .“
The ⊃ symbol is used to symbolize
a relationship called material
implication
∨ ⊃
Truth Table
How constructed
If Romeo loves Juliet, then Romeo will marry Juliet First premise
Identify the
first premise,
second
premise, third
premise…
Truth Table
How constructed
1 2
Identify the
Use a variable
first premise,
(p or q) to
second
represent each
premise, third
basic statement
premise…
Truth Table
How constructed
If Romeo loves Juliet then Romeo will marry Juliet. (first premise)
p q
Romeo loves Juliet (second premise)
p
Therefore, Romeo will marry Juliet (conclusion)
q
Truth Table
How constructed
If Romeo loves Juliet then Romeo will marry Juliet.
p q p⊃q
Romeo loves Juliet
p p
Therefore, Romeo will marry Juliet
q
∴q
1 2 3
1 2 3 4
5 6
p q p⊃q p q
T T T T T
T F F T F
F T T F T
F F T F F
Are the premises true? yes
Is the conclusion true? yes
Truth Table
How constructed
If Romeo loves Juliet then Romeo will marry Juliet. (first premise)
p ⊃ q
Romeo does not love Juliet (second premise)
~p
Therefore, Romeo will not marry Juliet (conclusion)
~q
Truth Table
How constructed
If Romeo loves Juliet then Romeo will marry Juliet. (first premise)
p ⊃ q
Romeo does not love Juliet (second premise)
~p
Therefore, Romeo will not marry Juliet (conclusion)
~q p⊃q
~p
∴~q
Truth Table
How constructed
First Premise: If Romeo loves Juliet then Romeo will marry Juliet.
p ⊃ q
p q p⊃q
T T T
T F F
F T T
F F T
Truth Table
How constructed
Second Premise: Romeo does not love Juliet
~p
p q p⊃q ~p
T T T F
T F F F
F T T T
F F T T
Truth Table
How constructed
Third Premise: Romeo will not marry Juliet
~q
p q p⊃q ~p ~q
T T T F F
T F F F T
F T T T F
F F T T T
Truth Table
How constructed
1st Premise 2nd Premise Conclusion
p q p⊃q ~p ~q
T T T F F
T F F F T
F T T T F
F F T T T
Are there any bad rows?
Yes
Thank you