Page 1 of 1

In formal symbolic logic, show that [P&∼P]⊃Q is a theorem.

Posted: Mon Jun 06, 2022 6:35 pm
by answerhappygod
In formal symbolic logic, show that [P&∼P]⊃Q is a
theorem.