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.
Posts
Replies
Media
Taut Bot
@tautologybot.bsky.social
· 22/11/2024
((P
∧
R)
∧
(¬P
<->
P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 22/11/2024
((P
∧
R)
∧
(¬R
∧
R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 22/11/2024
((P
∧
R)
∧
(¬R
∧
Q))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(¬R
∧
P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(¬Q
∧
Q))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(¬P
∧
R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(¬P
∧
Q))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(¬P
∧
P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(R
<->
¬R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(R
<->
¬P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(Q
<->
¬Q))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(P
<->
¬R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(P
<->
¬P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(R
->
¬R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(R
->
¬P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(P
->
¬R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(P
->
¬P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(R
∧
¬R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(R
∧
¬P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(Q
∧
¬R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(Q
∧
¬Q))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(Q
∧
¬P))
is
a
contradiction.
1
0
0
1
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(P
∧
¬R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
(P
∧
¬P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
¬R)
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 21/11/2024
((P
∧
R)
∧
¬P)
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬Q
∨
¬Q))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬Q
∨
¬P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬P
∨
¬Q))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬P
∨
¬P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬R
∧
¬Q))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬R
∧
¬P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬Q
∧
¬R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬Q
∧
¬Q))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬Q
∧
¬P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬P
∧
¬R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬P
∧
¬Q))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬P
∧
¬P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬R
<->
R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬Q
<->
Q))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬Q
<->
P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬P
<->
Q))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬P
<->
P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬R
∧
R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬Q
∧
R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬Q
∧
Q))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬Q
∧
P))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬P
∧
R))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬P
∧
Q))
is
a
contradiction.
0
0
0
0
Taut Bot
@tautologybot.bsky.social
· 20/11/2024
((P
∧
Q)
∧
(¬P
∧
P))
is
a
contradiction.
0
0
0
0