18/01/2020, 16:51:01 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: LISTADO ACTUALIZADO DE CURSOS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Demostración sobre conjunto e inferencia lógica  (Leído 901 veces)
0 Usuarios y 1 Visitante están viendo este tema.
skinboy
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 259



Ver Perfil
« : 15/07/2008, 13:23:14 pm »

Hola

Ejercicio:

([texx]\Omega[/texx] es un conjunto de fórmulas bien formadas)
([texx]\models[/texx] es inferencia)
Suponiendo que [texx]\Omega \models A[/texx], ¿Puede existir un subconjunto [texx]\Omega^{\prime}[/texx] tal que [texx]\Omega \subseteq{}\Omega^{\prime} [/texx] y no sea [texx] \Omega^{\prime} \models A  [/texx]?


Por intuición supongo que no es posible pero no estoy seguro y no sé muy bien como desmostrarlo.
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!