asmar ciertas verdadades en ese lenguaje. Por ejemplo, escriba que todos los números naturales son enteros.</p>
<p> Existen otras formas de lógica mucho más expresivas que la lógica proposicional. El mismo Aristóteles, padre de la lógica, hace más de 25 siglos, propuso la primera: La lógica de los silogismos. Los silogismos son una forma particular de argumentos que emplean la siguiente representación de proposiciones:</p>
<p>Todo P es M</p>
<p>ó Algún P es M</p>
<p>ó Ningún P es M</p>
<p>