Universidad Nacional Jorge Ingenierı́a Agrı́cola

Basadre Grohmann Prof. Dr. Calderón Beltrán, E. Rusbert

Taller 3 - Tabla de verdad y equivalencias lógicas

Instrucciones: Realizar el trabajo de manera detallada y ordenada. Este debe ser presentado en un único formato pdf
al e-mail ecalderonb@unjbg.edu.pe.
Fecha de entrega: Máximo, Martes 8 am.

1. La negación de la proposición:
[p ⇑ (q ∧ r)] ⇐ [(q ∨ −r) ⇓ −p]
corresponde a una:

a) Tautologı́a
b) Contingencia
c) Inconsistencia
2. De la fórmula lógica falsa
[−(−p ∧ q) ∨ −r] ⇐ −(−p | r)
y los esquemas:
i) (p ⇓ r) ⇒ (−q ∨ s)
ii) (q ∨ s) ⇒ t
Cuales de las siguientes afirmaciones son verdaderas:
a) Si en el esquema i) el valor de s es V , entonces el valor de verdad del esquema es F .
b) El valor del esquema i) es F cualquiera que sea el valor de verdad de s
c) Si en el esquema ii) asignamos a t el valor F , el valor de verdad del esquema es F
d) El valor del esquema ii) no depende del valor de verdad de la variable t
3. La estructura lógica
[−p ∨ (q ∧ −r)] ⇓ [(−q ⇔ p) ⇒ r]
Equivale a:
a) (p ∨ r) ∧ (q ∨ r)
b) p ∧ −(q ∨ r)
c) (p ∧ q) ⇑ −r
d) −p ⇓ (q ∨ r)
e) p ⇒ (q ⇒ r)

4. La siguiente proposición

“No es cierto que un triángulo es equilátero si y solamente si es isóceles”

Equivale a:
a) “Un triángulo no es equilátero si y solamente si no es isóceles”
b) “Un triángulo es equilátero y no es isóceles o es isóceles y no es equilátero”
c) “Un triángulo no es equilátero y no es isóceles”
d) “Si un triángulo no es equilátero entonces no es isóceles”