A soft and lightweight tee featuring the formal symbolism for the law of excluded middle in propositional logic.
The formula reads as "P or not-P". It is a foundational axiom in classical logic th...
This design uses the universal quantifier symbol (∀) and employs a pride heart design with the ubiquitous rainbow Pride Flag as a predicate symbol meaning "I love" or "is loved". We covered these s...
If the solution to a problem can be verified quickly, does this mean it can be solved quickly as well? This is the core question that defines the P versus NP problem in computer science. The clas...
If the solution to a problem can be verified quickly, does this mean it can be solved quickly as well? This is the core question that defines the P versus NP problem in computer science. The clas...
This design uses the universal quantifier symbol (∀) and employs a pride heart design with the ubiquitous rainbow Pride Flag as a predicate symbol meaning "I love" or "is loved".
It's a particular...
This design uses the universal quantifier symbol (∀) and employs a pride heart design with the ubiquitous rainbow Pride Flag as a predicate symbol meaning "I love" or "is loved". We print this rain...
This cap plays on symbolic logic, using the universal quantifier symbol and with a heart as a predicate symbol, saying "for every x, x is loved", or, "love everyone". The hat is a classic trucker c...
A soft and lightweight T-shirt featuring a transgender variant of our "Love Everyone" design.
This design uses the universal quantifier symbol (∀) and employs a pride heart design as a predicate sy...
A soft and lightweight T-shirt featuring an allyship variant of our "Love Everyone" design. This design uses the universal quantifier symbol (∀) and employs a pride heart design as a predicate sym...
A soft and lightweight T-shirt featuring a version of our "Love Everyone" design. This design uses the universal quantifier symbol (∀) and employs a pride heart design with the ubiquitous rainbow ...
A soft and lightweight tee 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 foundational axiom in classi...
The raven paradox notes that, at least formally, if seeing a black raven is evidence for the claim "all ravens are black", then so is any observation of anything that is neither black nor a raven. ...