UNIVERSIDAD CATÓLICA DE TRUJILLO BENEDICTO XVI

UNIVERSIDAD CATÓLICA DE
TRUJILLO “BENEDICTO XVI”
FACULTAD DE DERECHO CIENCIAS POLÍTICAS
PROGRAMA DE ESTUDIOS DE DERECHO
CURSO DE LOGICA

TEMA: VERDAD FORMAL - PRACTICA

DOCENTE: LUIS EVERT MEDINA MATEU

CICLO: I

INTEGRANTES: GRUPO 2

 ORELLANA LOPEZ JOEL MIQUIAS.

 PADILLA TOSCANO KEPLER.

 PUMACHAICO ROMAN VILDER.

 UNIVERSIDAD CATÓLICA DE TRUJILLO BENEDICTO XVI

Facultad Ciencias Políticas Programa Derecho

Docente Luis Evert Medina Mateu Asignatura Lógica
Semestre 2021-1 Ciclo Primero
Fecha 05 / 05/ 2021 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

REFORZAMOS EN EQUIPOS

1. Son proposiciones formalmente verdaderas:

1) Si el avestruz es ave corredora luego es falso que sea ovípara.
2) Las mareas se producen por influencia lunar o excluyentemente se producen por la
acción de los vientos.
3) Los asháninkas son una cultura andina o también una cultura costeña.
4) Los mochicas fueron una cultura costeña si y sólo si los Paracas no fueron una cultura
andina
5) Así como los epistemólogos son filósofos así también lo son los teóricos de la estética.

Son inválidamente incorrectas:

A) 1,2,3 B) 2,3 C) 2,5,4 D) 1 y 3 E) 4,5

2. Son proposiciones formalmente incorrectas:

1) O la biología es ciencia natural o la Arqueología es ciencia social.
1) Dado que María Curie fue premio nobel por tanto B. Russel escribió “Principia
Mathematica”.
2) Perón fue un político chileno no obstante que Pinochet fue de la misma nacionalidad.
3) Si y sólo si Espartaco fue esclavo entonces se rebeló contra el imperio romano.
1) Las fórmulas matemáticas son proposiciones porque su valor de verdad es binario V ó
F

Son objetablemente incorrectas, excepto

A) 1,3,4 B) 1 y 3 C) 2 y 5 D) 2,4 y 5 E) N.A.

3. Dadas las proposiciones:

A = La UNT es un centro de formación de profesionales con grado y título.
B = Los refranes no son falsamente proposiciones lógicas.
¿Qué fórmulas son verdaderas?
A) [(- A ⊻ - B) → A] B) [(- B ∨ - A) → - A] C) [- (A ∧ - B) ↔ A]

D) Todas E) N.A.
 UNIVERSIDAD CATÓLICA DE TRUJILLO BENEDICTO XVI

4. Si: p = 1; - q = 0, - r = 1, ¿Qué fórmulas conjuntivas son verdaderas?

1) [(p → - q) ↔ r] 2) [(p ∧ - q) ∧ - r] 3) - [(p ∧ - q) ↔ r]

4) [(- r ⊻ - p) ∧ q] 5) – (- p ⊻ - q) ∧ r

Son no absolutamente falsas, excepto:

A) 2 y 4 B) 3 y 5 C) 2,3,4 D) 1 y 5 E) Todas menos 1

5. Si: A = V; - B = V, C = F, ¿Qué implicaciones son no absurdamente verdaderas?

1) - [(A → - B) → C] 2) (- A ∨ B) ↔ (- C → A)
3) [(- C ∨ - B ∨ A) → - B] 4) – (A ∧ - B) ⊻ (C → - A)
5) A ∨ - B) ↔ (C → - A)
Son innegablemente ciertas:
A) 2 y 4 B) 3 y 5 C) 1,2,3 D) 3,4,5 E) Todas – 4

6. ¿Qué fórmula es tautológica?

A) [(p → - q) ∧ q] → p B) p ↔ - (- p) C) (p ∧ q) ↔ (p → - q)
D) –(p ∨ q) ↔ (- p → q) E) N.A.

7. Si en un circuito, el foco se apaga sólo en el cuarto intento, ¿cuál es la fórmula

correspondiente?
1) (- q → p) 2) (- p │ - q) 3) q ∨ p 4) (-p → q) 5)- (- q ∧ -p)
Son ciertas:
A) 1,2,3 B) Sólo 3 C) 3,4,5 D) Ninguna E) Todas

8. ¿En qué fórmula se produce un cortocircuito?

A) – (A → B) ↔ (- B ∧ A) B) [(A → B) ∧ A] → B C) (A ↓ B) ↔ (A ∨ B)

D) Todas E) N.A.
 UNIVERSIDAD CATÓLICA DE TRUJILLO BENEDICTO XVI

9. La siguiente fórmula: {[(p ↔ q) ∧ - p] → q} produce en un circuito:

A) 4 focos apagados
B) 3 focos encendidos y 1 apagado.
C) 2 focos encendidos y 2 apagados
D) 4 focos encendidos.
E) N.A.

Respuesta: TAUTOLÓGICA: Si la resultante son puras verdades: VVVV, o, 1111

Todos están encendidos los focos

 UNIVERSIDAD CATÓLICA DE TRUJILLO BENEDICTO XVI

10. La siguiente fórmula: [(- q → p) ↔ (p ↓ q)] produce en un circuito:

A) 3 focos encendidos y 1 apagado
B) 2 focos encendidos y 2 apagado
C) 1 foco apagado y 3 encendidos
D) Corto circuito

Respuesta: CONTRADICTORIA: Si la resultante son puras falsedades: FFFF, o, 0000

Existe corto circuito