Definiendo una implicación en algunas lógicas multivaluadas (parte II)

Ponente(s): Verónica Borja Macías, Jesús Alejandro Hernández Tello
El conectivo de implicación es un conectivo básico en cualquier lógica. También este conectivo es imprescindible si es que se desea desarrollar Teoría de Prueba, debido a que una de las reglas de inferencia más comunes en Teoría de Prueba es \textit{Modus Ponens} y su formulación está hecha en términos de implicación. En algunas ocasiones la implicación se toma como un conectivo primitivo y en otras se considera como abreviación de la combinación de otros conectivos, por ejemplo en Lógica Clásica se puede abreviar como: $\varphi \rightarrow \psi := \neg \varphi \lor \psi$.\\ La tarea de definir un conectivo de implicación en lógicas multivaluadas no es sencilla, analizaremos algunas lógicas con tres y cuatro valores de verdad e identificaremos conectivos que pueden emplearse como implicaciones en esas lógicas, generando así lógicas más expresivas e incluso la posibilidad de demostrar intertraductibilidad entre ellas. Algunas lógicas que analizaremos son la lógica $K3$, la lógica $LP$, la lógica $FDE$ y la lógica $M$.\\