LOGICA

Fjemplo: Simbolizar la siguiente proposición

" si Pablo no ha venido entonces no ha recibido la carta o no está
interesado en el asunto".

[-as ploposiciones simples que componen son:

p: " Pablo ha venido"

q: " Pablo ha recibido la carta"

r: " Pablo está interesado en el asunto"

luego. la proposición compuesta se simboliza - p -+ (- q v .- r)

4,1. TABLA DE V.ALORES DE VERDAD

El valor de vc'rdad de una fórmula proposicional depende de los valores de verdad de las
proposiciones simples que la componen. Es decir. se debe analizar todas las posibles
combinaciones de valores de verdad de las proposiciones qlre la componen. las cuales se
dan en las primeras columnas. Por tanto, si en una fórmula proposicionar intervienen
"n" proposiciones sinrples diferentes, entonces en la tabla de valores de verdad habrá 2n

combinaciones diferentes. Así, para dos proposiciones se tiene 22 - 4 posibles

conrbinaciones de V y F Para tres, 2J :8 combinaciones. etc.

Ejemplo: Constnrir la tabla de verdad de la proposición ^ p --) (- q y .- r).

Como en la proposición dada intervienen 3 proposiciones sinrples.

entonces se analizará 23 :8 renglones. Esto es: