Rincón Matemático

Matemática => Lógica, Conjuntos, Lenguajes Formales => Lógica => Mensaje iniciado por: Antoniio en 09 Octubre, 2016, 10:29 pm

Título: Cómo determinar una consistencia de cláusula?
Publicado por: Antoniio en 09 Octubre, 2016, 10:29 pm
Hola, buenas. Me podrían explicar cómo se puede determinar la consistencia de un conjunto de cláusulas?, por ejemplo:

{ \(   p \wedge q \wedge r, \neg p \wedge q , \neg q \wedge r, \neg r, p \wedge r  \)  }

Edito:
Ya lo he resuelto :3