mscroggs.co.uk
mscroggs.co.uk

subscribe

Blog

Interesting tautologies

 2020-05-03 
This is a post I wrote for The Aperiodical's Big Lock-Down Math-Off. You can vote for (or against) me here until 9am on Tuesday...
A few years ago, I made @mathslogicbot (now relocated to @logicbot@mathstodon.xyz and @logicbot.bsky.social), a Twitter bot that tweets logical tautologies.
The statements that @mathslogicbot tweets are made up of variables (a to z) that can be either true or false, and the logical symbols \(\lnot\) (not), \(\land\) (and), \(\lor\) (or), \(\rightarrow\) (implies), and \(\leftrightarrow\) (if and only if), as well as brackets. A tautology is a statement that is always true, whatever values are assigned to the variables involved.
To get an idea of how to interpret @mathslogicbot's statements, let's have a look at a few tautologies:
\(( a \rightarrow a )\). This says "a implies a", or in other words "if a is true, then a is true". Hopefully everyone agrees that this is an always-true statement.
\(( a \lor \lnot a )\). This says "a or not a": either a is true, or a is not true
\((a\leftrightarrow a)\). This says "a if and only if a".
\(\lnot ( a \land \lnot a )\). This says "not (a and not a)": a and not a cannot both be true.
\(( \lnot a \lor \lnot \lnot a )\). I'll leave you to think about what this one means.
(Of course, not all statements are tautologies. The statement \((b\land a)\), for example, is not a tautology as is can be true or false depending on the values of \(a\) and \(b\).)
While looking through @mathslogicbot's tweets, I noticed that a few of them are interesting, but most are downright rubbish. This got me thinking: could I get rid of the bad tautologies like these, and make a list of just the "interesting" tautologies. To do this, we first need to think of different ways tautologies can be bad.
Looking at tautologies the @mathslogicbot has tweeted, I decided to exclude:
After removing tautologies like these, some of my favourite tautologies are:
You can find a list of the first 500 "interesting" tautologues here. Let me know on Twitter which is your favourite. Or let me know which ones you think are rubbish, and we can further refine the list...
Edit: Added Mastodon and Bluesky links
×3      ×3      ×3      ×3      ×3
(Click on one of these icons to react to this blog post)

You might also enjoy...

Comments

Comments in green were written by me. Comments in blue were not written by me.
 Add a Comment 


I will only use your email address to reply to your comment (if a reply is needed).

Allowed HTML tags: <br> <a> <small> <b> <i> <s> <sup> <sub> <u> <spoiler> <ul> <ol> <li> <logo>
To prove you are not a spam bot, please type "m" then "e" then "d" then "i" then "a" then "n" in the box below (case sensitive):

Archive

Show me a random blog post
 2025 

Jan 2025

Christmas (2024) is over
Friendly squares
 2024 
▼ show ▼
 2023 
▼ show ▼
 2022 
▼ show ▼
 2021 
▼ show ▼
 2020 
▼ show ▼
 2019 
▼ show ▼
 2018 
▼ show ▼
 2017 
▼ show ▼
 2016 
▼ show ▼
 2015 
▼ show ▼
 2014 
▼ show ▼
 2013 
▼ show ▼
 2012 
▼ show ▼

Tags

logo pi approximation day statistics cross stitch mathsjam asteroids weather station light bots misleading statistics bubble bobble preconditioning php probability martin gardner folding paper wool matrix of minors mathsteroids databet machine learning puzzles books hexapawn datasaurus dozen christmas tennis wave scattering trigonometry rugby finite group oeis finite element method friendly squares errors crochet edinburgh the aperiodical reuleaux polygons advent calendar computational complexity dates royal baby final fantasy propositional calculus matrix multiplication frobel fence posts anscombe's quartet inverse matrices game show probability sound sport palindromes geogebra gather town sobolev spaces flexagons mean christmas card logs talking maths in public pi golden ratio latex approximation gaussian elimination simultaneous equations chebyshev london dragon curves correlation harriss spiral reddit european cup royal institution bempp boundary element methods stickers data signorini conditions hyperbolic surfaces big internet math-off world cup numerical analysis graphs curvature pac-man javascript sorting ucl rhombicuboctahedron matrix of cofactors pizza cutting matt parker craft convergence matrices phd accuracy captain scarlet plastic ratio crossnumber arithmetic folding tube maps gerry anderson mathslogicbot coins games weak imposition tmip cambridge golden spiral turtles exponential growth programming ternary noughts and crosses football runge's phenomenon radio 4 guest posts map projections a gamut of games stirling numbers national lottery manchester science festival draughts realhats dinosaurs electromagnetic field nine men's morris pascal's triangle interpolation estimation menace zines binary newcastle people maths python braiding kings chess manchester chalkdust magazine fonts recursion news youtube quadrilaterals determinants regular expressions triangles inline code countdown standard deviation error bars live stream platonic solids video games graph theory bodmas pythagoras hannah fry data visualisation dataset hats 24 hour maths fractals london underground logic speed geometry polynomials game of life raspberry pi squares go numbers

Archive

Show me a random blog post
▼ show ▼
© Matthew Scroggs 2012–2025