Oración 1: las lógicas conocidas como "paraconsistentes" son lógicas tolerantes a la inconsistencia en el sentido de que, desde P junto con ¬P, no implica que se siga ninguna proposición
Oración 2: se viola en un sistema de lógica dialéctica
Conector: de hecho,
Relación: entailment
Género: articles