Translations:The logic of classical language/92/pt

O que descrevemos brevemente até agora é a lógica das proposições. Uma proposição afirma algo sobre objetos matemáticos específicos, como: '2 é maior que 1, então 1 é menor que 2' ou 'um quadrado não tem 5 lados, então um quadrado não é um pentágono'