Una vez comprendida la diferencia entre lenguaje natural y lenguaje formal, en esta publicación aprenderemos todo lo que se necesita saber para empezar a convertir nuestras oraciones a lenguaje lógico (Leer: Lenguaje natural y lenguaje formal).
Definir las proposiciones atómicas.
Identificar un bicondicional:
La “Bicondicional” en lógica, es un símbolo que utilizamos para expresar oraciones que en el “lenguaje natural” podemos ubicar en nexos cómo: Únicamente si…Entonces, Si y sólo sí…, Es necesario que si… entonces.
Y en lo general, en cualquier otro nexo que exprese una condición, seguida de otra condición que no puede ocurrir si la otra no ha ocurrido, de ahí su nombre “Bicondicional”, ambas partes son condiciones absolutamente necesarias para que la otra ocurra. de modo que no puede ocurrir una si no ocurre la otra.
Identificar una disyunción Exclusiva
La “Disyunción exclusiva” en lógica, es un símbolo que utilizamos para expresar oraciones que en el “lenguaje natural” podemos ubicar en nexos cómo “O…o…”. Y en lo general, en cualquier otra oración que exprese dos opciones que no pueden ser verdaderas de manera simultánea.
Identificar una disyunción inclusiva:
La “Disyunción inclusiva” en lógica, es un símbolo que utilizamos para expresar oraciones que en el “lenguaje natural” podemos ubicar en nexos cómo “o”. Y en lo general, en cualquier otra oración que exprese dos opciones.
Identificar una Implicación:
La “Implicación” en lógica, es un símbolo que utilizamos para expresar oraciones que en el “lenguaje natural” podemos ubicar en nexos cómo: Entonces, por lo tanto, implica que. Y en lo general, en cualquier otro nexo que exprese una causa, seguida de un efecto.
No te dejes engañar, las implicaciones a veces pueden ser un tanto confusas de identificar, es por ello que siempre debemos prestar una especial atención sobre cuál es nuestra causa y cuál es el efecto.
Por ejemplo:
Identificar una conjunción:
La “conjunción” en lógica, es un símbolo que utilizamos para expresar oraciones que en el “lenguaje natural” podemos ubicar en nexos y oraciones cómo: Y, también, sin embargo, pero, aunque, además. Y otros casos a modo de negación cómo: “ni… ni…”.