Edición de «Práctica 6: Árboles del Cálculo de Predicados (Lógica y Computabilidad)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 129: | Línea 129: | ||
<br>∀z((P(a, b) ^ P(b, z)) -> P(a, z)) | <br>∀z((P(a, b) ^ P(b, z)) -> P(a, z)) | ||
<br>(P(a, b) ^ P(b, a)) -> P(a, a) | <br>(P(a, b) ^ P(b, a)) -> P(a, a) | ||
<br>¬(P(a, b) ^ P(b, a) | <br>¬(P(a, b) ^ P(b, a)) | ||
<br>¬P(a, b) ¬P(b, a) | <br>¬P(a, b) | ||
<br> | <br>× | ||
<br> | <br>¬P(b, a) | ||
<br>¬P(a, b) | |||
<br>× | |||
<br>P(b, a) | |||
<br>× | |||
<br>P(a, a) | |||
<br>× | |||
<br>2. (α1 ^ α3) ^ ¬α4 = ∀x∀y∀z((P(x, y) ^ P(y, z)) -> P(x, z)) | <br>2. (α1 ^ α3) ^ ¬α4 = ∀x∀y∀z((P(x, y) ^ P(y, z)) -> P(x, z)) | ||
Línea 143: | Línea 149: | ||
<br>∀z((P(a, b) ^ P(b, z)) -> P(a, z)) | <br>∀z((P(a, b) ^ P(b, z)) -> P(a, z)) | ||
<br>(P(a, b) ^ P(b, a)) -> P(a, a) | <br>(P(a, b) ^ P(b, a)) -> P(a, a) | ||
<br>¬(P(a, b) ^ P(b, a)) | <br>¬(P(a, b) ^ P(b, a)) | ||
<br>¬P(a | <br>¬P(a, b) | ||
<br>× | |||
<br>¬P(b, a) | |||
<br>P(a, a) | |||
<br>× | <br>× | ||
<br>Contraejemplos: | <br>Contraejemplos: |