An embroidered patch made with a durable twill weave featuring the formal symbolism for the law of non-contradiction in propositional logic. The formula reads as "not both P and not-P". It is a fo...
Our "love everyone" series features the logical formula ∀x❤x. A play on symbolic logic, we added a heart symbol as a new predicate to the usual symbolism in formal first-order languages to spell ou...