Lógica de bool
Enviado por Programa Chuletas y clasificado en Matemáticas
Escrito el en 
español con un tamaño de 1,01 KB
MP: P y (P-->Q) se infiere Q; MT: (P-->Q) y ¬Q se infiere ¬ P; EA: P y Q se infiere P; IA: P Q se infiere P y Q; IO: P se infiere P o Q; Morgan: ¬ (P y Q) se infiere (¬ P o ¬ Q) oOo ¬ (P o Q) se infiere (¬ P y ¬Q); ICU: a en Dom(X) Para todo X P(X) se infiere P(a)
para resolucion: I) Eliminar --> (¬ 1º con O conectado); reducir negacion; luego ocupar si X o ( W y Z)== (X o W) y (X o Z), llega a tener todo con "y"; cambiar Existe por funciones; eliminar Para todo; conmutatividad, asociatividad, distributividad. II) Agregar negacion de lo ke se desea. III) Aplicar reglas de inferencia y llegar a una contradiccion. IDEA dejar todos conectados con "v"
-satisfacible: ke al menos una validad. ej: X=2, p(x): x es numero, satisfecha.
-valida: para todo es valido: X=1, p(x): x es par, no valido:
recordar:
V --> F no es correcto
para resolucion: I) Eliminar --> (¬ 1º con O conectado); reducir negacion; luego ocupar si X o ( W y Z)== (X o W) y (X o Z), llega a tener todo con "y"; cambiar Existe por funciones; eliminar Para todo; conmutatividad, asociatividad, distributividad. II) Agregar negacion de lo ke se desea. III) Aplicar reglas de inferencia y llegar a una contradiccion. IDEA dejar todos conectados con "v"
-satisfacible: ke al menos una validad. ej: X=2, p(x): x es numero, satisfecha.
-valida: para todo es valido: X=1, p(x): x es par, no valido:
recordar:
V --> F no es correcto