Se una proposizione segue da un'altra, questa dice più di quella; quella, meno di questa.

5.141    Se p segue da q e q da p, esse sono un'unica e stessa proposizione.

5.142    La tautologia segue da tutte le proposizioni: essa dice nulla.

5.143    La contraddizione è la cosa, comune alle proposizioni, che nessuna proposizione ha in comune con un'altra. La tautologia è ciò che è comune a tutte le proposizioni le quali nulla hanno in comune l'una con l'altra.

La contraddizione scompare, per così dire, dal di fuori; la tautologia, dal di dentro di tutte le proposizioni.