Panta Sifuentes, Jhonatan

Clases Particulares
941449368

LGICA PROPOSICIONAL
Proposicin lgica

En filosofa y lgica, el trmino proposicin se usa para referirse a: Las
entidades portadoras de los valores de verdad.

Tablas de verdad

Leyes del lgebra de proposiciones
Las leyes de la algebra de proposiciones son equivalencias lgicas que se pueden
demostrar con el desarrollo de las tablas de verdad del bicondicional. Las leyes
del algebra de proposiciones son las siguientes:


1.EQUIVALENCIA PP

2. INDEPOTENCIA PP = P , P P = P

3. ASOCIATIVA (PQ) R = P(Q R ) , (PQ) R = P(Q R)

4. CONMUTATIVA PQ = QP , PQ= QP

5. DISTRIBUTIVAS P (QR)=(PQ) (PR) , P(QR) = (PQ)(PR)

6. IDENTIDAD PF = P , PV = P PV = V , PF = F

7. DOBLE NEGACIN P=P

8. COMPLEMENTO PP = V , PP = F /// V = F , F = V

9. DE MORGAN (PQ)=PQ , (PQ)= PQ

10. Ley del condicional P -> Q = P V Q

11. Ley del bicondicional P <-> Q = (P -> Q) (Q->P)

12. Leyes de absorcin


Panta Sifuentes, Jhonatan
Clases Particulares
941449368

Demostrar mediante tablas de verdad, cules de las siguientes proposiciones
son tautologas o contradicciones

(5)
) ( ) ( ) ( s r q p s r q p

Como vemos que hay 4 proposiciones: p,q,r y s entonces, el nmero de filas que
utilizaremos ser:

2
4
= 16








Simplificar las siguientes proposiciones compuestas:

p q p q p ~ ~ ) (


Resolucin

[p v q v p] [q v p]

[q v p] [q v p]

q v (p p)

q v F

Respuesta : q
p q r s ) ( ) ( ) ( s r q p s r q p

V V V V
V V V F
V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F