19/02/2020, 13:26:42 *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Conjunto de proposiciones consistente  (Leído 2626 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Shadow_RaZoR
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Uruguay Uruguay

Mensajes: 20



Ver Perfil
« : 23/05/2011, 14:40:27 »

Hola a todos estoy desesperado estoy estudiando para un examen que tengo en 3 dias y no puedo hacer este ejercicio parte a y parte b.1 me pueden a ayudar a resolverlo asi me doy cuenta como se hace? No se me ocurre por donde arrancar.

Ejercicio:
Para probar que un conjunto de proposiciones es consistente habría que demostrar que no existe
ninguna derivación que concluya [texx]\perp{}[/texx] partiendo de hipótesis en dicho conjunto. Sin embargo, dicho
mecanismo no es factible ya que en deducción natural no existe forma de probar la inexistencia de
una derivación.

Existe una forma alternativa de probar la consistencia de un conjunto de proposiciones mediante el
Teorema de Completitud denominada Condición necesaria y suficiente de consistencia cuyo
enunciado es el siguiente:
Sea [texx]T \subseteq{}PROP[/texx] un conjunto de proposiciones. Se cumple que T es consistente si y sólo si
existe una valuación v tal que v(T) = 1.

a) Demuestre la condición necesaria y suficiente de consistencia usando el Teorema de
Completitud.

b) Demuestre que los siguientes conjuntos son consistentes aplicando la condición necesaria y
suficiente de consistencia probada en la parte anterior:
1. [texx]\left\{{}p\longrightarrow{}q , p\longrightarrow{}noq\right\}[/texx]

Gracias gente :sonrisa: no se que haria sin ustedes.

Saludos,
En línea

Hope this finds you well :sonrisa:
LauLuna
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

España España

Mensajes: 541


Ver Perfil WWW
« Respuesta #1 : 02/06/2011, 11:28:50 »

Hablamos de la lógica de proposiciones, creo.

Que exista una valuación de T tal que v(T) = 1 significa que hay una manera de distribuir valores de verdad a las proposiciones atómicas de las fórmulas de T que hace verdadera a toda fórmula de T. Es lo mismo que decir que T tiene un modelo. Esta es la condición necesaria y suficiente de consistencia.

Si la lógica de proposiciones es completa, cualquier conjunto T consistente según esa lógica es consistente en sentido absoluto: si T implicase una contradicción, la lógica de proposiciones sería capaz de deducir esa contradicción a partir de T (precisamente porque es completa) y el conjunto sería inconsistente según esa lógica.

Pero está claro que un conjunto T es consistente en sentido absoluto si y sólo si hay una manera de hacer a todas sus fórmulas simultáneamente verdaderas, es decir, si T tiene un modelo. Por eso, la completitud implica que la condición de consistencia sea necesaria y suficiente: un conjunto de fórmulas es consistente (según la lógica de proposiciones) si y sólo si tiene un modelo.

Para el segundo ejercicio estudia la tabla de verdad del condicional y encontrarás en seguida la manera de hacer verdaderas simultáneamente a ambas proposiciones.

Un saludo.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!