Name__________________________________________________________________________________________

Philosophy 2170B Winter 2023 Assignment I

1. Use the truth-table method to determine whether the following sentences
(propositions) are truth-functionally equivalent (use full table). Make sure to state
your result (it is highly important). (2 points)

a) (P ≡ Q), (P É Q) . (Q É P)
b) (P É Q), (~Q É ~P)
c) (~P v Q), (P É Q)
d) ~ (P . Q), (~P v ~Q)








2. Use the truth-table method to determine whether the following arguments are
truth-functionally valid/invalid (use full table). Make sure to state your result. (2
points)

a) ~[B É (A Ú C)] & ~~B, A ≡ ~B / B
b) P É Q, ~Q v P, ~Q / P
c) ~P É Q, ~P / Q
d) ~P É ~Q, Q / P





3. Use the truth-table method to determine whether the following set of sentences is
truth-functionally consistent/inconsistent. Use only indirect (shortened) truth-
table. Make sure to state your result. (1)

a) A ≡ B, (B v ~A) É C, (A Ú ~B) É D, D É E, ~F v ~D
b) P É (Q . R), Q É (S É T), R É (T É ~S), P. S