6.22 A lógica do mundo que as proposições lógicas mostram nas tautologias, a matemática a mostra nas equações.