Taut Bot
@tautologybot.bsky.social
Posting a tautology (or contradiction) every hour. Inspired by @mathslogicbot on Twitter.
((P ∧ R) ∧ (¬P <-> P)) is a contradiction.
November 22, 2024 at 2:00 AM
((P ∧ R) ∧ (¬P <-> P)) is a contradiction.
((P ∧ R) ∧ (¬R ∧ R)) is a contradiction.
November 22, 2024 at 1:00 AM
((P ∧ R) ∧ (¬R ∧ R)) is a contradiction.
((P ∧ R) ∧ (¬R ∧ Q)) is a contradiction.
November 22, 2024 at 12:00 AM
((P ∧ R) ∧ (¬R ∧ Q)) is a contradiction.
((P ∧ R) ∧ (¬R ∧ P)) is a contradiction.
November 21, 2024 at 11:00 PM
((P ∧ R) ∧ (¬R ∧ P)) is a contradiction.
((P ∧ R) ∧ (¬Q ∧ Q)) is a contradiction.
November 21, 2024 at 10:00 PM
((P ∧ R) ∧ (¬Q ∧ Q)) is a contradiction.
((P ∧ R) ∧ (¬P ∧ R)) is a contradiction.
November 21, 2024 at 9:00 PM
((P ∧ R) ∧ (¬P ∧ R)) is a contradiction.
((P ∧ R) ∧ (¬P ∧ Q)) is a contradiction.
November 21, 2024 at 7:00 PM
((P ∧ R) ∧ (¬P ∧ Q)) is a contradiction.
((P ∧ R) ∧ (¬P ∧ P)) is a contradiction.
November 21, 2024 at 6:00 PM
((P ∧ R) ∧ (¬P ∧ P)) is a contradiction.
((P ∧ R) ∧ (R <-> ¬R)) is a contradiction.
November 21, 2024 at 5:00 PM
((P ∧ R) ∧ (R <-> ¬R)) is a contradiction.
((P ∧ R) ∧ (R <-> ¬P)) is a contradiction.
November 21, 2024 at 4:00 PM
((P ∧ R) ∧ (R <-> ¬P)) is a contradiction.
((P ∧ R) ∧ (Q <-> ¬Q)) is a contradiction.
November 21, 2024 at 3:00 PM
((P ∧ R) ∧ (Q <-> ¬Q)) is a contradiction.
((P ∧ R) ∧ (P <-> ¬R)) is a contradiction.
November 21, 2024 at 2:00 PM
((P ∧ R) ∧ (P <-> ¬R)) is a contradiction.
((P ∧ R) ∧ (P <-> ¬P)) is a contradiction.
November 21, 2024 at 1:00 PM
((P ∧ R) ∧ (P <-> ¬P)) is a contradiction.
((P ∧ R) ∧ (R -> ¬R)) is a contradiction.
November 21, 2024 at 12:00 PM
((P ∧ R) ∧ (R -> ¬R)) is a contradiction.
((P ∧ R) ∧ (R -> ¬P)) is a contradiction.
November 21, 2024 at 11:00 AM
((P ∧ R) ∧ (R -> ¬P)) is a contradiction.
((P ∧ R) ∧ (P -> ¬R)) is a contradiction.
November 21, 2024 at 10:00 AM
((P ∧ R) ∧ (P -> ¬R)) is a contradiction.
((P ∧ R) ∧ (P -> ¬P)) is a contradiction.
November 21, 2024 at 9:00 AM
((P ∧ R) ∧ (P -> ¬P)) is a contradiction.
((P ∧ R) ∧ (R ∧ ¬R)) is a contradiction.
November 21, 2024 at 8:00 AM
((P ∧ R) ∧ (R ∧ ¬R)) is a contradiction.
((P ∧ R) ∧ (R ∧ ¬P)) is a contradiction.
November 21, 2024 at 7:00 AM
((P ∧ R) ∧ (R ∧ ¬P)) is a contradiction.
((P ∧ R) ∧ (Q ∧ ¬R)) is a contradiction.
November 21, 2024 at 6:00 AM
((P ∧ R) ∧ (Q ∧ ¬R)) is a contradiction.
((P ∧ R) ∧ (Q ∧ ¬Q)) is a contradiction.
November 21, 2024 at 5:00 AM
((P ∧ R) ∧ (Q ∧ ¬Q)) is a contradiction.
((P ∧ R) ∧ (Q ∧ ¬P)) is a contradiction.
November 21, 2024 at 4:00 AM
((P ∧ R) ∧ (Q ∧ ¬P)) is a contradiction.
((P ∧ R) ∧ (P ∧ ¬R)) is a contradiction.
November 21, 2024 at 3:00 AM
((P ∧ R) ∧ (P ∧ ¬R)) is a contradiction.
((P ∧ R) ∧ (P ∧ ¬P)) is a contradiction.
November 21, 2024 at 2:00 AM
((P ∧ R) ∧ (P ∧ ¬P)) is a contradiction.
((P ∧ R) ∧ ¬R) is a contradiction.
November 21, 2024 at 1:00 AM
((P ∧ R) ∧ ¬R) is a contradiction.