# Blog

## Archive

Show me a random blog post**2019**

### Jun 2019

Proving a conjecture### Apr 2019

Harriss and other spirals### Mar 2019

realhats### Jan 2019

Christmas (2018) is over**2018**

**2017**

**2016**

**2015**

**2014**

**2013**

**2012**

## Tags

chebyshev draughts chess data harriss spiral pac-man asteroids latex triangles game of life a gamut of games craft hats polynomials london estimation realhats pizza cutting light frobel final fantasy probability mathslogicbot royal baby european cup books statistics fractals martin gardner folding tube maps nine men's morris pythagoras curvature mathsteroids matt parker london underground manchester science festival national lottery propositional calculus dataset golden spiral dates platonic solids approximation interpolation stickers bodmas accuracy mathsjam misleading statistics bubble bobble aperiodical big internet math-off christmas binary javascript dragon curves video games error bars people maths reddit plastic ratio logic golden ratio puzzles twitter cross stitch news reuleaux polygons electromagnetic field raspberry pi tennis sport coins oeis countdown game show probability ternary map projections christmas card world cup sound manchester noughts and crosses go trigonometry flexagons graph theory gerry anderson machine learning folding paper inline code braiding the aperiodical wool palindromes football sorting python radio 4 php speed hexapawn rhombicuboctahedron weather station arithmetic rugby games geometry chalkdust magazine menace captain scarlet programming## Logical contradictions

**2016-10-08**

During my Electromagnetic Field talk this year, I spoke about @mathslogicbot, my Twitter bot that is working its way through the tautologies in propositional calculus. My talk included my conjecture that the number of tautologies of length \(n\) is an increasing sequence (except when \(n=8\)). After my talk, Henry Segerman suggested that I also look at the number of contradictions of length \(n\) to look for insights.

A contradiction is the opposite of a tautology: it is a formula that is False for every assignment of truth values to the variables. For example, here are a few contradictions:

$$\neg(a\leftrightarrow a)$$
$$\neg(a\rightarrow a)$$
$$(\neg a\wedge a)$$
$$(\neg a\leftrightarrow a)$$
The first eleven terms of the sequence whose \(n\)

$$0, 0, 0, 0, 0, 6, 2, 20, 6, 127, 154$$
^{th}term is the number of contradictions of length \(n\) are:This sequence is A277275 on OEIS. A list of contractions can be found here.

For the same reasons as the sequence of tautologies, I would expect this sequence to be increasing. Surprisingly, it is not increasing for small values of \(n\), but I again conjecture that it is increasing after a certain point.

### Properties of the sequences

There are some properties of the two sequences that we can show. Let \(a(n)\) be the number of tautolgies of length \(n\) and let \(b(n)\) be the number of contradictions of length \(n\).

First, the number of tautologies and contradictions, \(a(n)+b(n)\), (A277276) is an increasing sequence. This is due to the facts that \(a(n+1)\geq b(n)\) and \(b(n+1)\geq a(n)\), as every tautology of length \(n\) becomes a contraction of length \(n+1\) by appending a \(\neg\) to be start and vice versa.

This implies that for each \(n\), at most one of \(a\) and \(b\) can be decreasing at \(n\), as if both were decreasing, then \(a+b\) would be decreasing. Sadly, this doesn't seem to give us a way to prove the conjectures, but it is a small amount of progress towards them.

### Similar posts

Logic bot, pt. 2 | Logic bot | How OEISbot works | Raspberry Pi weather station |

### Comments

Comments in green were written by me. Comments in blue were not written by me.

Add a Comment