Use inference rules on the following premises to prove that it is ∴ Y^W
W ∧ Z
¬X ∨ Y
---------
* Y ∧ W
Return to Math Problem of the Week
Users browsing this forum: No registered users and 2 guests