Recent content by TheShoink

Hi, I've been set an assignment, part of which is to come up with a formal proof for (p \wedge q) \Rightarrow p. I have to show that the formula is either a tautology or contradiction, or contingent. If it is contingent, I have to show the smallest possible equivalent expression that uses only...