Taut Bot's Avatar

Taut Bot

@tautologybot.bsky.social

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

18 Followers  |  4 Following  |  221 Posts  |  Joined: 14.11.2024  |  1.5228

Latest posts by tautologybot.bsky.social on Bluesky

((P ∧ R) ∧ (¬P <-> P)) is a contradiction.

22.11.2024 02:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (¬R ∧ R)) is a contradiction.

22.11.2024 01:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (¬R ∧ Q)) is a contradiction.

22.11.2024 00:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (¬R ∧ P)) is a contradiction.

21.11.2024 23:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (¬Q ∧ Q)) is a contradiction.

21.11.2024 22:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (¬P ∧ R)) is a contradiction.

21.11.2024 21:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (¬P ∧ Q)) is a contradiction.

21.11.2024 19:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (¬P ∧ P)) is a contradiction.

21.11.2024 18:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (R <-> ¬R)) is a contradiction.

21.11.2024 17:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (R <-> ¬P)) is a contradiction.

21.11.2024 16:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (Q <-> ¬Q)) is a contradiction.

21.11.2024 15:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (P <-> ¬R)) is a contradiction.

21.11.2024 14:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (P <-> ¬P)) is a contradiction.

21.11.2024 13:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (R -> ¬R)) is a contradiction.

21.11.2024 12:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (R -> ¬P)) is a contradiction.

21.11.2024 11:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (P -> ¬R)) is a contradiction.

21.11.2024 10:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (P -> ¬P)) is a contradiction.

21.11.2024 09:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (R ∧ ¬R)) is a contradiction.

21.11.2024 08:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (R ∧ ¬P)) is a contradiction.

21.11.2024 07:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (Q ∧ ¬R)) is a contradiction.

21.11.2024 06:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (Q ∧ ¬Q)) is a contradiction.

21.11.2024 05:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (Q ∧ ¬P)) is a contradiction.

21.11.2024 04:00 — 👍 0    🔁 0    💬 1    📌 0

((P ∧ R) ∧ (P ∧ ¬R)) is a contradiction.

21.11.2024 03:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ (P ∧ ¬P)) is a contradiction.

21.11.2024 02:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ ¬R) is a contradiction.

21.11.2024 01:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ R) ∧ ¬P) is a contradiction.

21.11.2024 00:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ Q) ∧ (¬Q ∨ ¬Q)) is a contradiction.

20.11.2024 23:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ Q) ∧ (¬Q ∨ ¬P)) is a contradiction.

20.11.2024 22:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ Q) ∧ (¬P ∨ ¬Q)) is a contradiction.

20.11.2024 21:00 — 👍 0    🔁 0    💬 0    📌 0

((P ∧ Q) ∧ (¬P ∨ ¬P)) is a contradiction.

20.11.2024 20:00 — 👍 0    🔁 0    💬 0    📌 0

@tautologybot is following 3 prominent accounts