TABLAS DE VERDAD
Se puede conocer el valor de verdad de una proposición, que contiene conectivos, determinando el valor de verdad de cada una de las componentes. A una proposición p se le asigna los valores V o F, escritos en este orden, debajo de la proposición p. Las tablas de verdad para los conectivos NEGACION (~),DISYUNCION v,CONJUNCION ^,CONDICIONAL -->,BICONDICIONAL <--> se verán a continuación.
1. Tabla de verdad para NEGACION ~p.
p ~p
V F
F V
2. Tabla de verdad para DISYUNCION p v q. En esta tabla se observa: Si p es verdadero o q es verdadero o si ambos p y q son verdaderos, entonces p v q es verdadero; en otro caso p v q es f also. Es decir, la disyunción de dos proposiciones es falsa solamente si cada proposición componente es falsa.
p q p v q
V V V
V F V
F V V
F F F
3. Tabla de verdad para CONJUNCION p ^ q.
Esta tabla nos hace ver la definición de la conjunción: Si p es verdadero y q es verdadero, entonces p ^ q es verdadero; en otro caso p ^ q es falso. Es decir, la conjunción de dos proposiciones es verdadera solamente si cada componente es verdadero.
p q p ^ q
V V V
V F F
F V F
F F F
4. Tabla de verdad para CONDICIONAL p --> q.
Se abserva que el condicional p --> q es verdadero a menos que p sea verdadero y q falso. Es decir una proposición verdadera no puede implicar una falsa.
p q p --> q
V V V
V F F
F V V
F F V
5. Tabla de verdad para BICONDICIONAL p <--> q.
Si p y q tienen el mismo valor de verdad, entonces p <--> q es verdadero; si p y q tienen valores de verdad opuestos, entonces p <--> q es falso.
p q p <--> q
V V V
V F F
F V F
F F V
