UNIVERSIDAD CATÓLICA DE TRUJILLO BENEDICTO XVI

Facultad Ciencias Políticas Programa Derecho

Docente Luis Evert Medina Mateu Asignatura Lógica
Semestre 2023-2 Ciclo Primero
Fecha Hora inicio Hora Aula
término
Competencia Aplica temas relacionados con lógica proposicional, explicando los procesos
matemáticos pertinentes con orden, claridad y honestidad. teniendo en cuenta la
especialidad., responsabilidad y puntualidad y ética.
Tema VERDAD FORMAL-PRACTICA

I. Formaliza las siguientes proposiciones lógicas

1. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis,

juega al fútbol; no juega al fútbol. Por tanto, Eduardo juega al baloncesto.

FORMALIZAMOS:

p = Eduardo juega al baloncesto

q = Eduardo juega al tenis

r = Eduardo juega fútbol

[(-p → q) ˄ (q ˄ r) → - r] →p

2. Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir; si nos

quedamos a cenar o a dormir no iremos mañana al concierto; por consiguiente,
iremos mañana al concierto.

FORMALIZAMOS:

p = Si la tormenta continua

q = Si la tormenta anochece

r = Nos quedaremos a cenar

s = Nos quedaremos a dormir

t = Ir al concierto

[(p v q) → (r v s)] ↔ [(r v s) → - t] →t

3. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz.

Así pues, siempre que me entra un hambre atroz, viajo.

FORMALIZAMOS:

p= Viajo
UNIVERSIDAD CATÓLICA DE TRUJILLO BENEDICTO XVI

q = Mareo

r= hambre atroz

[(p → q) ˄ (q → r)] ˄ (r → p)

4. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien en el

colegio. Si no saca buenas notas, no lo pasa bien en el colegio. Así pues,
Guillermo obtiene buenas notas.

FORMALIZAMOS:

p = Guillermo estudia

q= Obtiene buenas notas

r= Lo pasa bien en el colegio

[(p→ q) ˄( -p → -r)] ˄ q

5. Juan partirá para Japón, si María se queda en Venecia. Rosa viajará a

Luxemburgo o Juan no partirá para Japón. O María no se queda en Venecia o
Rosa no viajará a Luxemburgo. Por consiguiente, María no se queda en Venecia.

FORMALIZAMOS:

p= Juan

q = María

r= Rosa

(p ˄ q) ˄ (r ˄ - p) V (- q ˄ -r) → -q

II. Comprobar que [(q → p) ˄ r] → (q → p) es tautológico

III. Comprobar que ─ [─ (p ˄ q) ˄ r] ↔ [─ (p ˄ q) V ─ r] es contingente

UNIVERSIDAD CATÓLICA DE TRUJILLO BENEDICTO XVI

IV. Comprobar que (─ p V q) ↔ (p ˄ ─ q) es contradictorio.

V. Determine el resultado de [(p → q) ˄ (r → s)] ˄ [(p V q) → (q V ─S)] , cuando p = F ; q =

F;r=Vys=V

VI. Determine el resultado de [(p → q) ˄ ─ q] → ─ p , cuando p y q Son Verdaderos

UNIVERSIDAD CATÓLICA DE TRUJILLO BENEDICTO XVI

VII. Si la formula proposicional ─ (p → q) ˄ (─q → p) es Verdadera. Determina los valores de

pyq

VIII. Si la proposicion compuesta:

[r ^ ~(p →q)] ^ ~[P ^ ~(s →q)] es verdadera, los valores de verdad de las proposiciones
p, q , r , s son respectivamente:

A) VFVF B) VFVV

C) VFFV D) VFFF

E) FFVF

IX. Si la proposición: (~p → ~q) V (r → ~s) es falsa, luego el valor de verdad de las
proposiciones:
I. (~p ^ ~q) → (q ^ r)
II. [(s V q) ^ p] ↔ (q ^ r)
III. (r → p) ^ (~q → s)

Será:

A) VVF B) VFV C) FVV D) FVF E) VFF

UNIVERSIDAD CATÓLICA DE TRUJILLO BENEDICTO XVI

X. Si la proposicion compuesta (r V s) →[(p ^ ~s) → (p ^ ~q)] es falsa, halle el valor de

verdad de las proposiciones:

I. (p ^ ~q) ↔ r II. q ^ (~p V ~ s) III. (~p → r) V ~ s)

A) VVV

B) VFV

C) VFF

D) FVV

E) FVF