Autor Tema: Teorema de interpolación de Craig

0 Usuarios y 1 Visitante están viendo este tema.

27 Marzo, 2014, 04:39 am
Leído 1546 veces

alemunozgar

  • AlexD
  • Novato
  • Mensajes: 183
  • Karma: +0/-0
  • Sexo: Masculino
  • La esencia de la matemática reside en su libertad.
Saludos, buenas noches.
Alguna idea para enfrentar este ejercicio:

Sean \( \mathbb{B} \) y \( \mathbb{C} \) formas proposicionales tales que \( \mathbb{B}\Rightarrow{}\mathbb{C} \) es una tautología.
Si \( \mathbb{B} \) y \( \mathbb{D} \) tienen las letras proposicionales \( B_{1}, B_{2}, ..., B_{n} \) en común, pruebe que hay una forma proposicional \( \mathbb{C} \) que tiene solo a \( B_{1}, B_{2}, ..., B_{n} \) como letras proposicionales tal que \( \mathbb{B}\Rightarrow{}\mathbb{C} \) es tautología y \( \mathbb{C}\Rightarrow{}\mathbb{D} \) también lo es.

Mil gracias.
saludos.
Antes de imprimir este mensaje, reflexiona si es necesario hacerlo. 17 árboles mueren por 1TON papel

27 Marzo, 2014, 05:25 am
Respuesta #1

luis

  • Aprendiz
  • Mensajes: 304
  • Karma: +1/-0
  • Sexo: Masculino
de memoria nomás, me parece que se trabucaron los nombres de las fórmulas.

ah, y creo que la demostración va por inducción en la cantidad de letras compartidas.

luis

27 Marzo, 2014, 06:08 pm
Respuesta #2

Carlos Ivorra

  • Administrador
  • Mensajes: 9,065
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
    • Página web personal

28 Marzo, 2014, 02:52 pm
Respuesta #3

alemunozgar

  • AlexD
  • Novato
  • Mensajes: 183
  • Karma: +0/-0
  • Sexo: Masculino
  • La esencia de la matemática reside en su libertad.
Mil gracias a ambos.
En efecto corregí el enunciado y ya chequeé la demostración que me sugeriste.

Saludos.
Antes de imprimir este mensaje, reflexiona si es necesario hacerlo. 17 árboles mueren por 1TON papel