Trabajo 1

Lógica proposicional

1. Establecer si las siguientes expresiones son o no son proposiciones..

2+8=10 V es proposición
0>1 F es proposición

Esta oración es falsa no es proposición

Simón bolívar nació en caracas es proposición

¿Qué hora es? No es proposición

El tiene 20 años no es proposición

2. Escribir los siguientes enunciados en forma simbólica

a) Pablo es inteligente y Jorge tonto p^q

b) Jorge es inteligente y pablo es tonto ~𝒒 ^~𝒑
c) O Pablo es inteligente o Jorge es tonto p∆q
d) Ni Jorge ni pablo son inteligentes ~(𝒑^~𝒒)

3. Sean las proposiciones

P: los precios de los artículos están altos

Q: los artículos están subiendo

Obtenga la traducción verbal

a) ~(~𝒑 𝒗 ~ 𝒒)

No, los precios de los artículos no están altos o los artículos no están subiendo.

b) (p v q) ~𝒑

Los precios de los artículos están altos o los artículos están subiendo, entonces los precios de
los artículos no están altos.

c) (p q)^ ~𝒒

Los precios de los artículos están altos entonces los artículos están subiendo, y los artículos no
están subiendo

4. Demostrar e indicar si son tautologías, contradicción o contingencia

a) ~(~𝒑) ~(~(~𝒑))
 ~(~𝒑) ~(~(~𝒑))

V F V F V F
F V V V F V
ES TAUTOLOGIA

b) (~𝒑 𝒗 𝒒) ^ (~𝒒 p)

(~𝒑 𝒗 𝒒) ^ (~𝒒 p)

F V V V F V V
F F F F V V V
V V V V F V F
V V F F V F F
ES CONTINGENCIA

c) ~(𝒑 q) ~((~𝒑) (~𝒑))

~(𝒑 q) ~((~𝒑) (~𝒑))

F V V F F V F
V F F F F V F
F V V F V V V
F V V F V V V
ES CONTINGENCIA

5. ~((~𝒑 𝒗 𝒒) v (r q )) ^((~𝒑 v q ) (q ^ ~ 𝒑))

V((~V F F) F (V F F ) V ((F F F) V (F F F)

V(p) = V

V(q)=F

V(r)= VÇ

a) p (~ q v r )
V (V v V)
V V
V

b) (p v ~ q ) ^ (r ∆ p )
(V v V) ^ ( V ∆ V)
V ^ F
F
 c) (p ^ ~ r ) (q v (~ p ^ r ))
(V ^ F ) (F v (F ^ V))
F (F v F )
F F
V
6. Demostrar que ((p v q ) q ) (p q)

(( p v q ) q)

Demostrar que (( p v q ) q) p q

((p v q ) q = ((p v q) ^ q) v (~ ( p v q ) ^ ~ q )

= (q ^ (p v q)) v ~ ((p v q ) v q

= (q ^ (q v p) v ~ (p v ( q v q))

= q v ~ (𝒑)

= ~p v q

=p q

Simplificar ~(( ~p ^ q ) (r ^ ~ 𝒓)) ^ ~q

~(( ~p ^ q ) F ) ^q

(( ~p ^ q ) ^ ~ F ) ^ ~q

(( ~p ^ q ) ^ V ) ^ ~q

(( ~p ^ q ) ) ^ ~q

( ~p ^ q ) ^ ~q

~𝒑 ^ (q ^ ~q )

~𝒑 ^ F

F
NEGAR LOS SIGUIENTES CUANTIFIADORES

a) ∋ 𝑿 ∈ 𝑹 ∶ 𝑿2 + 3 = 0 (X = 0 v X ≠ 𝟎)

∀ 𝑿 ∈ 𝑹 ; (X2 +3 =0 ) (X = 0 v X ≠ 𝟎)

∀ 𝑿 ∈ 𝑹 ; ( X2 +3 =0) ^ ~ (X = 0 v X ≠ 𝟎)

∀ 𝑿 ∈ 𝑹 ; X2 +3 =0 ^ (X = 0 v X ≠ 𝟎)

∀ 𝑿 ∈ 𝑹 ; X2 +3 =0 ^ C

∀𝑿 ∈𝑹 ; C

ES CONTRADICCION

b) ∀ 𝑿 ∈ 𝑹 ; X =0 X2 = 0
∋𝑿 ∈ 𝑹 ; ~ (X = 0 X2 = 0)
∋𝑿 ∈ 𝑹 ; ~ (X = 0 ^ X2 = 0) v (~X = 0 ^ ~ X2 = 0)
∋𝑿 ∈ 𝑹 ; ~ (X = 0 ^ X2 = 0) ^ ~ (X = 0 ^ X2 = 0)
∋𝑿 ∈ 𝑹 ; (X ≠ 0 ^ X2 ≠ 0) ^ (X = 0 v X2 = 0)
∋𝑿 ∈𝑹; C

c) ∀ 𝑿 ∈ 𝑹 ; ∀ 𝒚 ∈ 𝑹 ; X2 +y2 =0 x +y = 0
∋ 𝑿 ∈ 𝑹 ; ∋ 𝒚 ∈ 𝑹 ; ~ ( X2 +y2 =0 ^ x +y = 0 )
∋ 𝑿 ∈ 𝑹 ; ∋ 𝒚 ∈ 𝑹 ; ( X2 +y2 ≠ 0 v x + y = 0

𝑰𝑵𝑫𝑰𝑪𝑨𝑹 𝑪𝑼𝑨𝑳 𝑫𝑬 LOS SIGUIENTES ESQUEMAS LOGICOS SON EQUIVALENSTES

a) P q p