Cejudo Castilla, CésarArrazola Ramírez, José Ramón EnriqueCEJUDO CASTILLA, CESAR; 205678ARRAZOLA RAMIREZ, JOSE RAMON ENRIQUE; 15968Hernández Tello, Jesús Alejandro2020-10-162023-01-112020-10-162023-01-112018-07https://ecosistema.buap.mx/ecoBUAP/handle/ecobuap/360“La definición de Paraconsistencia se fundamenta en rechazar o restringir el Principio de no Contradicción. En la lógica se ha optado por restringir este principio dando así lugar a la Lógica Paraconsistente. Debido a que no existe unicidad en la formulación del Principio de no Contradicción, surge un problema entre los lógicos para proponer una restricción a este principio. Sin embargo, se encuentran dos formas ampliamente aceptadas por la comunidad científica involucrada para formular esto. La gran mayoría lo hace diciendo que: A partir de hipótesis contradictorias sea posible deducir cualquier afirmación, a esto lo llaman Contradicción por Explosión(EC); otro grupo afirma que si se niega la conjunción de una proposición y su negación lo que se debe obtener es algo verdadero, a esta forma se le llama Ley de No Contradicción(NC). Una agravante a esta situación yace en que ambas formulaciones son independientes en el sentido de que la exigencia de una no conduce a la otra y viceversa. Debido a esta problemática Jean-Yves Béziau propone estudiar aquellas lógicas que restringen ambas formulaciones y define así a las, Lógicas Paraconsistentes Genuinas. Para definir la noción de Lógica Paraconsistentes Genuina basta que el lenguaje contenga los conectivos de negación y conjunción, Jean-Yves Béziau en [8].”pdfspaCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRALógica simbólica y matemáticaSistemas lógicosTesis de doctoradoopenAccessLógica matemática no clásicaPrincipio de no contradicción