Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
A) 1 B) 2 C) 3 D) 4 E) 5
a) [(p → q) ∧ — q] ∧ p
b) [(p ↔ q) ∧ — q] ∧ p
c) [(p ∨ q) ∧ — q] ∧ p
d) [(p ∨ q) ∧ — q] → p
e) N.A.
4. La proposición: “Habrá aros y sortijas refulgentes siempre que el oro sea derretido
además moldeado”, se formaliza:
a) (p ∧ q) → (r ∨ s)
b) r→ (p ∧ q)
c) (r ∧ s) → (p ∧ q)
d) (r ∨ s) → (p ∧ q)
e) (p ∧ q) ↔ (r ∨ s)
5. Formalizar: “Si en Marte no hay agua; entonces no hay vida; en consecuencia, no
hay marcianos ni platillos voladores”
a) —p → [—q → (—r ∧ —s)]
b) (p → q) → (—r ∧ —s)
c) (—p → —q) → (—r ∨ —s)
d) —p → [—q → (—r ∧ —s)
e) (—p → —q) → (—r ∧ —s)
6. Hallar la equivalencia a: “Es falso que su Ud. ve un gato negro entonces tendrá mala
suerte”
7. La proposición “Si caigo, me levanto. Si me levanto, camino. Por tanto ya que caigo bien
se ve que camino”. Se formaliza:
a) [(p ∧ q) ∧ (q ∧ r) ] → (p ∧ r)
b) [(p → q) ∧ (q → r) ] ∧ (p → r)
c) [(p→ q) ∧ (q → r) ] → (p→ r)
d) [(p ∧ q) → (q ∧ r) ] → (p → r)
e) N.A.
A) p → (q ∧ r)
B) (q ∨ r) → p
C) (q ∧ r) ∨ p
D) [(p → q ) ∧ —q] ∧ → —p
E) N. A.
10. La proposición: “El que la parafina sea necesaria para la industria textil, es necesario
para que, sea suficiente que se utilice parafina en la fabricación de ceras para pisos para
que se utilice en la preparación de pasta para zapatos”, se formaliza:
a) (p ← q) ← (r → —s)
b) (p → q) → (r → — s)
c) (p ← q) ← (p → —r)
d) p ← (q → r)
e) p → (q ← —r)
A. (p q) q (p q)
B. (p q) (q p)
C. (q p) q (p q)
equivale a:
a) q p b) p ↔ ∼ q c) p → q d) q ↔ p e) N.A.
a) A B
b) A B
c) ~(~A ~B)
d) ~(~A ~B)
e) ~A ~B
i. p → (q ∨ r )
ii. — p ∧ (q ∨ r)
iii. — q → (— p ∨ r )
a) Solo i
b) Ninguna
c) ii, iii
d) i, iii
e) todos
i. [ r ∨ (—p ∨ q)]
ii. [(— p ∨ q) ∨ r ]
iii. — [(—q ∧ p) ∧ — r] iv. —[—(—p ∨ q) ∧ — r ] v. — [—r A (—q
∧ p)]
Son ciertas:
a) Todos
b) Ninguna
c) ii, iii, iv
d) i, ii, iv
e) iii, iv, v
16. Dado el esquema: {[(p → q) → r] → s}→ t su esquema molecular equivalente es:
A) Solo 2 y 4
B) Solo 1 y 4
C) Solo 1 y 3
D) Solo 1, 4 y 5
E) Todas
20. De las siguientes estructuras lógicas:
1) p≡ p ∨ q
2) (p→ q) ≡ [q ↔ (p + q)]
3) p→ q ≡ p↔ (p ∧ q)]
4) p ≡ p ∨ —(q ∨ —q)]
5) p≡ [p ∧ (q ∧ —q)]
Corresponden a equivalencias correctas:
A) 1, 2 y 3
B) 2, 3 y 5
C) 2, 3 y 4
D) 1, 3 y 5
E) Solo 1 y 2