Math Formulas, Practice, Tests, Forums, Free Help

Use inference rules on the following premises to prove that it is ∴ Y^W W ∧ Z ¬X ∨ Y --------- * Y ∧ W

Math problem of the week

Website Info

The website was created in September 2005.
It is visited by 14,000 - 23,000 people daily, mostly from USA, Bulgaria and Russia.
In 2011 was created a Russian version, and in 2015 Serbian.

Contact email:

Copyright © 2005-2017.