Logica Proposicional
Logica Proposicional
Logica Proposicional
a.
NEXOS SIMBOLOS
Negación ¬
Y ^
O v
Implicación
Equivalencia =
b.
P Q P^Q
V V V
V F F
F V F
F F F
c.
P Q PvQ
V V V
V F V
F V V
F F F
d.
P ¬P
V F
F V
e.
P Q P Q
V V V
V F F
F V V
F F V
f.
P Q P Q
V V V
V F F
F V F
F F V
g.
LEYES NOMBRES
pvp≡V Ley de la exclusión del término medio.
p v ¬p ≡ F Ley de contradicción.
pvF≡p Leyes de
pvV≡p intensidad.
pvV≡V Leyes de
p^F≡F dominación.
pvp≡p Leyes de
p^p≡p ildempotencia.
¬(¬p) ≡ p Ley de doble negación.
pvq≡qvp Leyes
p^q≡q^p conmutativas
p v (q v r) ≡ (p v q) v r Leyes
p ^ (q ^ r) ≡ (p ^ q) ^ r asociativas
p v (q ^ r) ≡ (p v q) ^ (p v r) Leyes
p ^ (q v r) ≡ (p ^ q) v (p ^ r) distributivas
¬(p ^ q) ≡ ¬p v ¬q Leyes de
¬(p v q) ≡ ¬p ^ ¬q morgan
p q ≡ ¬p v q Definición de la implicación.
p q ≡(p q) ^ (q p) Definición de la equivalencia.
2. Complementa el siguiente mapa mental con los conceptos faltantes según sea
el caso.
6. Realiza las siguientes operaciones con números reales según sea el caso.
2
j. ( 1/2 ) =12/ 22 = 1/4