Autor Tema: Función de verdad que genera todas las funciones de verdad

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

28 Marzo, 2014, 03:50 pm
Leído 1998 veces

alemunozgar

  • AlexD
  • Novato
  • Mensajes: 183
  • Karma: +0/-0
  • Sexo: Masculino
  • La esencia de la matemática reside en su libertad.
Saludos a todos.

Alguien tiene una idea o lineamiento para afrontar este ejercicio (también sale del libro de Eliot Mendeson, ejercicio 1.41 de la cuarta edición):

Muestre que la función de verdad \( h \) determinada por \( (A\vee B)\Rightarrow{}\lnot C \) genera todas las funciones de verdad.

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

28 Marzo, 2014, 06:43 pm
Respuesta #1

luis

  • Aprendiz
  • Mensajes: 304
  • Karma: +1/-0
  • Sexo: Masculino
la verdad es que no entiendo el enunciado. ¿qué quiere decir que una función de verdad genera una función de verdad?

saludos

luis

28 Marzo, 2014, 10:30 pm
Respuesta #2

alemunozgar

  • AlexD
  • Novato
  • Mensajes: 183
  • Karma: +0/-0
  • Sexo: Masculino
  • La esencia de la matemática reside en su libertad.
Buena tarde Luis.
Primero que todo gracias por el interés.

En la teoría previa que desarrolla el libro, demuestra que toda función de verdad (la cual es intuitivamente la tabla de verdad de alguna forma proposicional) se puede obtener con los conectivos \( \wedge \) y \( \lnot \) ó \( \vee \) y \( \lnot \) ó \( \Rightarrow{} \) y \( \lnot \).
Con este reultado basta ver que la función \( h \) que genera ciertos valores de verdad al ingresar letras proposicionales genera la función de verdad de alguna pareja de los conectivos que mencioné antes.
Por ejemplo, he logrado la más simple:

\( h(A,A,A)=(A \vee A)\Rightarrow{}\lnot A \)     cuya función de verdad coincide con la función de verdad de \( \lnot \).
Resta encontrarle la pareja a esta, pero no logro dar con esta.

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

28 Marzo, 2014, 10:39 pm
Respuesta #3

alemunozgar

  • AlexD
  • Novato
  • Mensajes: 183
  • Karma: +0/-0
  • Sexo: Masculino
  • La esencia de la matemática reside en su libertad.
Mientras escribía, se me ocurrió este:

\( h(A,B,\lnot B)= (A \vee B)\Rightarrow{} \lnot \lnot B \) cuya función de verdad coincide con la de \( \Rightarrow{} \).
No sé qué tan correcto sea colocar esa negación dentro de la función...

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

29 Marzo, 2014, 12:24 am
Respuesta #4

soneu

  • Experto
  • Mensajes: 801
  • Karma: +1/-0
  • Sexo: Masculino
Como le pasó a luis no entiendo lo que pides. De hecho tu argumento

\( h(A,A,A)=(A \vee A)\Rightarrow{}\lnot A \)

demuetra un contradicción (es imposible de A o A demostrar no A).

Un saludo

29 Marzo, 2014, 02:30 am
Respuesta #5

Cristian C

  • Aprendiz
  • Mensajes: 482
  • Karma: +0/-0
  • Sexo: Masculino
Hola, Alemunozgar.

Ya lo tienes resuelto. Solo observa que

\( h(A,B,\lnot B)= (A \vee B)\Rightarrow{} \lnot \lnot B \)

se puede anotar

\( h(A,B,h(B,B,B))= (A \vee B)\Rightarrow{} \lnot \lnot B \)

escribiendo el negador como tú mismo has indicado más arriba.

Saludos.
Mi primer gran deslumbramiento matemático consistió en comprender que puede demostrarse que existen infinitos de diferente tamaño.
El segundo fue comprender que lo anterior, aun pese a ser correcto, carece de todo significado.

29 Marzo, 2014, 02:37 am
Respuesta #6

alemunozgar

  • AlexD
  • Novato
  • Mensajes: 183
  • Karma: +0/-0
  • Sexo: Masculino
  • La esencia de la matemática reside en su libertad.
Vaya, no se me habría ocurrido así en un buen rato.
Excelente observación.
¡Mil gracias por tu colaboración!

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

29 Marzo, 2014, 03:57 am
Respuesta #7

luis

  • Aprendiz
  • Mensajes: 304
  • Karma: +1/-0
  • Sexo: Masculino
aún no entendí del todo, aunque creo que voy entendiendo...

concretamente, para entender...

consideremos la función \( g \) de dos variables tal que:

\( \begin{array}{l}
g (F, F) = F \\
g (F, V) = F \\
g (V, F) = F \\
g (V, V) = V
\end{array}
 \)

la tarea sería encontrar expresiones tales que si coloco las mismas en lugar de A, B y C, la tabla correspondiente a \( h(A,B,C) \) coincide con la función \( g \).

pero si esa es la lectura, tengo un problema no menor con la cantidad de argumentos de las funciones.

me sigue pareciendo oscuro el enunciado, y si bien puedo entender algo de él, hay gran parte que se me escapa.

saludos

luis

29 Marzo, 2014, 04:19 am
Respuesta #8

alemunozgar

  • AlexD
  • Novato
  • Mensajes: 183
  • Karma: +0/-0
  • Sexo: Masculino
  • La esencia de la matemática reside en su libertad.
No necesariamente Luis, pues mira que si yo quisiera generar la función de verdad (o sea una asignación de verdad) que genere Falso no podría hacerlo pues todas las combinaciones que escribes son verdaderas bajo \( g \).
La idea de generar todas las funciones de verdad es poder escribir una fórmula bien formada solo con el conectivo que define la función \( h \) y obtener una tabla de verdad (más que eso una columna principal de la fórmula bien formada) como uno la desee.
Por ejemplo, si quiero que \( h \) genere para dos letras proposicionales: F(falso) únicamente cuando \( A \) es \( F \) y \( B \) es \( T \), y genere T(verdadero) en el resto de los casos; podría hacerlo aplicando:

\( h(A,B,A)=(A \vee B)\Rightarrow{} \lnot A \) Si chequeas la tabla de verdad de esa expresión que resulta puedes ver que efectivamente era la que pedía.

Espero haberte aclarado un poquitín el panorama de lo que enunciaba arriba.

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