mathslogicbot's profile picture. I tweet tautologies.

Created by @mscroggs. How I work: http://mscroggs.co.uk/blog/13

Tautologies also tooted at @logicbot@mathstodon.xyz

Logic Bot

@mathslogicbot

I tweet tautologies. Created by @mscroggs. How I work: http://mscroggs.co.uk/blog/13 Tautologies also tooted at @[email protected]

((¬a⇿a)⇾¬(b⇿a))


((¬a⇿a)⇾¬(b∨c))


((¬a⇿a)⇾¬(b∨b))


((¬a⇿a)⇾¬(b∨a))


((¬a⇿a)⇾¬(b∧c))


((¬a⇿a)⇾¬(b∧b))


((¬a⇿a)⇾¬(b∧a))


((¬a⇿a)⇾¬(a⇾b))


((¬a⇿a)⇾¬(a⇾a))


((¬a⇿a)⇾¬(a⇿b))


((¬a⇿a)⇾¬(a⇿a))


((¬a⇿a)⇾¬(a∨b))


((¬a⇿a)⇾¬(a∨a))


((¬a⇿a)⇾¬(a∧b))


((¬a⇿a)⇾¬(a∧a))


((¬a⇿a)⇾¬¬¬¬¬b)


((¬a⇿a)⇾¬¬¬¬¬a)


((¬a⇿a)⇿(b⇿¬b))


((¬a⇿a)⇿(b∧¬b))


((¬a⇿a)⇿(a⇿¬a))


Loading...

Something went wrong.


Something went wrong.