Skip to content
Worked Examples · Example 4

Q.Show, using a truth table, that (p∧q)→p(p \wedge q) \rightarrow p is a tautology.

Maharashtra MsbshseTextbookSubjectiveImportance★★★★★
25% · 10/40 Questions
🔒 Locked · start free trial →

You're viewing a preview — the full solution, concept, methods & PYQ mapping are locked.

Start your 14-day free trial to unlock the full solution →

There are 22=42^2 = 4 rows. Compute p∧qp \wedge q and then the conditional with consequent pp.

ppqqp∧qp \wedge q(p∧q)→p(p \wedge q) \rightarrow p
TTTT
TFFT
FTFT
FFFT

Reading the rows. Row 1: T→T=TT \rightarrow T = T. Rows 2-4: the antecedent p∧qp \wedge q is FF, so the conditional is automatically TT. The final column is T,T,T,TT, T, T, T.

Since the last column is all TT, the pattern is true for every assignment of truth values, i.e. a tautology. …

Unlock everything free for 14 days

  • Full step-by-step solutions
  • Concept-first explanations
  • Methods, shortcuts & mistakes
  • PYQ mapping + timed mock tests

Full access for 14 days. No credit card required.