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 "ddo" backwards 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

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

Archive

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