ARITMETICA

CAPÍTULO LOGICA PROPOSICIONAL

TEMA

OPERADORES LOGICOS -
EQUIVALENCIAS
 LOGICA PROPOSICIONAL
VALORES DE VERDAD DE LOS CONECTORES LOGICOS

Ejm: Halle la tabla de verdad de: Posibles resultados:

(p Ʌ ~q)  (q v p)
Absoluta V: Tautología
p q (p Ʌ ~q)  (q v p) Absoluta F: Contradicción
V V V F F V V V V Combinado: Contingencia
V F V V V V F V V
F V F F F V V V F
F F V V F F F
F F Resultado : Tautología
 LOGICA PROPOSICIONAL
V

↔
~q  ~p ≡
 LOGICA PROPOSICIONAL
Demás
Variable
variables internas
exterior (B)
excepto exterior
(A)

(A) p Ʌ (p v q) = p (C) p Ʌ (~p v q) = p Ʌ q (B)

(B)
(B) p v (p Ʌ q) = p (D) p v (~p Ʌ q) = p v q
(A)

Variable p Ʌ (~p v q v s v t) = p Ʌ (q v s v t) (C)

exterior
p v (~p Ʌ (q  r)) = p v (q r) (D)

~p Ʌ (p v (q v ~r)) = ~p Ʌ (q v ~r) (C)

 ARITMETICA
PRACTICA DIRIGIDA

PROBLEMAS DE APLICACION
 LOGICA PROPOSICIONAL
[ (~p v q) Ʌ ~p ]  p

[ ~p ]  p

~p  p

~ ~p v p
RECORDAR
pvp
p  q = ~p v q
p
p q=~q~p

Rpta: p
 LOGICA PROPOSICIONAL

[ p  ~ (q  p) ]  ~ (p Ʌ ~p)

~ F

[ p  ~ (q  p) ]  V

RECORDAR V

p Ʌ~p=F
VV=V
FV=V
Rpta: V
 LOGICA PROPOSICIONAL

Finalmente:
RECORDAR

p  q = ~p v q
p Ʌ~p =F F
~( p v q) = ~ p Ʌ ~ q (Morgan)
Rpta: F
NOTA: Tambien sale usando absorción en vez de Morgan
 LOGICA PROPOSICIONAL
De acuerdo a los posibles valores de r y s resultan
los siguientes casos FIJOS:
rvs=V rɅs=F r↔ s=F

V F
F V

{ [V Ʌ (~p v q) ] Ʌ [F v ~q] } v F
= { (~p v q) Ʌ ~q } v F
RECORDAR
Fvp=p
Vvp=V
pɅV=p
pɅF=F
p Ʌ ~p = F Rpta: ~ p Ʌ ~q
p V ~p = V
 LOGICA PROPOSICIONAL
s Ʌ (r → s)
s Ʌ (~r v s)

=s
La segunda variable será siempre la respuesta
={?}© r
RECORDAR
=r
p  q = ~p v q
p Ʌ~p =F
~( p v q) = ~ p Ʌ ~ q
Rpta: r
 LOGICA PROPOSICIONAL
p: es buen jugador
(p Ʌ q ) ∆~q
q: es veloz
Si el resultado es F, entonces puede suceder 2 casos:

(p Ʌ q ) ∆~q (p Ʌ q ) ∆~q
(F v V)  ? F V
X F F V
(F Ʌ V) =F
~F Ʌ ~V = F V V F F
F Ʌ ~V  ? F F
=F?=V
No Corresponde
NO CUMPLE SI CUMPLE
O . . .O
Se concluye:
p=F ; q = V

Rpta: D
 LOGICA PROPOSICIONAL
~ ~ ~ (p Ʌ q)
~ (p Ʌ q)
~ p v ~ q = p  ~q = q  ~p
pvq
~ p v ~q
p  ~q
~ (p Ʌ q)
q ~p

p: es cantante RECORDAR
q: es alcoholico p  q = ~p v q
p  q = ~q  ~p Rpta: A
~( p Ʌ q) = ~ p v ~ q
 LOGICA PROPOSICIONAL
Es un problema de implicancia
A : Mi región está formada por hombres incultos
B : Mi distrito está formada por intelectuales

Como ~A no sucede
Debe suceder ~B

Recordar:
A menos que = salvo que = o = excepto que = v
p v q : puede suceder p o q o ambos , es decir al menos uno de ellos Rpta: A
LOGICA PROPOSICIONAL
Es un problema de implicancia
A : Vivo en Miraflores
B : Soy rico

 B  A

A = V
B = V

proletario

A V B = V v F =V
A V C = V v ? =V
A Ʌ B = V Ʌ F =F Rpta: VVF
LOGICA PROPOSICIONAL

Rpta: C
 ARITMETICA

FIN DE LA SESIÓN
Recuerda repasar lo aprendido