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 "d" then "e" then "c" then "a" then "g" then "o" then "n" in the box below (case sensitive):

Archive

Show me a random blog post
 2025 

Mar 2025

How to write a crossnumber

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

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

Archive

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