Skip to content
Question 196 of 227

Q.Examine whether the following logical statement pattern is tautology, contradiction or contingency. [(p→q)∧q]→p[(p \to q) \land q] \to p

Maharashtra MsbshseMaharashtra HSC (MSBSHSE) Board 2016Subjective· 3mImportance★★★★★
86% · 196/227 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 →

Build the truth table for [(p→q)∧q]→p[(p\to q)\land q]\to p; it has both T and F rows, so it is a contingency.

ppqqp→qp\to q(p→q)∧q(p\to q)\land q[(p→q)∧q]→p[(p\to q)\land q]\to p
TTTTT
TFFFT
FTTTF
FFTFT

The final column contains three T's and one F (row p=F,q=Tp=F,q=T: (p→q)∧q=T∧T=T(p\to q)\land q = T\land T=T, but p=Fp=F, so the conditional T→FT\to F is False).

…

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.