For primitive statements p, q,
a) verify that p → [q → (p ˄ q)] is a tautology.
b) verify that (p ˅ q) → [q → q] is a tautology by using the result from part (a) along with the substitution rules and the laws of logic.
c) is (p ˅ q) → [q → (p ˄ q)] a tautology?
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.