Matemática => Lógica => Mensaje iniciado por: Antoniio en 09/10/2016, 17:29:16



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

{ [texx]  p \wedge q \wedge r, \neg p \wedge q , \neg q \wedge r, \neg r, p \wedge r [/texx]  }

Edito:
Ya lo he resuelto :3