l4 ALGEBRA

Ejemplo: Seanp y q proposiciones cualesquiera, ry sproposicionestales que

-(r v - s) es V. Determinar el valor de verdad de

[(-p ¡ r) e (q v s)] -+ -(p v q)

SOLUCION: Si -(rv - s) es V, entonces rv - s es F,.de donde ry -s son F, y s es V.

Por tanto, tenemos r = F, s =V, py q proposiciones cualesquiera.

Luego, la proposición dada resulta

[(-p n F) e (q v V)] + -(p v q)

Según las reglas de la conjunción, disyunción y de la implicación
tenemos

lFeVl -+-(pvq)
F-+-(pvq):V

Ejemplo: Sabiendo que p es F y que q es una proposición cualesquiera, determinar

el valor de verdad de la proposición x.

Tal que (-p -+ x ) -+ (p sea verdadero.

"-q)
SOLUCION: Si p es F. entonces la proposición dada resulta
:(-F-+x)+(Fn-q)
:(V+x)+F
Para que esta última expresión resulte verdadero, según la regla de
implicación, el antecedente debe ser F, es decir V-+ x : F, de donde x
debe ser F.

5. ALGEBRA DE PROPOSICIONES

Son operaciones lógicas que se realizan en una fórmula proposicional, aplicando

adecuadamerrte ciertas reglas básicas llamadas leyes lógicas. Es decir, al igual que en

álgebra básica donde la simplificación de expresiones algebraicas es muy importante, en

lógica también existe la necesidad de sinrplificar fórmulas proposicionales complejas, a

través de ciertas equivalencias llamadas leyes lógicas. que a continuación se listan.