Tarea virtual 1

Tema: Formas proposicionales según el valor de verdad.

Objetivo: Resolver ejercicios con formas proposicionales y operadores lógicos.

Actividades para el logro del objetivo

1.-Confeccione la tabla de verdad de las siguientes proposiciones compuestas

a) ( p ⇒ q) 𝖠 (q ⇔ ∼ p)
X Y
p Q p⇒q ∼p q⇔∼p x𝖠y

1 1 1 0 0 0

0 0 1 1 0 0

1 0 0 0 1 0

0 1 1 1 1 1

b) ( p 𝖠 ∼q) v (∼ p ⇔ q)
x y

p q ∼q p 𝖠 ∼q ∼p ∼p⇔q xvy

1 1 0 0 0 0 0

0 0 1 0 1 0 0

1 0 1 1 0 1 1

0 1 0 0 1 1 1

c) ( p 𝖠 q) ⇔ (∼ p v q)
 x y
p q p𝖠q ∼p ∼pvq x⇔y

1 1 1 0 1 1

o 0 0 1 1 0

1 0 0 0 0 1

0 1 0 1 1 0

2.-Confeccione la tabla de verdad de la siguiente proposición compuesta

∼ p 𝖠 (q ⇒ r)

X Y

p q r ∼p q⟶r x𝖠 y

1 1 1 0 1 0

0 0 0 1 1 1

1 1 1 0 0 0

1 0 0 0 1 0

0 1 1 1 1 1

0 0 0 1 1 1

1 0 0 0 1 0

0 1 1 1 0 0

3.-Resolver los siguientes ejercicios.

 a) Si el valor de verdad de p ⟶q es falso ¿puede determinar el valor de verdad de

∼ p (p ⟶ q)?

p ⟶ q ≡ 0 ∼ p (p ⟶ q)
1 0
1 0 1

0
0
0

p: 1 0

q: 0

b) Si p ∼ q es verdadero ¿se puede determinar el valor de verdad de (p q) (p q)?

p ∼ q (p q) (p q)
1 0 w1 0 1 0

1 0. 1

1 0

P:1

Q:0