MENU


Discrete maths, inference rules.

Creating a new topic here requires registration. All other forums are without registration.
Post a reply

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
 
Top
Post a reply

Return to Math Problem of the Week



Who is online

Users browsing this forum: No registered users and 1 guest

cron