Mikhail's Quotes.
Poetry Terms
Prove that the following wff is valid by means of resolution: xp(x)v xq(x) x p(x)vq(x)
CRCT Question
