Translations:The logic of classical language/67/pt

As proposições mais simples podem ser combinadas entre si para formar proposições novas e mais complexas. Isso ocorre com a ajuda de operadores chamados operadores lógicos e conectivos de quantificação que podem ser reduzidos ao seguinte