8/18/2019 SEMANA 13 corregido.pdf

1/1

 

1

CEPRE UNSCH SEMANA 3

LÓGICA PROPOSICIONAL PROPOSICIONES

A.- Conjuntivas    Cuando el conectivo es de laforma: “y”, “pero”, ”también”, ”sin embargo”,“además”, ”tal como”, etc. Los cuales equivalen alconectivo.

p q q p  VVFF

VFVF

VFFF

B.-Disyunción Débil  Cuando el conectivo es dela forma “o” 

p q q p  

V

VFF

V

FVF

V

VVF

C.- Condicional   Cuando el conectivo es de laforma:

p q q p  

VVF

F

VFV

F

VFV

VC.1.- Directa:  )(   q p   “entonces”, ”Por lo tanto”,

“Conclusión”, ”luego”, etc. 

C.2.- Indirecta:  )(   pq  “Cuando”, ”Si”, ”cada vezque”, “ya que”, “debido a que”, “puesto que”, “amenos que no”, “porque”, “dado que”, “siempreque”, etc. 

D.-Bicondicional  Cuando el conectivo es de laforma: “Si sólo si”, ”si solamente si”, “cuando y sólocuando” 

p q q p  

VVFF

VFVF

VFFV

E.- Disyunción Fuerte   p q q p  

VVFF

VFVF

FVVF

LEYES LÓGICAS

1. Doble negación

  p p    2. Ley de idempotencia

 p p p     p p p    

3. Leyes Asociativas

  r q pr q p     r q pr q p  

  r q pr q p    4. Leyes de Morgan

  q pq p  

  q pq p    5. Leyes Bicondicionales

 pqq pq p    pqq pq p    

6. Leyes Conmutativas pqq p    

 pqq p    

 pqq p    7.- Leyes Distributivas

r  pq pr q p     r  pq pr q p    

8. Leyes condicionalesq pq p    

  q pq p    9. Leyes de absorción

  q pq p p

q pq p p

 pq p p

 pq p p

 

10. Leyes adicionales

V  p p

 F  p p

 F  F  p

 pV  p

 p F  p

V V  p