Monday, November 14, 2011

A Bit of Data to Occupy By

Posted by at
Labels: , , , , , , , ,

1 comment:

Tecumseh said...

Tautologically. As I was saying in another post, A implies ¬A for all A is a basic axiom of Pepean Propositional Calculus.

11/14/2011 10:12 AM

Post a Comment

Subscribe to: Post Comments (Atom)