p
0
0
1
1
q
1
0
1
0
q pq (pq)
0
0
1
0
1
1
0
1
0
1
0
1
Ovidiu Bagdasar
Page 1 of 4
q
1
0
1
0
p H H
0
0
1
1
0
0
1
1
0
1
1
0
q
1
0
1
0
pq
1
0
1
1
q p
0
0
1
0
0
1
0
1
Fallacious
Converse error
p q; q
q
Modus Tollens
p q; q
p
Inverse error
p q; p
p
common divisors and q = 2, therefore p2 = 2q2 . Because p and q are natural numbers, p2
is a multiple of 2, so p itself is a multiple of 2 (p = 2p1 ). In this case, (2p1 )2 = 2q2 , which
gives 2p21 = q2 . Using the same argument as before, q = 2q1 . We have just proved that 2 is a
common divisor of p and q, which is a Contradiction.
Ovidiu Bagdasar
Page 2 of 4
p
0
0
1
1
q
1
0
1
0
q H
0
1
1
0
0
0
1
1
E 5.4. Find d.n.f(G) and c.n.f(G) for formula G in the truth table below and identify the
corresponding regions in the Venn diagram.
Ovidiu Bagdasar
Page 3 of 4
Ovidiu Bagdasar
Page 4 of 4