Formulario de Algebra I Lógica Matemática

Lógica Matemática

Conectivos Lógicos

Conectivo Símbolo Significado

Conjunción ∧ p∧q pyq
Disyunción inclusiva ∨ p∨ q póq
Disyunción excluyente ∨ p∨ q opóq
Condicional → p→q p entonces q
Bicondicional ↔ p↔ q p si y solo si q
Negación ~ ~p no p
Negación Conjunta ↓ p↓ q ni p ni q
Negación Alterna / p/q p incompatible con q

Tablas de Verdad

p q p∧q p∨ q p∨ q p→q p↔ q ~p p↓ q p/q

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

Leyes Lógicas

Doble Negación ~ (~ p) ≡ p
p ∧ q≡q ∧ p
Conmutatividad
p ∨ q≡q ∨ p
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
Asociatividad
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Distributividad
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
p ∧ V≡p
p ∧ F≡F
Condiciones de Identidad
p ∨ V≡V
p ∨ F≡p
p ∧ ~p≡F
Condiciones de Negación
p ∨ ~p≡V
p ∧ p≡p
Idempotencia
p ∨ p≡p
Definición de Implicación p → q≡~p ∨ q
Definición de Equivalencia p ↔ q ≡ (p → q) ∧ (q → p)
p ∧ (p ∨ q) ≡ p
Leyes de Absorción
p ∨ (p ∧ q) ≡ p
~ (p ∧ q) ≡ ~ p ∨ ~ q
Leyes de Morgan
~ (p ∨ q) ≡ ~ p ∧ ~ q

http://carlos-eduardo.webs.tl 1
Formulario de Algebra I Lógica Matemática

Reglas de Inferencia

p
Adición ----------
p∨ q

p∧q p∧ q
Simplificación --------- --------
p q
p
q
Conjunción
----------
p∧q
p→q
p
Modus Ponens
--------------
q
~q
p→q
Modus Tollens
--------------
~p
p→q
q→r
Silogismo Hipotético
-------------
p→r
p∨ q p∨q
~p ~q
Silogismo Disyuntivo
-------------- --------------
q p
p→q
r→s
Dilema Constructivo p∨ r
-------------
q∨ s
p→q
r→s
Dilema Destructivo ~q ∨~s
-------------
~p ∨ ~r

Contrarecíprocos
→ ↔ ~ →~

→ ↔ ~ →~

http://carlos-eduardo.webs.tl 2