CEPRE UNSCH

LGICA PROPOSICIONAL PROPOSICIONES

A.- Conjuntivas Cuando el conectivo es de la

forma: y, pero, tambin, sin embargo,
adems, tal como, etc. Los cuales equivalen al
conectivo.
pq
p
q
V
V
V
V
F
F
F
V
F
F
F
F

B.-Disyuncin Dbil Cuando el conectivo es de

la forma o
pq
p
q
V
V
V
V
F
V
F
V
V
F
F
F

C.- Condicional Cuando el conectivo es de la

forma:
pq
p
q
V
V
V
V
F
F
F
V
V
F
F
V
C.1.- Directa: ( p q) entonces, Por lo tanto,
Conclusin, luego, etc.
C.2.- Indirecta: (q p) Cuando, Si, cada vez
que, ya que, debido a que, puesto que, a
menos que no, porque, dado que, siempre
que, etc.

D.-Bicondicional Cuando el conectivo es de la

forma: Si slo si, si solamente si, cuando y slo
cuando
pq
p
q
V
V
V
V
F
F
F
V
F
F
F
V
E.- Disyuncin Fuerte
p

V
V
F
F

V
F
V
F

pq
F
V
V
F

SEMANA 13
LEYES LGICAS

1. Doble negacin

p p

2. Ley de idempotencia

p p p
p p p

3. Leyes Asociativas

p q r p q r
p q r p q r
p q r p q r

4. Leyes de Morgan

p q p q
p q p q

5. Leyes Bicondicionales

p q p q q p
p q p q q p

6. Leyes Conmutativas

pq q p
pq q p
pqq p

7.- Leyes Distributivas

p q r p q p r
p q r p q p r

8. Leyes condicionales

p q p q
p q p q

9. Leyes de absorcin

p p q p
p p q p

p p q p q
p p q p q
10. Leyes adicionales
p V V
pF p
p V p
pF F
p p F
p p V