ARITMÉTICA 01 CIENCIAS

LÓGICA PROPOSICIONAL

I. CONECTIVOS LÓGICOS: Símbolos que enlazan dos b. Ley Conmutativa:

o más proposiciones simples para formar una p∨q ≡ q ∨ p
proposición compuesta. Los conectores lógicos que p∧q ≡ q ∧ p
usaremos son:
c. Ley Asociativa:
SÍMBOLO
OPERACIÓN
SIGNIFICADO (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
LÓGICA (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
~ Negación No p
∧ Conjunción p y q d. Ley Distributiva:
∨ Disyunción p o q p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
→ Condicional Si p, entonces q p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
↔ Bicondicional p si y sólo si q
Disyunción e. Ley de la Doble Negación:
∆ “o … o …” ~ (~ p) ≡ p
Exclusiva

II. OPERACIONES LÓGICAS Y TABLAS DE VERDAD f. Leyes de Identidad:

p∨V ≡ V ; p∨F ≡ p
OBSERVACIÓN: p∧V ≡ p ; p ∧F ≡ F
La cantidad de filas en una tabla está dado por
g. Leyes del Complemento:
# filas = 2 n
p∨~p ≡ V
Siendo n la cantidad de proposiciones simples. p∧~p ≡ F
Veamos una tabla simplificada h. Ley del Condicional:
p→q≡~p∨q
p q ∧ ∨ → ↔ ∆ ~p ~q
V V V V V V F F F i. Ley de la Bicondicional:
V F F V F F V F V p ↔ q ≡ (p → q) ∧ (q → p)
F V F V V F V V F p ↔ q ≡ (p ∧ q) ∨ (~ p ∧ ~ q)
F F F F V V F V V p ↔ q ≡ ~ (p ∆ q)
IMPORTANTE: j. Leyes de "De Morgan":
• Cuando los valores del operador principal son todos ~ (p ∨ q) ≡ ~ p ∧ ~ q
verdaderos se dice que el esquema molecular es ~ (p ∧ q) ≡ ~ p ∨ ~ q
tautológico.
• Se dirá que el esquema molecular es k. Ley de Absorción:
contradictorio si los valores del operador principal p ∨ (p ∧ q) ≡ p
son todos falsos. p ∧ (p ∨ q) ≡ p
• Si los valores del operador principal tiene por lo p ∨ (~ p ∧ q) ≡ p ∨ q
menos una verdad y una falsedad se dice que el
p ∧ (~ p ∨ q) ≡ p ∧ q
esquema molecular es contingente.
IV. CUANTIFICADORES:
III. LEYES DE ÁLGEBRA PROPOSICIONAL
Son equivalencias lógicas que nos permiten reducir
1. Cuantificador Universal: Sea la función
esquemas moleculares complejos y expresarlos en
proposicional sobre un conjunto A, el cuantificador
forma más sencilla. Las demostraciones de dichas
("para todo") indica que todos los valores del conjunto
leyes se hacen construyendo la tabla de verdad en
A hacen que la función proposicional sea verdadera.
cada caso.
∀ : se lee " para todo "
PRINCIPALES LEYES: Ejemplo:
a. Ley de Idempotencia: Dado f(x) : x3 + 2 > 5 ; ∀x ∈ 
p ∧ p ≡ p
Luego la proposición cuantificada es
p ∨ p ≡ p
∀ x ∈  ; x3 + 2 > 5 , la cual es falsa.

CEPREUNTELS – Repaso de Verano 2018-0 (Queda prohibida la reproducción total o parcial de esta publicación) Pág. - 1 -