LABORATORIO DE LOGICA

1.-De los enunciados siguientes:

(1) Hola que tal ! (4)Todos los hombres son inmortales
(2) x2+1 < 10 (5) Sócrates nació en Atenas
(3) 2 + 5 > 6 (6)𝑥 + 5 ≠ 8
¿Cuál de las alternativas siguientes es correcta:
a) 3 son enunciados abiertos c) 3 no son proposiciones
b) 2 son proposiciones d) 4 son proposiciones.

2.- Si: p: “Carlos vendrá”, q: “Carlos ha recibido la carta” y r: “Carlos está interesado todavía en el
asunto”. Simbolizar los siguientes enunciados:
a) “Carlos vendrá, si ha recibido la carta, siempre que esté interesado todavía en el asunto”.
b) “O Carlos vendrá porque ha recibido la carta o no está interesado todavía en el asunto”.
c) “Carlos vendrá si y sólo si ha recibido la carta o vendrá porque está interesado todavía en el
asunto”.

3.- Determinar los valores de verdad de las siguientes proposiciones:

(1) (3 + 5 = 8) ∨ (5 – 3 = 4) (3) (3 + 8 = 11) ∧ ( 7 – 4 >1)
(2) (5 – 3 = 8) → (1 – 7 = 6) (4) (4 + 6 = 9) ↔ (5 – 2 = 4)

4. −~ [(~𝑝 ∨ 𝑞 ) ∨ (𝑟 → 𝑞)] ∧ [(∼ 𝑝 ∨ 𝑞) → (𝑞 ∧ ∼ 𝑝)] es verdadera. Hallar los valores de verdad

de p, q y r.

5.- De la falsedad de (𝑝 → ~ 𝑞) ∨ (∼ 𝑟 → ~𝑠), se deduce que el valor de verdad de los esquemas:

A = ∼ (∼ 𝑞 ∨ ∼ 𝑠) → ~𝑝 ; B = ∼ (∼ 𝑟 ∧ 𝑠) ↔ (∼ 𝑝 → ∼ 𝑞) y
C= p→ ∼ [𝑞 →∼ ( 𝑠 → 𝑟)] , son respectivamente:
a) FFV b) FFF c) FVF d) FVV

6.- La proposición [(𝑝 ∧ 𝑞 ) ∨ (𝑞 → 𝑟)] es falsa, y se tiene los esquemas moleculares:

A= ∼ (𝑞 ∨ 𝑟 ) ∨ (𝑝 ∨ 𝑞) , B= (𝑝 ∨ ~𝑞) → (∽ 𝑟 ∧ 𝑞) ; C=[(𝑝 ∧ 𝑞) ∨ (𝑞 ∧∽ 𝑟)] ↔ (𝑝 ∨∽ 𝑟)
Cuáles son falsos.

7.- Si la proposición (∽ 𝑝 ∧ 𝑞) → (∽ 𝑠 ∨ 𝑟) es falsa, de las proposiciones siguientes, cuáles son

verdaderas: A = ∽ [(𝑝 → 𝑞) → 𝑟] ; B= ∽ (∽ 𝑝 ∧ 𝑞) ∧ (∽ 𝑟 ∨ 𝑟) ∧ 𝑠 ; C=[(𝑝 ∨∽ 𝑞) ∧ 𝑝] ∨ (∽ 𝑞) .

8.- Analizar la validez de las siguientes inferencias.

a) [(∽ 𝑝 ↔ (∽ 𝑝 ∨ 𝑟)) ∧ (𝑟 → 𝑠)] → (𝑠 →∽ 𝑝)

b) [(𝑝 → 𝑞) ∧ (∽ 𝑝 → 𝑟) ∧ (𝑝 ∨∽ 𝑝)] → (𝑝 ∨ 𝑟)

c) [(𝑝 → 𝑞) ∧ (𝑟 →∽ 𝑠) ∧ ( ∽ 𝑞 ∨ 𝑠)] → [∽ 𝑝 ∨∽ 𝑟]

d) [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ 𝑝] → [𝑞 ∧ 𝑟]

e) [(𝑝 → 𝑞) ∧ (∽ 𝑝 → 𝑟) ∧ (𝑝 ∨∽ 𝑝)] → (𝑞 ∨ 𝑟)

f) [(𝑞 ↔ (∽ 𝑝 ∨ 𝑟)) ∧ (𝑟 ∨ 𝑠) ∧ (∽ 𝑝 ↔ 𝑟)] → (𝑞 ∨ 𝑟)

g) [(𝑝 ⟷∽ 𝑞) ∧ ( ∽ 𝑝 △ 𝑠) ∧ (𝑟 → 𝑠)] → [𝑝 → (𝑟 ∧∽ 𝑞)]

 9. −(𝑝 ∨ 𝑞) ↔ (𝑟 ∧ 𝑠) es una proposición verdadera, teniendo r y s valores de verdad
opuestos . De las afirmaciones cuáles son verdaderas:

A= [(∽ 𝑝 ∧∽ 𝑞) ∨ (𝑟 ∧ 𝑠)] ∧ 𝑝 , 𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑎

B=[∽ (𝑝 ∨ 𝑞) ∧ (𝑟 ∨ 𝑠)] ∨ (∽ 𝑝 ∧ 𝑞) , es falsa

C=[(∽ 𝑟 ∧∽ 𝑠) → (𝑝 ∨ 𝑟)] ∧∽ (𝑟 ∧ 𝑠) , es verdadera

10. Si la proposición (∽ 𝑝 ∧ 𝑞) → (∽ 𝑠 ∨ 𝑟) es falsa, de las proposiciones siguientes, cuáles son

verdaderas: A = ∽ [(𝑝 → 𝑞) → 𝑟] ; B= ∽ (∽ 𝑝 ∧ 𝑞) ∧ (∽ 𝑟 ∨ 𝑟) ∧ 𝑠 ; C=[(𝑝 ∨∽ 𝑞) ∧ 𝑝] ∨ (∽ 𝑞) .

11.-Representar simbólicamente los siguientes circuitos:

a) p

r
b)
p
∽𝑟
q

s ∽𝑡

c)
p ∽𝑞 ∽𝑟

p ∽𝑞 r

q
d)
r

q ∽𝑞

r ∽𝑟
 e) q q

r ∽𝑝 p

∽𝑞
p ∽𝑞

q ∽𝑝

12.- Diseñar los circuitos correspondientes para las siguientes proposiciones:

a) (𝑝 ∧ 𝑞) ∨ {[𝑞 ∧ (𝑝 ∧ 𝑞)] ∨ (∼ 𝑝 ∧ ∼ 𝑞)}

b) 𝑝 → 𝑞

c) 𝑝 ↔ 𝑞

d) [(𝑝 ∨ 𝑞) ∧ (𝑟 ∨ 𝑠)] ∨ 𝑡

13.-Simplificar y hallar el equivalente a los circuitos dados:

p ~𝑞
a)
𝑞𝑞
~𝑝
p
q
p q
b) ~p ~q p

~p
p ~𝑞
c) ~𝑞

p q

~𝑝 ~𝑞 p q
d)
p
p ~𝑝 ~𝑞

q p

p
e)
q ~𝑝

~𝑞 ~𝑝