Discrete maths, inference rules.

Discrete maths, inference rules.

Postby Guest » Sat Feb 11, 2017 9:05 am

Use inference rules on the following premises to prove that it is ∴ Y^W

W ∧ Z
¬X ∨ Y
---------
* Y ∧ W





Guest
 

Return to Math Problem of the Week



Who is online

Users browsing this forum: No registered users and 1 guest

cron