Sign in

Taut Bot

@tautologybot.bsky.social
19 followers 4 following 221 posts

Posting a tautology (or contradiction) every hour. Inspired by @mathslogicbot on Twitter.

PostsRepliesMedia
Taut Bot @tautologybot.bsky.social · 22/11/2024
((P ∧ R) ∧ (¬P <-> P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 22/11/2024
((P ∧ R) ∧ (¬R ∧ R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 22/11/2024
((P ∧ R) ∧ (¬R ∧ Q)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (¬R ∧ P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (¬Q ∧ Q)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (¬P ∧ R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (¬P ∧ Q)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (¬P ∧ P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (R <-> ¬R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (R <-> ¬P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (Q <-> ¬Q)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (P <-> ¬R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (P <-> ¬P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (R -> ¬R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (R -> ¬P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (P -> ¬R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (P -> ¬P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (R ∧ ¬R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (R ∧ ¬P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (Q ∧ ¬R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (Q ∧ ¬Q)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (Q ∧ ¬P)) is a contradiction.
100 1
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (P ∧ ¬R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ (P ∧ ¬P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ ¬R) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 21/11/2024
((P ∧ R) ∧ ¬P) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬Q ∨ ¬Q)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬Q ∨ ¬P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬P ∨ ¬Q)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬P ∨ ¬P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬R ∧ ¬Q)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬R ∧ ¬P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬Q ∧ ¬R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬Q ∧ ¬Q)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬Q ∧ ¬P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬P ∧ ¬R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬P ∧ ¬Q)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬P ∧ ¬P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬R <-> R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬Q <-> Q)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬Q <-> P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬P <-> Q)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬P <-> P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬R ∧ R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬Q ∧ R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬Q ∧ Q)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬Q ∧ P)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬P ∧ R)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬P ∧ Q)) is a contradiction.
000 0
Taut Bot @tautologybot.bsky.social · 20/11/2024
((P ∧ Q) ∧ (¬P ∧ P)) is a contradiction.
000 0