Luis Rodríguez Luján
Ingredientes
<ul><li>1- Una fórmula bien formada. </li></ul><ul><li>2- Un conjunto de definiciones veritativas.  </li></ul><ul><li>3- U...
1- ¿Qué es una fórmula bien formada?
<ul><li>Una variable simple es una fórmula bien formada.  </li></ul><ul><li>p  es una fórmula bien formada. </li></ul>
<ul><li>Toda fórmula bien formada a precedida de ¬ (negación) es una fórmula bien formada.  </li></ul><ul><li>¬ p  es una ...
<ul><li>Dos fórmulas bien formadas unidas por un operador lógico, son fórmulas bien formadas.  </li></ul><ul><li>(A  Λ  B)...
<ul><li>Cláusula de recursión </li></ul><ul><li>Toda secuencia de fórmulas producida por la aplicación de las reglas anter...
<ul><li>Cláusula de exclusión  </li></ul><ul><li>Ninguna otra secuencia constituye una fórmula bien formada.  </li></ul>
1-  Recuerda, una fórmula bien formada es… <ul><li>Una variable simple. </li></ul><ul><li>Una fórmula precedida de ¬ (nega...
2- ¿Cuáles son esas definiciones veritativas?
<ul><li>Una proposición puede tener  </li></ul><ul><li>DOS VALORES DE VERDAD. </li></ul>
<ul><li>Una proposición puede tener  </li></ul><ul><li>DOS VALORES DE VERDAD. </li></ul><ul><li>O es verdadera, y lo simbo...
<ul><li>Una proposición puede tener  </li></ul><ul><li>DOS VALORES DE VERDAD. </li></ul><ul><li>O es verdadera, y lo simbo...
Los valores de verdad de la NEGACIÓN  “La negación cambia el valor de verdad  de la fórmula a la que precede”
Los valores de verdad de la NEGACIÓN  “La negación cambia el valor de verdad  de la fórmula a la que precede” p ¬ p 1 0 0 1
Los valores de verdad de la CONJUNCIÓN     “Una conjunción es verdadera cuando  ambos valores son verdaderos”
Los valores de verdad de la CONJUNCIÓN     “Una conjunción es verdadera cuando  ambos valores son verdaderos” p Λ q 1 1 1 ...
Los valores de verdad de la DISYUNCIÓN  “Una disyunción es verdadera cuando  al menos uno de sus valores es verdadero”
Los valores de verdad de la DISYUNCIÓN  “Una disyunción es verdadera cuando  al menos uno de sus valores es verdadero” p V...
Los valores de verdad de la IMPLICACIÓN  “Una implicación siempre es verdadera,  a no ser que el antecedente sea verdadero...
Los valores de verdad de la IMPLICACIÓN  “Una implicación siempre es verdadera,  a no ser que el antecedente sea verdadero...
3- ¿Cómo se halla el espacio lógico?
<ul><li>Para hallar el espacio lógico, cuenta el número de variables diferentes que tenga la fórmula </li></ul>
<ul><li>Dada la fórmula:  </li></ul>[ ( p Λ q ) Λ ¬q ] -> ¬p
<ul><li>¿Cuántas variables distintas hay? </li></ul>[ ( p Λ q ) Λ ¬q ] -> ¬p
<ul><li>Efectivamente…  </li></ul>
<ul><li>Hay DOS </li></ul>[ ( p Λ q ) Λ ¬q ] -> ¬ p
<ul><li>Hay DOS </li></ul>[ ( p Λ q ) Λ ¬ q ] -> ¬p
<ul><li>Ahora aplicaremos la siguiente fórmula: </li></ul>2 n  = número de filas siendo  n  el número de variables diferen...
Y distribuye el resultado … <ul><li>2 2  = 4 </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
Recuerda …  <ul><li>La mitad de las filas de la primera variable han de tener el valor  1.  </li></ul>[ ( p Λ q ) Λ p ] ->...
Recuerda …  <ul><li>Mientras que la otra mitad han de ser  0.  </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 ...
Recuerda …  <ul><li>Para la siguiente variable aplicaremos la misma “regla del ½”.  </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1...
Recuerda …  [ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
Recuerda …  [ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
Recuerda …  [ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
Recuerda …  [ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
4- Reglas de cocción
<ul><li>Comienza a operar como en matemáticas: primero resuelve lo que está entre paréntesis.  </li></ul>[ ( p Λ q ) Λ p ]...
<ul><li>Como el operador de la fórmula es la  conjunción , tendrás que aplicar la tabla de verdad de la conjunción.  </li>...
p Λ q 1 1 1 1 0 0 0 0 1 0 0 0
<ul><li>Obtendrás el siguiente resultado …  </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0
<ul><li>A continuación,  </li></ul><ul><li>une el resultado obtenido con la siguiente fórmula.  </li></ul>[ ( p Λ q ) Λ p ...
<ul><li>Como el operador de la fórmula es la  conjunción,  aplica la tabla de verdad de la conjunción. </li></ul>[ ( p Λ q...
<ul><li>…  y obtendrás como resultado … </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0
<ul><li>Para acabar, une el resultado obtenido con la última fórmula que queda.  </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 ...
<ul><li>Como el operador de la fórmula es la  implicación , aplica la tabla de verdad de la implicación.  </li></ul>[ ( p ...
p ->  q 1 1 1 1 0 0 0 1 1 0 1 0
<ul><li>El resultado final del procedimiento es el que aparece debajo de la última implicación. </li></ul>[ ( p Λ q ) Λ p ...
VALORACIÓN <ul><li>Si todos los valores de verdad de la última columna son  1 ,  </li></ul><ul><li>te encuentras ante una ...
<ul><li>Bon  </li></ul><ul><li>Appétit   </li></ul>
Ficha técnica. <ul><li>Destinatarios : alumnado de 1º Bachillerato. </li></ul><ul><li>Materia/Unidad : Filosofía -U.D. “Lo...
Upcoming SlideShare
Loading in …5
×

Como realizar una tablade verdad.

49,383 views

Published on

Receta fácil para resolver sencillas tablas de verdad, para alumnos de Bachillerato.

Published in: Education
  • no entiendo el paso 43 , porque siguiendo la tabla que das al principio no tendria que quedar 1 0 0 0?
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • es ta muy mal escrito con esa letra
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • muy bueno!
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here

Como realizar una tablade verdad.

  1. 1. Luis Rodríguez Luján
  2. 2. Ingredientes
  3. 3. <ul><li>1- Una fórmula bien formada. </li></ul><ul><li>2- Un conjunto de definiciones veritativas. </li></ul><ul><li>3- Un espacio lógico. </li></ul><ul><li>4- Ciertas reglas de cocción. </li></ul>
  4. 4. 1- ¿Qué es una fórmula bien formada?
  5. 5. <ul><li>Una variable simple es una fórmula bien formada. </li></ul><ul><li>p es una fórmula bien formada. </li></ul>
  6. 6. <ul><li>Toda fórmula bien formada a precedida de ¬ (negación) es una fórmula bien formada. </li></ul><ul><li>¬ p es una fórmula bien formada </li></ul>
  7. 7. <ul><li>Dos fórmulas bien formadas unidas por un operador lógico, son fórmulas bien formadas. </li></ul><ul><li>(A Λ B), (A V B), (A -> B) son fórmulas bien formadas. </li></ul>
  8. 8. <ul><li>Cláusula de recursión </li></ul><ul><li>Toda secuencia de fórmulas producida por la aplicación de las reglas anteriores, en cualquier orden, constituye una fórmula bien formada. </li></ul>
  9. 9. <ul><li>Cláusula de exclusión </li></ul><ul><li>Ninguna otra secuencia constituye una fórmula bien formada. </li></ul>
  10. 10. 1- Recuerda, una fórmula bien formada es… <ul><li>Una variable simple. </li></ul><ul><li>Una fórmula precedida de ¬ (negación). </li></ul><ul><li>Dos fórmulas bien formadas unidas por un operador lógico. </li></ul>
  11. 11. 2- ¿Cuáles son esas definiciones veritativas?
  12. 12. <ul><li>Una proposición puede tener </li></ul><ul><li>DOS VALORES DE VERDAD. </li></ul>
  13. 13. <ul><li>Una proposición puede tener </li></ul><ul><li>DOS VALORES DE VERDAD. </li></ul><ul><li>O es verdadera, y lo simbolizamos con 1. </li></ul>
  14. 14. <ul><li>Una proposición puede tener </li></ul><ul><li>DOS VALORES DE VERDAD. </li></ul><ul><li>O es verdadera, y lo simbolizamos con 1. </li></ul><ul><li>O es falsa, y lo simbolizamos con 0. </li></ul><ul><li>Y se escribe así: </li></ul>
  15. 15. Los valores de verdad de la NEGACIÓN “La negación cambia el valor de verdad de la fórmula a la que precede”
  16. 16. Los valores de verdad de la NEGACIÓN “La negación cambia el valor de verdad de la fórmula a la que precede” p ¬ p 1 0 0 1
  17. 17. Los valores de verdad de la CONJUNCIÓN “Una conjunción es verdadera cuando ambos valores son verdaderos”
  18. 18. Los valores de verdad de la CONJUNCIÓN “Una conjunción es verdadera cuando ambos valores son verdaderos” p Λ q 1 1 1 1 0 0 0 0 1 0 0 0
  19. 19. Los valores de verdad de la DISYUNCIÓN “Una disyunción es verdadera cuando al menos uno de sus valores es verdadero”
  20. 20. Los valores de verdad de la DISYUNCIÓN “Una disyunción es verdadera cuando al menos uno de sus valores es verdadero” p V q 1 1 1 1 1 0 0 1 1 0 0 0
  21. 21. Los valores de verdad de la IMPLICACIÓN “Una implicación siempre es verdadera, a no ser que el antecedente sea verdadero y el consecuente falso”
  22. 22. Los valores de verdad de la IMPLICACIÓN “Una implicación siempre es verdadera, a no ser que el antecedente sea verdadero y el consecuente falso” p -> q 1 1 1 1 0 0 0 1 1 0 1 0
  23. 23. 3- ¿Cómo se halla el espacio lógico?
  24. 24. <ul><li>Para hallar el espacio lógico, cuenta el número de variables diferentes que tenga la fórmula </li></ul>
  25. 25. <ul><li>Dada la fórmula: </li></ul>[ ( p Λ q ) Λ ¬q ] -> ¬p
  26. 26. <ul><li>¿Cuántas variables distintas hay? </li></ul>[ ( p Λ q ) Λ ¬q ] -> ¬p
  27. 27. <ul><li>Efectivamente… </li></ul>
  28. 28. <ul><li>Hay DOS </li></ul>[ ( p Λ q ) Λ ¬q ] -> ¬ p
  29. 29. <ul><li>Hay DOS </li></ul>[ ( p Λ q ) Λ ¬ q ] -> ¬p
  30. 30. <ul><li>Ahora aplicaremos la siguiente fórmula: </li></ul>2 n = número de filas siendo n el número de variables diferentes
  31. 31. Y distribuye el resultado … <ul><li>2 2 = 4 </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
  32. 32. Recuerda … <ul><li>La mitad de las filas de la primera variable han de tener el valor 1. </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
  33. 33. Recuerda … <ul><li>Mientras que la otra mitad han de ser 0. </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
  34. 34. Recuerda … <ul><li>Para la siguiente variable aplicaremos la misma “regla del ½”. </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
  35. 35. Recuerda … [ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
  36. 36. Recuerda … [ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
  37. 37. Recuerda … [ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
  38. 38. Recuerda … [ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
  39. 39. 4- Reglas de cocción
  40. 40. <ul><li>Comienza a operar como en matemáticas: primero resuelve lo que está entre paréntesis. </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
  41. 41. <ul><li>Como el operador de la fórmula es la conjunción , tendrás que aplicar la tabla de verdad de la conjunción. </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0
  42. 42. p Λ q 1 1 1 1 0 0 0 0 1 0 0 0
  43. 43. <ul><li>Obtendrás el siguiente resultado … </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0
  44. 44. <ul><li>A continuación, </li></ul><ul><li>une el resultado obtenido con la siguiente fórmula. </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0
  45. 45. <ul><li>Como el operador de la fórmula es la conjunción, aplica la tabla de verdad de la conjunción. </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0
  46. 46. <ul><li>… y obtendrás como resultado … </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0
  47. 47. <ul><li>Para acabar, une el resultado obtenido con la última fórmula que queda. </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0
  48. 48. <ul><li>Como el operador de la fórmula es la implicación , aplica la tabla de verdad de la implicación. </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0
  49. 49. p -> q 1 1 1 1 0 0 0 1 1 0 1 0
  50. 50. <ul><li>El resultado final del procedimiento es el que aparece debajo de la última implicación. </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0
  51. 51. VALORACIÓN <ul><li>Si todos los valores de verdad de la última columna son 1 , </li></ul><ul><li>te encuentras ante una inferencia válida . </li></ul><ul><li>Ya la podrías resolver… </li></ul>[ ( p Λ q ) Λ p ] -> q 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0
  52. 52. <ul><li>Bon </li></ul><ul><li>Appétit </li></ul>
  53. 53. Ficha técnica. <ul><li>Destinatarios : alumnado de 1º Bachillerato. </li></ul><ul><li>Materia/Unidad : Filosofía -U.D. “Los límites del lenguaje”. </li></ul><ul><li>Objetivo : conocer el procedimiento para realizar tablas de verdad. </li></ul><ul><li>Evaluación : resuelve correctamente tablas de verdad de fórmulas compuestas de, al menos, tres operadores lógicos, y tres variables distintas. </li></ul>

×