Leyes del Algebra de Proposiciones.docx

2
Leyes del Algebra de Proposiciones Las leyes de la algebra de proposiciones son equivalencias lógicas 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 P⇔P 2. INDEPOTENCIA P∧P ⇔P P∨ P ⇔P 3. ASOCIATIVA P∨Q ∨R ⇔ (P∨Q) ∨R ⇔ P∨(Q∨R) P∧Q ∧R ⇔ (P∧Q) ∧R ⇔ P∧(Q∧R) 4. CONMUTATIVA P∧Q⇔ Q∧P P∨Q⇔ Q∨P 5. DISTRIBUTIVAS P∧(Q∨R)⇔ (P∧Q)∨(P∧R) P∨(Q∧R)⇔(P∨Q)∧(P∨R) 6. IDENTIDAD P∧F ⇔ F P∧V⇔ P P∨F⇔ P P∨V⇔V 7. COMPLEMENTO P∧¬P⇔F P∨¬P⇔V ¬(¬P)⇔P ¬F⇔V ¬V⇔F

Transcript of Leyes del Algebra de Proposiciones.docx

Leyes del Algebra de ProposicionesLas 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.EQUIVALENCIAPP2.INDEPOTENCIAPP PPP P3.ASOCIATIVAPQR (PQ) R P(QR)PQ R (PQ) R P(QR)4.CONMUTATIVAPQ QPPQ QP5.DISTRIBUTIVASP(QR) (PQ)(PR)P(QR)(PQ)(PR)6.IDENTIDADPF FPV PPF PPVV7.COMPLEMENTOPPFPPV(P)PFVVF8.DE MORGAN (PQ)PQ (PQ)PQ9.ABSORCIONP(PQ)PP(PQ)P