Edición de «Práctica 5 (LyC Verano)»
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 36: | Línea 36: | ||
==Ejercicio 03== | ==Ejercicio 03== | ||
'''(Sientanse libres de cambiar esta respuesta por alguna mas formal)''' | '''(Sientanse libres de cambiar esta respuesta por alguna mas formal)''' | ||
Si Γ+ tiene un axioma que es contradicción luego ya se puede decir que Γ+ es inconsistente ya que es la negacion de una tautología que son los otros axiomas. | Si Γ+ tiene un axioma que es contradicción luego ya se puede decir que Γ+ es inconsistente ya que es la negacion de una tautología que son los otros axiomas. | ||
Por otro lado si Γ+ tiene un axioma que es una contingencia luego hay para algunas valuaciones en instanciaciones de ese axioma que el resultado es 1 y en otras valuaciones que da 0. | Por otro lado si Γ+ tiene un axioma que es una contingencia luego hay para algunas valuaciones en instanciaciones de ese axioma que el resultado es 1 y en otras valuaciones que da 0. | ||
Buscamos que valores de nuestro esquema deberían ser 0 y cuales 1 para que nuestro esquema de 0 | Buscamos que valores de nuestro esquema deberían ser 0 y cuales 1 para que nuestro esquema de 0. | ||
Luego en los lugares donde deberiamos instanciar una formula con una valuacion que de 0, ponemos una formula que sea contradiccion, y donde debería ser uno ponemos una formula que sea tautología. Luego nuestro esquema se transformará en una contradicción con lo cual volvemos al ejemplo anterior. | Luego en los lugares donde deberiamos instanciar una formula con una valuacion que de 0, ponemos una formula que sea contradiccion, y donde debería ser uno ponemos una formula que sea tautología. Luego nuestro esquema se transformará en una contradicción con lo cual volvemos al ejemplo anterior. | ||
Ejemplo: | Ejemplo: | ||
Sea nuestro esquema de axioma: φ → ψ | Sea nuestro esquema de axioma: φ → ψ | ||
Luego para que esto sea contradiccion φ debería ser 1 y ψ debería ser 0. | Luego para que esto sea contradiccion φ debería ser 1 y ψ debería ser 0. | ||
Para lograr esto instanciamos φ en una tautologia y ψ en una contradicción. | Para lograr esto instanciamos φ en una tautologia y ψ en una contradicción. Luego nuestro axioma será una contradicción. | ||
Luego nuestro axioma será una contradicción. | |||
==Ejercicio 05== | ==Ejercicio 05== |