Professional Documents
Culture Documents
Act 2 U1 Mipm 2023 Bi
Act 2 U1 Mipm 2023 Bi
Conectivos lógicos
a) Mi moto avanza.
p: Mi moto avanza
P: Él estudia informática.
Q: A él le gustan las computadoras.
R: A él le gusta la experiencia educativa de lógica.
S: x=7
T: x=6
U: x+2=9
V: x+2=8
a) P→(Q∧R)
R= Él estudia informática entonces a él le gustan las computadoras y le gusta la
experiencia educativa de lógica
b) ⌐(P→(Q∧R))
R= Él no estudia informática entonces a él no le gustan las computadoras y no le
gusta la experiencia educativa de lógica.
c) (S∨T) →(U∨V)
R= x=7 ó x=6 entonces x+2=9 ó x+2=8
d) S↔U
R= x=7 si y solo si x+2=9
e) S↔V
R= x=7 si y solo si x+2=8
f) 6)V↔T
R= x+2=8 si y solo si x=6
(p^q ^~p
)
V F
F V
F F
F V
∼p∨∼q
b) Construye la tabla de verdad para ∼ p ∨ ∼ q.
F
V
c) Verifica si la siguiente proposición es tautología p ∨ (∼ p ∨ q).
R= Es una tautología
d) Verifica si la siguiente proposición es tautología ( p ∧ q) ⇒ ( p ⇔ q).
R=No es una tautología