FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

PROGRAMA ACADÉMICO DE ECONOMÍA

CURSO: LÓGICA NOMBRE: ___________________________
PRÁCTICA CALIFICADA 01 HORA: 7:00AM. DURACIÓN: 1 h 50 min.
FECHA: viernes 09 de setiembre de 2022.

IMPORTANTE:
La presente evaluación debe desarrollarse de manera personal, por lo que durante su desarrollo se encuentra prohibido:

1. La entrega y/o intercambio de información o respuestas de las preguntas de la evaluación con otras personas.
2. El uso de respuestas y/o preguntas de la evaluación perteneciente a otros.
3. El empleo de equipos celulares y/o aplicaciones de mensajería instantánea que permitan la interacción con otras personas.
4. La práctica se ha de desarrollar con lapicero y mucho orden. Y solo en el cuadernillo.

Si se incurriera en cualquiera de los supuestos informados en el párrafo precedente, se anulará la nota total de la evaluación
y su caso será evaluado de acuerdo a lo establecido en el Reglamento de Medidas Disciplinarias vigente, el cual se encuentra
debidamente publicado y accesible a todo alumno a través del Sistema Integrado de Gestión Académica (SIGA) de la
Universidadde Piura.

1. En cada una de las siguientes expresiones, identificar si es o no proposición. Para la clasificación: si

es proposición simple (predicativa o relacional), si es compuesta (negativa, conjuntiva, disyuntiva
incluyente, Implicativa, replicativa, d. excluyente, bicondicional)
(0.5 puntos cada una)

a. Ana Paula y Sergio son hermanos. (prop simple relacional)

b. No solo Segundo es albañil sino también es carpintero. (prop conjuntiva)
c. Miguel Grau fue diputado por Lima (prop simple predicativa)
d. Carlos es profesor de Lógica del mismo modo de Álgebra. (prop conjuntiva)
e. (𝑎 + 𝑏)2 = 𝑎2 − 2𝑎𝑏 + 𝑏 2 (enunciado abierto)
f. En forma alguna la economía peruana está dolarizada. (prop negativa)
g. La pizarra es de color verde. (prop simple predicativa)
h. Los reclamos no proceden en vista que realizas el desarrollo de la evaluación con lápiz. (prop
replicativa)

2. Sean las siguientes proposiciones:

a. “Si es falso que el contrato se cumple, la construcción del edificio no se terminará a fin de año,
no obstante la construcción no se termina a fin de año en razón de que el banco pierde dinero.
Obviamente si el contrato no se cumple, entonces el banco pierde dinero”
Solución:

Página 1|3
Variables proposicionales:
• 𝑝: El contrato se cumple.
• 𝑞: La construcción del edificio se terminará a fin de año.
• 𝑟: El banco pierde dinero. 1 punto
Conectores lógicos:
• 𝑆𝑖. . . , . . . : →
• 𝐸𝑠 𝑓𝑎𝑙𝑠𝑜 𝑞𝑢𝑒. . . : ∼
• ....𝑛𝑜 obstante...:∧
1.5 punto
• . . . . 𝑜𝑏𝑣𝑖𝑎𝑚𝑒𝑛𝑡𝑒. . . : →
• 𝑆𝑖. . . , 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠. . . . : →
• … en razón que …←
Formalización:
[(𝑝 →∼ 𝑞) ∧ (∼ 𝑞 ← 𝑟)] → (∼ 𝑝 → 𝑟) 1.5 punto
Es una prop compuets implicaitva

b. Si traes la pelota blanca, no traerás la roja. Sin embargo, si traes la verde, traerás la roja. No
obstante en modo alguno traes las tres juntas. En vista que traerás sólo una de las tres.
Solución:

I. Las variables proposicionales.

p: Traes la pelota blanca.

q: Traes la pelota roja. 1 punto
r: Traes la pelota verde.

II. Los conectores lógicos

• Si … , … : →
• … sin embargo … : ∧
• … no obstante … : ∧
• En modo alguno … ∼ 1.5 puntos
• … , …: ∧
• …y…:∧
• En vista que … : →
• O…o…:⊕

III. La formalización de la proposición.

{[(𝑝 →∼ 𝑞) ∧ (𝑟 → 𝑞)] ∧∼ (𝑝 ∧ 𝑞 ∧ 𝑟)} → (𝑝 ⊕ 𝑞 ⊕ 𝑟) 1.5 punto

Es una Prop Implicativa

Página 2|3
 c. Si Julio dice la verdad, entonces Sócrates corrompía a la juventud y si el tribunal lo condenó
equivocadamente, entonces Julio no es culpable. Pero, Sócrates no corrompía a la juventud o Julio
es el culpable. Por lo tanto Julio no decía la verdad o el tribunal no condenó equivocadamente a
Sócrates.
Solución:
I. Las variables proposicionales.

p: Julio dice la verdad.

q: Sócrates corrompía a la juventud. 1 punto
r: El tribunal lo condenó.
s: Julio es culpable.

II. Los conectores lógicos.

• Si … , … : →
• …y…:∧
• … entonces … : →
• No … : ∼ 1.5 puntos
• … pero … : ∧
• …o …:∨
• … por lo tanto … : →

III. La formalización de la proposición.

{{[𝑝 → (𝑞 ∧ 𝑟)] →∼ 𝑠} ∧ (∼ 𝑞 ∨ 𝑠)} → (∼ 𝑝 ∨∼ 𝑟) 1.5 punto

Es una proposición Implicativa.

3. Halle y clasifique la matriz final del siguiente esquema lógico: (4 puntos)

{[(𝑝 → ~𝑞) ↔ (~𝑟 ⟵ 𝑝)] ∧ (∼ 𝑟 → ~𝑞)} ∨ (𝑞⨁𝑝)

p q r {[(𝑝 → ~𝑞) ↔ (~𝑟 ⟵ 𝑝)] ∧ (∼ 𝑟 → ~𝑞) ∨ (𝑞⨁𝑝)

V V V F V F V V V F
V V F F F V F F F F
V F V V F F F V V V
V F F V V V V V V V
F V V V V V V V V V
F V F V V V F F V V
F F V V V V V V V F
F F F V V V V V V F
1 3 2 5 4 7 6

Matriz final: VFVVVVVV , CONTINGENTE O CONSISTENTE

Página 3|3