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

Latest revision as of 17:02, 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)

What we have briefly described so far is the logic of propositions. A proposition asserts something about specific mathematical objects such as: '2 is greater than 1, so 1 is less than 2' or 'a square has no 5 sides then a square is not a pentagon'

What we have briefly described so far is the logic of propositions. A proposition asserts something about specific mathematical objects such as: '2 is greater than 1, so 1 is less than 2' or 'a square has no 5 sides then a square is not a pentagon'

TranslationO 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'

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'