Relación 8
De Lógica Matemática y fundamentos (2015-16)
Revisión del 13:51 21 abr 2016 de Mjoseh (discusión | contribuciones) (Página creada con ' === Relación 8: Cuestiones sobre tableros semánticos === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: Sea T un tablero de S₁, I un modelo de una ...')
Relación 8: Cuestiones sobre tableros semánticos[editar]
Ejercicio 1. Demostrar o refutar la siguiente afirmación:
Sea T un tablero de S₁, I un modelo de una hoja abierta de T y S₂ ⊆ S₁. Entonces, I ⊧ S2.
Solución:
Ejercicio 2. Demostrar o refutar la siguiente afirmación:
Si S es un conjunto inconsistente de fórmulas, entonces el tablero semántico cerrado de S obtenido aplicando las reglas α antes que las reglas β tiene menos nodos que el tablero semántico cerrado de S obtenido aplicando las reglas β antes que las reglas α.
Solución: