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, 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...
                        
(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 "equation" in the box below (case sensitive):

Archive

Show me a random blog post
 2024 

Feb 2024

Zines, pt. 2

Jan 2024

Christmas (2023) is over
 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

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

Archive

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