Formal Logic Kids T-Shirts

Banksy and the Barcan Formula in this free-logic mashup.

Everything was truth conditions and nothing hurt. Formal logic

Denying the Antecedent is a formal logical fallacy taking the form: If P then Q Not P Therefore, not Q eg: If I am a bird, I have two legs. I am not a bird (I am a human) Therefore I do not have two legs.

Affirming the Consequent is a formal logical fallacy taking the form: If P then Q Q Therefore, P