Diferencia entre revisiones de «Práctica 7 (LyC Verano)»

De Cuba-Wiki
Línea 69: Línea 69:
<br>(4)(Usando 2)<math> \forall y \exists z P(y,z,t) </math>
<br>(4)(Usando 2)<math> \forall y \exists z P(y,z,t) </math>
<br>(5)(Usando 3)<math> \neg \forall y \exists z P(z,y,t) </math>
<br>(5)(Usando 3)<math> \neg \forall y \exists z P(z,y,t) </math>
<br>(6)(Usando 5)<math> \neg \exists z P(z,t,t) </math>
<br>(6)(Usando 5)<math> \neg \exists z P(z,t1,t) </math>
<br>(7)(Usando 4)<math> \exists z P(t1,z,t) </math>
<br>(7)(Usando 4)<math> \exists z P(t1,z,t) </math>
<br>(8)(Usando 7)<math> P(t1,t2,t) </math>
<br>(8)(Usando 7)<math> P(t1,t2,t) </math>
<br>(9)(Usando 5)<math> \neg P(t2,t1,t) </math>
<br>(9)(Usando 5)<math> \neg P(t2,t1,t) </math>
<br>(10)(Usando 1)<math> P(t1,t2,t) \rightarrow P(t2,t1,t) </math>
<br>(10)(Usando 1)<math> P(t1,t2,t) \rightarrow P(t2,t1,t) </math>
<br>(11)<math> \neg P(t2,t,t) \vee P(t2,t1,t) </math>
<br>(11)<math> \neg P(t1,t2,t) \vee P(t2,t1,t) </math>
<br>(12)(Usando 8,9)<math> P(t1,t2,t) \vee \neg P(t2,t1,t) </math>
<br>(12)(Usando 8,9)<math> P(t1,t2,t) \vee \neg P(t2,t1,t) </math>
<br>(13) <math> x \vee x </math>
<br>(13) <math> x \vee x </math>


[[Category:Lógica y Computabilidad]]
[[Category:Lógica y Computabilidad]]

Revisión del 03:30 9 mar 2007

Ejercicio 01

Ejercicio 02

Ejercicio 03

a)

b)

c)

Ejercicio 04

a)

b)

c)

Ejercicio 05

Ejercicio 06

a)

b)

Ejercicio 07

Ejercicio 08

Ejercicio 09

a)

b)

c)

Ejercicio 10

a)










...

Con lo cual la rama queda saturada, por lo que la negacion es satisfacible

b)









×

Ejercicio 11

Ejercicio 12

a)

Si








b)

Si

Ejercicio 13


Antes podemos reescribir la formula de la siguiente forma: P٨Q→Z <=> ¬(P٨Q)٧Z <=> ¬P٧¬Q٧Z . Con lo cual la negacion queda P٨Q٨¬Z. Entonces:



(4)(Usando 2)
(5)(Usando 3)
(6)(Usando 5)
(7)(Usando 4)
(8)(Usando 7)
(9)(Usando 5)
(10)(Usando 1)
(11)
(12)(Usando 8,9)
(13)