NEGACIÓN DE PROPOSICIONES LEYES DE DEMORGAN

→ Se aplican cuando tiene la negación de una proposición compuesta.

Negación de una Disyunción
~ (P v Q) ≡ ~ P ^ ~ Q
                     (conjunción)

~ (P v Q) ≡ ~ P ∨ ~ Q
                   (disyunción)

O proposiciones equivalentes.

Conjunción Ù: la negación de una conjunción equivale a la disyunción Ú de las negaciones

Propiedad Distributiva Lógica proposicional 

P v ( Q^R) ≡ (P v Q) ^ (P v R)

P ^ (Q v R) ≡ (P ^ Q) v (P ^ R)

~ P ^(Q v ~ P) ≡ (P ^ Q) v (P ^ ~ P)

                            ( p ^ Q ) v Falso

                              P^Q

Negación de Conjunción:

P: A Paula le gusta dibujar

Q: A Fatima le gusta pintar

~ (A Paula le gusta dibujar y a Fatima le gusta pintal) ≡ A Paula no le gusta dibujar o a Fatima no le gusta pintar

Condicional

Proposición compuesta que usa el conectivo "si.. entonces"

TABLA DE VERDAD CONDICIONAL

p	q	p ® q
V	V	V
V	F	F
F	V	V
F	F	V