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 is a little bit of teasing for those excited about logical pluralism and its applications. Paraconsistent logics are those that deny the classical law of non-contradiction, where 'P' and 'not ...
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...
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...