Inicio > Matemáticas > eudemo > Demuestre, logica proposicional

Demuestre, logica proposicional

Experto: eudemo Cerrar	Usuario: Anónimo	Fecha: 30/05/2008
Valoración:	Categoría: Matemáticas

06/03/2008

Usuario

Dado los siguientes axiomas demuestre por el método de resolución por refutación: ~t (~ = negación)
t => (u v p)
u => (q v r)
p => (q v s)
r => ( (q ^ s) => ~r)
No he podido dar con la solución!!!
Gracias por la ayuda

09/03/2008

Experto

lo que se pide demostrar
por ejemplo fueran

y la (4) falsa entonces porsupuesto que no es posible demostrar (4) a partir de (1) (2) y (3).
[size= 11pt">
[size= 22pt; mso-bidi-font-size: 12.0pt">

27/05/2008

Usuario

Aunque creo que no explique bien mi problema se intereso por responderme

30/05/2008

Usuario

Bien. Una respuesta aceptable.

Facebook

Twitter

Compártelo

Volver a preguntar

Cerrar

... en "Matemáticas"

... a un experto de "Matemáticas"

... en otra categoría.
Herramientas

Cerrar

Imprimir

Descargar
Volver

Más opciones

Preguntar en Matemáticas

Enlaces patrocinados

Respuestas relacionadas