Translations:The logic of classical language/63/pt

A lógica clássica é baseada em proposições. Costuma-se dizer que uma proposição é uma sentença que pergunta se a proposição é verdadeira ou falsa. Na verdade, uma proposição em matemática geralmente é verdadeira ou falsa, mas isso é obviamente um pouco vago demais para ser uma definição