Scribd
Cargar
31 vistas4 páginas

Leyes de Lógica Proposicional

El documento presenta los operadores lógicos básicos y sus tablas de verdad, así como propiedades importantes de la lógica matemática como la equivalencia, disyunción, conjunción, negación, leyes de Morgan y leyes de conmutatividad, asociatividad, distribución, idempotencia, complemento e identidad. También explica reglas de inferencia lógica como modus ponens, modus tollens, doble negación y leyes sobre predicados y cuantificadores universales y existenciales.

Cargado por

cristian alberto bernardino escorcia
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
31 vistas4 páginas

Leyes de Lógica Proposicional

El documento presenta los operadores lógicos básicos y sus tablas de verdad, así como propiedades importantes de la lógica matemática como la equivalencia, disyunción, conjunción, negación, leyes de Morgan y leyes de conmutatividad, asociatividad, distribución, idempotencia, complemento e identidad. También explica reglas de inferencia lógica como modus ponens, modus tollens, doble negación y leyes sobre predicados y cuantificadores universales y existenciales.

Cargado por

cristian alberto bernardino escorcia
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

OPERADORES LOGICOS

𝑝 𝑞 ~𝑝 ~(~𝑝) 𝑝 ∧ 𝑞 𝑝∨𝑞 𝑝→𝑞 𝑝↔𝑞


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

PROPIEDADES DE LOGICA MATEMATICA

PROPIEDAD
Equivalencia 𝑝 ↔ 𝑞; 𝑝 ≡ 𝑞
Disyunción 𝑝⋁𝑞
Conjunción 𝑝⋀𝑞
Negación ∽𝑝
Leyes de Morgan ∽ (𝑝⋁𝑞) ≡∽ 𝑝⋀ ∽ 𝑞
∽ (𝑝⋀𝑞) ≡∼ 𝑝⋁ ∼ 𝑞
Ley Conmutativa 𝑝⋁𝑞 ≡ 𝑞⋁𝑝
𝑝∧𝑞 ≡ 𝑞∧𝑝
𝑝↔𝑞≡𝑞↔𝑝
Ley Asociativa 𝑝 ∨ (𝑞 ∨ 𝑟 ) ≡ (𝑝 ∨ 𝑞 ) ∨ 𝑟
𝑝 ∧ (𝑞 ∧ 𝑟) ≡ (𝑝⋀𝑞)⋀𝑟
(𝑝 ↔ 𝑞 ) ↔ 𝑟 ≡ 𝑝 ↔ ( 𝑞 ↔ 𝑟 )
Ley Distributiva 𝑝⋀(𝑞⋁𝑟) ≡ (𝑝⋀𝑞)⋁(𝑝⋀𝑟)
Conjunción (𝑞⋁𝑟)⋀𝑝 ≡ (𝑞⋀𝑝)⋁(𝑟⋀𝑝)
Disyunción 𝑝 ∨ ( 𝑞 ∧ 𝑟 ) ≡ (𝑝 ∨ 𝑞 ) ∧ (𝑝 ∨ 𝑟 )
(𝑞 ∧ 𝑟 ) ∨ 𝑝 ≡ (𝑞 ∨ 𝑝 ) ∧ (𝑟 ∨ 𝑝 )

Elaborado por: I.A. Yolanda López Gutiérrez


Ley de la idempotencia 𝑝∨𝑝 ≡𝑝
𝑝∧𝑝 ≡𝑝
En estos casos:
𝑣∨𝑣 ≡𝑣
𝑣: verdadero
𝑓: falso 𝑣∧𝑣 ≡𝑣
𝑓∨𝑓 ≡𝑓
𝑓∧𝑓 ≡𝑓
Propiedades del Complemento ∽∽ 𝑝 ≡ 𝑝
𝑝 ∧∽ 𝑝 ≡ 𝑓
𝑝 ∨∽ 𝑝 ≡ 𝑣
∼𝑣≡𝑓
∽𝑓≡𝑣
Ley de identidad 𝑝∨𝑣 ≡𝑣
𝑝∧𝑣 ≡𝑝
𝑝∨𝑓 ≡𝑝
𝑝∧𝑓 ≡𝑓

Ley de la Absorción 𝑝 ∧ (𝑝 ∨ 𝑞 ) ≡ 𝑝
𝑝 ∧ (∼ 𝑝 ∨ 𝑞 ) ≡ 𝑝 ∧ 𝑞
𝑝 ∨ (𝑝 ∧ 𝑞 ) ≡ 𝑝
𝑝 ∨ (∼ 𝑝 ∧ 𝑞 ) ≡ 𝑝 ∨ 𝑞
~𝑝 ∧ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧ 𝑞
Condicional 𝑝 → 𝑞 ≡ ~𝑞 →∽ 𝑝
𝑝 → 𝑞 ≡ ~𝑝⋁𝑞
∽𝑝→ 𝑞 ≡𝑝∨𝑞
[(𝑝 → 𝑟) ∧ (𝑞 → 𝑟)]
≡ [(𝑝 ∨ 𝑞) → 𝑟]
[(𝑝 → 𝑞) ∧ (𝑝 → 𝑟)]
≡ [𝑝 → (𝑞 ∧ 𝑟)]

Bicondicional 𝑝 ↔ 𝑞 ≡ (𝑝 → 𝑞 )⋀ (𝑞 → 𝑝 )
𝑝 ↔ 𝑞 ≡ (𝑝⋀𝑞)⋁(∽ 𝑝⋀ ∽ 𝑞)
Transposición 𝑝 → 𝑞 ≡ ~𝑞 → ~𝑝
𝑝 ↔ 𝑞 ≡ ~𝑞 ↔ ~𝑝
Ley de Exportación /importación [(𝑝 ∧ 𝑞) → 𝑟] ≡ (𝑝 → (𝑞 → 𝑟))

Elaborado por: I.A. Yolanda López Gutiérrez


INFERENCIA LOGICA

Modus Ponendo Ponens MODUS Tollendo MODUS Tollendo


(M.P.P) Toollens (M.T.T) Ponens (M.T.P)

𝑝→𝑞 𝑝→𝑞 𝑝⋁𝑞


𝑝 ~𝑞 ∼𝑝
_____________ _____________ _____________
∴ 𝑞 ∴ ~𝑝 ∴ 𝑞

Doble Negación (D.N.) Ley de la Adjunción (A) Ley de la Simplificación


(S)
∼ (∼ 𝑝 ) 𝑝
________ 𝑞 𝑝∧𝑞 𝑝∧𝑞
_____________ _________ _________
∴𝑝 ∴ 𝑝∧𝑞 ∴𝑝 ∴𝑞

Ley de Silogismo Dilema Constructivo Ley de la Adición (L.A.)


Hipotético (S.H.) (D.C)

𝑝∨𝑞 𝑝
𝑝→𝑞 𝑝⟶𝑞
𝑝⟶𝑟 _______
𝑞⟶𝑟 𝑟⟶𝑝
________ ___________ 𝑞⟶𝑠 ∴𝑝∨𝑞
∴𝑝⟶𝑟 ∴𝑟⟶𝑞 ____________
∴𝑟∨𝑠

Ley de la bicondicional
(L.B.)

𝑝⟷𝑞 𝑝⟷𝑞
_______ _______
𝑝→𝑞 𝑞⟶𝑝

Elaborado por: I.A. Yolanda López Gutiérrez


PREDICADOS Y CUANTIFICADORES
Ley de la Ejemplificación Universal Ley de la Generalización Universal
(E.U) (G.U)

(∀𝑥 ) 𝑃(𝑥) 𝑃(𝑎)


________ ___________
𝑃(𝑎) (∀𝑥 ) 𝑃(𝑥)
Ley de la Ejemplificación Existencial Ley de la Generalización Existencial
(E.E) (G.E)

(∃𝑋 ) 𝑃(𝑥) 𝑃(𝑎)


________ ___________
𝑃(𝑎) (∃𝑥 ) 𝑃(𝑥)

Elaborado por: I.A. Yolanda López Gutiérrez

También podría gustarte