Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Lgica
Conectivos Lgicos y Tablas de Verdad
Definiremos los conectivos lgicos que permiten relacionar proposiciones simples para
convertirlas en proposiciones compuestas.
Analizaremos las tablas de verdad asociadas a cada conectivo, para desarrollar ejemplos
usando sus propiedades.
Objetivos
Aplicar las propiedades y resultados de los conectivos lgicos para resolver problemas
~ negacin
disyuncin
conjuncin
condicionante
bicondicionante
Tablas de Verdad
Definimos una tabla de verdad como un arreglo que nos permite tener los posibles valores de
verdad de una proposicin compuesta a partir de los valores de verdad de las proposiciones
simples.
Las tablas de verdad para los conectivos lgicos listados arriba son las siguientes:
Negacin
La negacin de una proposicin es una nueva proposicin que tiene un valor de verdad
opuesto a la proposicin original. Es decir, si el valor de verdad de una proposicin p es
verdadero, entonces el valor de verdad de ~p es falso.
La tabla de verdad para el conectivo ~ est dada por
p
~p
Disyuncin
La disyuncin es la proposicin compuesta que resulta de conectar dos proposiciones, p y q,
mediante el conectivo
y se lee p o q.
verdadero, basta con una de las proposiciones simples tenga valor de verdad verdadero.
Conjuncin
La conjuncin es la proposicin compuesta que resulta de conectar dos proposiciones, p y q,
mediante el conectivo
y se lee p y q.
y se lee p implica q.
y se lee p si y solo si q.
est dada por
que las proposiciones simples tienen el mismo valor de verdad. Es cualquier otro caso, la
proposicin compuesta tiene valor de verdad falso.
, donde
es el nmero de
As, se contina hasta que terminen las columnas de las proposiciones simples. Las columnas
de las otras proposiciones se llenan a partir de las columnas de las proposiciones simples,
usando las tablas de verdad definidas antes.