Assignment/Seatwork
Let p and q be propositions:
p : Christina is a Computer Science major.
q : Leonardo is an Information Technology major.
Express each of these proposition as an English sentence.
1. q Leonardo is not an Information Technology major.
2. p ^ q Christina is not a Computer Science major and Leonardo is
an Information Technology major.
3. p q Christina is not a Computer Science major then Leonardo is
not an Information Technology major.
4. p q Christina is a Computer Science major if and only if Leonardo
is an Information Technology major.
Construct a truth matrix for each of these compound propositions
1. p q
p
q
q
1
1
0
1
0
1
0
1
0
0
0
1
2. p ( q r )
p
1
1
1
1
0
0
0
0
3. ( p q ) v (p r )
p
q
q
1
1
0
0
1
1
0
0
r
r
1
0
1
0
1
0
1
0
p
(pq
)
1
1
0
0
1
1
1
1
1
1
1
0
1
1
0
0
1
0
1
0
1
0
0
0
0
1
1
1
0
1
0
1
0
0
1
1
0
0
0
1
Let: p be TRUE and q be FALSE
Find the Truth Table.
1. p ^ (p v q )
0 ^ (0 v 0)
p q
1
0
0
1
(qr)
1
0
1
1
1
0
1
1
p(qr)
0
1
0
0
1
0
1
1
(p r )
( p q ) v (p r )
1
1
1
1
1
0
1
0
1
1
1
1
1
1
1
1
0 (FALSE)
p
1
2. p v ( p q )
p
1
3. ( p q ) p
p
1
q
0
0v(10)
q
0
p
0
(p v q )
0
p ^ (p v q )
0
0 (FALSE)
p
(pq)
0
0
p v ( p q )
0
(10)1
0 (FALSE)
q
(pq)
(pq)
0
0
1
(pq)p
0
4. (p ^ q ) ( q p )
(0^1)(00)
0 (FALSE)
p
q
p
q
(p ^ q
(p ^
( q p ) (p ^ q ) ( q
)
q)
p )
1
0
0
1
0
1
1
0