TABLAS DE VERDAD

Ing. Daniel Palomares

(pq)[rq(ps)]

Valores de VERDAD para Proposiciones Simples

Una PROPOSICIN SIMPLE slo puede tener uno de dos valores: VERDADERO FALSO

Ejemplo:
p: Mauricio juega en el patio q: Pedro estudia en la biblioteca p V F q V F

Valores de VERDAD para Proposiciones Compuestas

Una PROPOSICIN COMPUESTA slo puede tener uno de dos valores: VERDADERO FALSO. El valor total de la proposicin depender del valor independiente de las proposiciones simples que la compongan; y del operador lgico u operadores lgicos que las relacionen.

(pq)[rq(ps)]

Cuntas combinaciones hay?

La cantidad de posibles combinaciones entre los valores que puedan tomar las proposiciones simples contenidas en la proposicin compuesta se puede calcular de la manera siguiente: Nmero de combinaciones = 2n

Valor de Verdad con el operador: NEGADOR

p
V F

p
F V

Ejemplo: p: Juan estudia matemtica p: Juan NO estudia matemtica

Valor de Verdad con el operador: CONJUNTOR

p q
V V F F V F V F

pq

Ejemplo: p: Juan estudia matemtica q: Juan recibe un premio

V Combinaciones F de Verdadero Proposicin: F y Falso Juan estudia matemtica y Juan recibe F

un premio.

N de Combinaciones = 2n = 22

Valor de Verdad con el operador: DISYUNTOR DBIL

p q
V V F F V F V F

pq
V V V F

Ejemplo: p: Juan estudia matemtica q: Juan recibe un premio Proposicin: Juan estudia matemtica o Juan recibe un premio.

Valor de Verdad con el operador: DISYUNTOR FUERTE

p q
V V F F V F V F

pq
F V V F

Ejemplo: p: Juan estudia matemtica q: Juan recibe un premio Proposicin: O Juan estudia matemtica o Juan recibe un premio.

Valor de Verdad con el operador: IMPLICADOR

p q
V V F F V F V F

pq
V F V V

Ejemplo: p: Juan estudia matemtica q: Juan recibe un premio Proposicin: Si Juan estudia matemtica entonces Juan recibe un premio.

Valor de Verdad con el operador: REPLICADOR

p q
V V F F V F V F

pq
V V F V

Ejemplo: p: Juan estudia matemtica q: Juan recibe un premio Proposicin: Juan estudia matemtica si Juan recibe un premio.

Valor de Verdad con el operador: BIIMPLICADOR

p q
V V F F V F V F

pq
V F F V

Ejemplo: p: Juan estudia matemtica q: Juan recibe un premio Proposicin: Si y slo si Juan estudia matemtica entonces Juan recibe un premio.

Esquema Molecular
Son frmulas proposicionales compuestas de variables, operadores lgicos y signos de agrupacin (en algunos casos) que se pueden clasficar en:
Negativo Conjuntivo Disyuntivo dbil Disyuntivo fuerte Implicativo Replicativo Biimplicativo

Por su operador Principal

Por su Matriz Principal

Tautolgico Contigente Contradictorio

TABLA DE VALORES DE VERDAD (Ejemplo)

p: Juan estudia matemtica

q: Juan Recibe un premio

Juan estudia matemtica y Recibe un premio, salvo que reciba un premio

p q
V V F F V F V F

( p q ) q
V V F F V F F F V F V F V F V F V F V F Esquema Molecular Contingente

TABLA DE VALORES DE VERDAD (Ejemplo)

p q r [( p q ) ( q r )] ( p r )
V V V V VVV V n V V 3V N de Combinaciones = 2 = 2 V V V F V F F V V F F V F F F F VV V V V V V F F F F VF V V F F F V V V VVV V F V V F V V F V F F V F V F F V F V F VV V F V V F V F V F VF V F V F V V V V V F V F V V F F F V V F V F Esquema F F V Molecular F F F Tautolgico