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 "naidem" 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

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

Archive

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