Difference between revisions of "Translations:The logic of classical language/67/pt"

Latest revision as of 16:56, 3 November 2021

Information about message (contribute)

This message has no documentation. If you know where or how this message is used, you can help other translators by adding documentation to this message.

Message definition (The logic of classical language)

Simpler propositions can be combined with each other to form new, more complex propositions. This occurs with the help of operators called ''logical operators'' and quantifying connectives which can be reduced to the following

Simpler propositions can be combined with each other to form new, more complex propositions. This occurs with the help of operators called ''logical operators'' and quantifying connectives which can be reduced to the following

TranslationAs 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

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