Logotipo Descartes

LÓGICA DE ENUNCIADOS

 5. LA SEMÁNTICA: TABLAS DE VERDAD DE LAS CONECTIVAS
   Además de un alfabeto y una sintaxis, el lenguaje de la lógica proposicional tiene una semántica, que se refiere al valor de verdad o falsedad de las conctivas. El valor lógico se representa o bien por los valores en mayúscuala de "V" o "F" o bien por los números "1" y "0"

  Veamos cinco tablas de verdad de cada conectiva representadas en esta matriz con los valores de cada proposición en vertical:
Esta unidad interactiva requiere la máquina virtual de Java J2RE.


9.-Escribe en tu cuaderno las tablas de verdad de las conectivas y explica sus diferencias y semejanzas.
En esta escena puedes ver los cinco tipos básicos de tablas de verdad.

Usa los pulsadores de tabla de verdad para ver ejemplos de distintos tipos.
 


Características de las conectivas:
La negación: Cuando la variable es verdadera al negarla se convierte en falsa, y si es falsa, al negarla se hace verdadera.
La disyunción: Solo es falsa cuando todas las variables son falsas.
La conjuntión: Únicamente es verdadera cuando todas las variables son verdaderas también.
El condicional : Solo cuando la primera variable o antecedente, es verdadera y la segunda o consecuente, falsa, el resultado es falso.
El bicondicional : Es verdad cuando las dos variables tienen el mismo valor.

  Para saber el número de combinaciones de valores de verdad, se utiliza la fórmula 2^n, donde n es el número de variables. Por ejemplo cuando son 3 las variables: p,q, r, entonces las combinaciones son 2^3=8. Para poner  todas las combinaciones de los valores de las variables entre sí en la matriz, se puede empezar por la variable de la derecha y poner alternativamente los valores 0 y 1, después seguir hacia la izquierda y poner el doble de valores de 0 y de 1 de la columna de la derecha, y así sucesivamente hasta llegar a la primera variable de la izquierda, donde la mitad de los valores son 0 y la otra mitad 1.
  Veamos este ejemplo:
 
Esta unidad interactiva requiere la máquina virtual de Java J2RE.

En esta escena puedes las tablas de verdad de diferentes proposicones moleculares.

Usa los pulsadores de ejemplo para ver distintas proposiciones.


9.-  Haz la tabla de verdad de una fórmula bien formada que te inventes y lo escribes en tu bloc de notas.
10.- Pon en tu cuaderno tres traducciones al lenguaje natural de tres fórmulas lógicas de la tabla anterior.


                                                                                                                                                                       atrás  boton_arriba boton_adelante      

 
Manuel Valero Domenech
Logotipo Descartes
 
Ministerio de Educación, Cultura y Deporte. Año 2012
 
 

Licencia de Creative Commons
Los contenidos de esta unidad didáctica están bajo una licencia de Creative Commons si no se indica lo contrario.