@logicbot.bsky.social
I tweet tautologies. Created by @mscroggs.co.uk How I work: mscroggs.co.uk/blog/13
(a∨¬¬(b⇿(b∨b)))
19.02.2026 03:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b⇿(b∨a)))
19.02.2026 00:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b⇿(b∧b)))
18.02.2026 21:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b⇿(a∨b)))
18.02.2026 18:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b⇿¬¬¬¬b))
18.02.2026 15:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b∨(c⇾c)))
18.02.2026 12:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b∨(c⇿c)))
18.02.2026 09:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b∨(b⇾c)))
18.02.2026 06:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b∨(b⇾b)))
18.02.2026 03:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b∨(b⇾a)))
18.02.2026 00:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b∨(b⇿b)))
17.02.2026 21:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b∨(b⇿a)))
17.02.2026 18:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b∨(a⇾c)))
17.02.2026 15:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b∨(a⇾b)))
17.02.2026 12:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b∨(a⇾a)))
17.02.2026 09:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b∨(a⇿b)))
17.02.2026 06:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(b∨(a⇿a)))
17.02.2026 03:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(a⇾(b⇾c)))
17.02.2026 00:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(a⇾(b⇾b)))
16.02.2026 21:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(a⇾(b⇾a)))
16.02.2026 18:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(a⇾(b⇿c)))
16.02.2026 15:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(a⇾(b⇿b)))
16.02.2026 12:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(a⇾(b⇿a)))
16.02.2026 09:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(a⇾(b∨c)))
16.02.2026 06:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(a⇾(b∨b)))
16.02.2026 03:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(a⇾(b∨a)))
16.02.2026 00:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(a⇾(b∧c)))
15.02.2026 21:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(a⇾(b∧b)))
15.02.2026 18:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(a⇾(b∧a)))
15.02.2026 15:00 — 👍 0 🔁 0 💬 0 📌 0(a∨¬¬(a⇾(a⇾b)))
15.02.2026 12:00 — 👍 0 🔁 0 💬 0 📌 0
