Academic Integrity: tutoring, explanations, and feedback — we don’t complete graded work or submit on a student’s behalf.

Equivalences Show that (p and q) rightarrow q is a tautology (i.e. (p and q) rig

ID: 3142023 • Letter: E

Question

Equivalences Show that (p and q) rightarrow q is a tautology (i.e. (p and q) rightarrow q Congruent T). (a) Show the equivalence using truth tables (b) Show the equivalence by establishing a sequence of equivalences. You can only use the equivalences in Table 6 and the first equivalence in Table 7. Show your work by annotating every step. Show that (p rightarrow q) and (p rightarrow r) Congruent p rightarrow (q and r) (a) Show the equivalence using truth tables (b) Show the equivalence by establishing a sequence of equivalences. You can only use the equivalences in Table 6 and the first equivalence in Table 7. Show your work by annotating every step.

Explanation / Answer

p q p^q p^q->q
T T T T
T F F T
F T F T
F F F T

From this truth table we can see that p^q->q is a tautology;