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: |
||
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.
|
|
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: |
||
|
En esta escena puedes las tablas de verdad de diferentes proposicones moleculares.
|
|
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. |
|
Los
contenidos de esta unidad didáctica están bajo una licencia
de Creative Commons si no se indica lo contrario.