TIFR PHD CS & SS 2013
May 1, 2024Hashing
May 1, 2024Question 10445 – Propositional-Logic
Show that proposition C is a logical consequence of the formula
A ∧ (A →(B ∨ C)) ∧ (B → ~A)
Using truth tables.
Correct Answer: A
Theory Explanation.
Show that proposition C is a logical consequence of the formula
A ∧ (A →(B ∨ C)) ∧ (B → ~A)
Using truth tables.
Correct Answer: A