Propositional Logic
2) Determine whether each of the following expressions is a
propositional logic well-formed formula (PL WFF) that is
tautological, contingent, or inconsistent. Write down “T” (for
tautological PL WFF), or “IC” (for inconsistent PL WFF), or “C”
(for contingent PL WFF). If the expression is not a PL WFF, do not
write anything.
a) ((P ? Q) v (Q ? P))
b) ((~P ? Q) & (R ? Q)) ? ((P ?R) ??Q)
c) ((~P ? Q) ? ((R v ~P) ? (R v Q)))
d) ((P ? Q) ? (~P ? Q))
e) ((P ? ~Q) & ~(Q ? R))