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

Latest revision as of 04:21, 27 October 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'

TranslationLo que hemos descrito brevemente hasta ahora es la lógica de las proposiciones. Una proposición afirma algo sobre objetos matemáticos concretos, como por ejemplo "2 es mayor que 1, por lo que 1 es menor que 2" o "un cuadrado no tiene 5 lados, por lo que un cuadrado no es un pentágono".

Lo que hemos descrito brevemente hasta ahora es la lógica de las proposiciones. Una proposición afirma algo sobre objetos matemáticos concretos, como por ejemplo "2 es mayor que 1, por lo que 1 es menor que 2" o "un cuadrado no tiene 5 lados, por lo que un cuadrado no es un pentágono".