04/10/13

Tablas de Verdad

1.3 TABLAS DE VERDAD Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos,, , , , ,como: no, o, y, sientonces, s y slo si, respectivamente. La interpretacin corresponde al sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una correspondencia entre los resultados de estas tablas y la deduccin lgico matemtica. En consecuencia, las tablas de verdad constituyen un mtodo de decisin para chequear si una proposicin es o no un teorema. Para la construccin de la tabla se asignar el valor 1(uno) a una proposicin cierta y 0 (cero) a una proposicin falsa. Negacin: El valor de verdad de la negacin es el contrario de la proposicin negada. P 1 0 P 0 1

Disyuncin: La disyuncin solamente es falsa si lo son sus dos componentes. P 1 1 0 0 Q 1 0 1 0 P Q 1 1 1 0

Conjuncin: Solamente si las componentes de la conjuncin son ciertas, la conjuncin es cierta. P 1 Q 1 P Q 1

1/4

docencia.udea.edu.co/SistemasDiscretos/contenido/tablas_verdad.html

04/10/13

Tablas de Verdad

1 0 0

0 1 0

0 0 0

Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso. De la verdad no se puede seguir la falsedad. P 1 1 0 0 Q 1 0 1 0 P Q 1 0 1 1

Bicondicional: El bicondicional solamente es cierto si sus componentes tienen el mismo valor de verdad. P 1 1 0 0 Q 1 0 1 0 P Q 1 0 0 1

Se denomina tautologa una proposicin que es cierta para cualquier valor de verdad de sus componentes. Por tanto, la ltima columna de su tabla de verdad estar formada nicamente por unos.

Contradiccin es la negacin de una tautologa, luego es una proposicin falsa cualesquiera sea el valor de verdad de sus componentes. La ltima columna de la tabla de verdad de una contradiccin estar formada nicamente por ceros.
docencia.udea.edu.co/SistemasDiscretos/contenido/tablas_verdad.html 2/4

04/10/13

Tablas de Verdad

Ejercicios 1.3

1. Sean P, Q, R y S frmulas. Si se sabe nicamente que P es verdadero, Qu puede afirmarse del valor de verdad de cada una las proposiciones siguientes? PQ R P R P S P RP P Q PP S PQ R S P R (S P) P S (Q P) Q P R Q

2. Qu puede concluirse de cada una de las proposiciones anteriores, en los siguientes casos? Si P es falsa. Si P es falsa, Q es verdadera y R es verdadera.

3. Sean P, Q y R frmulas , entonces: Si R P Q P es falsa y P es falsa; Qu puede afirmarse de R y de Q?. Si Q Q P es verdadera y P es falsa; Qu puede afirmarse de Q?. Si R P Q P es falsa; Qu puede afirmarse de P, Q y R?. Si (Q R) (P Q) R es falsa; Qu puede afirmarse de P, Q y R?. Si (P Q) ( R P R Q) es verdadera; Qu puede afirmarse de P, Q y R?

4. Sean P, Q y R frmulas. Determinar cuales de las siguientes proposiciones son tautologas: P Q P R P P Q P (Q P) (P (Q P)) Q (P Q ) ( Q P ) (P Q) (P Q) P ((P Q) R) P ( P R)
3/4

docencia.udea.edu.co/SistemasDiscretos/contenido/tablas_verdad.html

04/10/13

Tablas de Verdad

docencia.udea.edu.co/SistemasDiscretos/contenido/tablas_verdad.html

4/4