Diferencia entre revisiones de «R8»
De Lógica matemática y fundamentos (2014-15)
(Página creada con ' === Relación 8: Cuestiones sobre tableros semánticos === ---- '''Ejercicio 1.''' Sea T un tablero de S₁, I un modelo de una hoja abierta de T y S₂ ⊆ S₁. Entonces, ...') |
|||
| (No se muestra una edición intermedia del mismo usuario) | |||
| Línea 3: | Línea 3: | ||
---- | ---- | ||
| − | '''Ejercicio 1.''' | + | '''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, | Sea T un tablero de S₁, I un modelo de una hoja abierta de T y S₂ ⊆ S₁. Entonces, | ||
| Línea 12: | Línea 12: | ||
---- | ---- | ||
| − | '''Ejercicio 2.''' | + | '''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 | 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 | S obtenido aplicando las reglas α antes que las reglas β tiene menos nodos que el tablero | ||
Revisión actual del 17:18 8 abr 2015
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 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: