lOMoARcPSD|44257277

107 TP1 1CI - entrega de trabajo practico

Logica (Universidad Nacional Abierta)

Scan to open on Studocu

Studocu is not sponsored or endorsed by any college or university

Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
 lOMoARcPSD|44257277

Objetivos I.1, I.2, I.3, I.4, I.5, y I.6

Trabajo Práctico Lógica

2826 de octubre de 2024

Objetivo I.1. Identificar de manera reflexiva los conceptos básicos que caracterizan a la lógica
como un lenguaje incluyendo especialmente, la cuestión del significado, a través de una
infografía.

Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])

 lOMoARcPSD|44257277

Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])

 lOMoARcPSD|44257277

Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])

 lOMoARcPSD|44257277

Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])

 lOMoARcPSD|44257277

Objetivo I.2. Describir con objetividad los conceptos y procedimientos básicos que caracterizan
a un razonamiento deductivo expresado en lenguaje natural a través de un mapa conceptual.

Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])

 lOMoARcPSD|44257277

Objetivo I.3. Establecer de manera reflexiva el valor veritativo de una fórmula proposicional dada
mediante la construcción de su respectiva tabla de verdad a través de la resolución de ejercicios.

Ejercicio Numero 1:

a) Si hay elecciones el 28 de julio, o gana la oposición o gana el oficialismo.

p = si hay elecciones el 28 de julio

q = o gana la oposición

r = o gana el oficialismo

b) Si llueve y se abona bien la tierra, las plantas crecen más frondosas.

p = Si llueve

q = y se abona bien la tierra

r = las plantas crecen más frondosas

c) No es cierto que se dé simultáneamente que tu vehículo no tenga gasolina y pueda andar.

p = No es cierto que se dé simultáneamente que tu vehículo no tenga

gasolina

q = y pueda andar.

d) Dos números son pares si y sólo si son divisibles por dos.

p = Dos números son pares

q = si y sólo si son divisibles por dos

Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])

 lOMoARcPSD|44257277

Ejercicio Numero 2:

2) Construya la tabla de verdad de las siguientes fórmulas. Indique si cada una de ellas es una
fórmula tautológica, contingente o contradictoria. Justifique su respuesta.

a) (pq)→  (pq)

p q (p  q) →  ( p   q)
Fila (I) V V V V V V V F V F F V
Fila (II) F V F V V V V V F F F V
Fila (III) V F V V F V V F V F V F
Fila (IV) F F F f F V f V F V V F
(1) (2) (3) (7) (4) (12) (11) (9) (5) (10) (8) (6)

Es una fórmula tautológica, porque resulta verdadera en todas las asignaciones posibles de
valores veritativos a sus letras proposicionales.

b) (p→q) →  (pq)

p q (p → q) →  (p   q)
Fila (I) V V V V V V V V F F V
Fila (II) F V F V V V V F F F V
Fila (III) V F V F F V F V V V F
Fila (IV) F F F V F V V F F V F
(1) (2) (3) (7) (4) (11) (10) (5) (9) (8) (6)

Es una fórmula tautológica, porque resulta verdadera en todas las asignaciones posibles de
valores veritativos a sus letras proposicionales.

Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])

 lOMoARcPSD|44257277

c) (p⊻q) → [(pq)  (pq)]

p q (p ⊻ q) →  [ (p  q)   ( p   q)
(I) V V V F V V F F V V V V V F V F F V
(II) F V F V V V V V F F V F V V F F F V
(III) V F V V F V V V V F F F V F V F V F
(IV) F F F F F V V V F F F F F V F V V F
(1) (2) (3) (9) (4) (17) (16) (11) (5) (10) (6) (15) (14) (13) (7) (14) (12) (8)

Es una fórmula tautológica, porque resulta verdadera en todas las asignaciones posibles de
valores veritativos a sus letras proposicionales.

d) (pq)   (pq)

p q (p  q)   (p  q)
Fila (I) V V V V V F F V V V
Fila (II) F V F V V F F F V V
Fila (III) V F V V F F F V V F
Fila (IV) F F F F F F V F F F
(1) (2) (3) (7) (4) (10) (9) (5) (8) (6)

La fórmula es una contradicción, porque resulta falsa para todas las asignaciones posibles de
valores veritativos a sus letras proposicionales.

Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])

 lOMoARcPSD|44257277

Objetivo I.4. Caracterizar con objetividad algunos aspectos teóricos relevantes de la proposición condicional y su clasificación a través
de un esquema o diagrama creativo.

Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])

 lOMoARcPSD|44257277

Objetivo I.5. Analizar de manera reflexiva la validez de un razonamiento expresado en lenguaje

natural o simbólico evaluado mediante tablas de verdad a través de la resolución de ejercicios

Ejercicio Numero 1:

1) Simbolice los siguientes razonamientos en el lenguaje de la Lógica proposicional. Identifique

las premisas y la conclusión. Luego construya su respectiva tabla de verdad y determine su
validez. Justifique su respuesta.

a) Si el agua se calienta a una temperatura mayor 100°C, hierve. Pero resulta que el agua no
hirvió. Por consiguiente, no se calentó el agua a una temperatura mayor 100°C.

1. p: el agua se calienta a una temperatura mayor a 100º C

q: hierve
No se calentó a una temperatura mayor a 100º C
El agua no hirvió
(p→q)

q

p

2. (p→q) Λ q →p

3. Tabla de la verdad

p q (p → q) Λ  q →  p
V V V V V F F V V F V
F V F V V F F V V F V
V F V F F F V F V V F
F F F V F F V F V V F
(1) (5) (2) (6) (4) (3) (7) (5) (4)

4. Resultado: Como el condicional asociado es una tautología, el razonamiento es válido.

Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])

 lOMoARcPSD|44257277

b) Si y sólo si Albania gana a España en la Eurocopa 2024 y Croacia le gana a Italia, Albania se
clasifica a octavos de final. Si se clasifica, jugaría contra Alemania. El caso fue que Croacia no le
ganó a Italia. En consecuencia, Albania no jugará contra Alemania.

1. p: Albania gana a España en la Eurocopa 2024

q: Croacia le gana a Italia
r: Albania se clasifica a octavos de final
p1: jugaría contra Alemania
Croacia no le ganó a Italia
Albania no jugará contra Alemania
2. (pΛq)  r→ p1
q

p1

3. ((pΛq)  r→ p1Λq)→ p1)

4. Tabla de la verdad:

p q r p1 ((p Λ q)  r → p1 Λ  q) →  p1)

1 V V V V V V V V V V V F F V V F V
2 F V V V F F V F V V V V V F F F V
3 V F V V V F F F V V V F F V V F V
4 F F V V F F F F V V V V V F F F V
5 V V F V V V V F F V V F F V V F V
6 F V F V F F V V F V V V V F f F V
7 V F F V V F F V F V V F F V V F V
8 F F F V F F F V F V V V V F f F V
9 V V V F V V V V V F F F F V V V F
10 F V V F F F V F V V F V V F V V F
11 V F V F V F F F V V F F F V V V F
12 F F V F F F F F V V F V V F V V F
13 V V F F V V V F F V F F F V V V F
14 F V F F F F V V F F F F V F V V F
15 V F F F V F F V F F F F F V V V F
16 F F F F F F F V F F F F V F V V F
(1) (7) (2) (9) (3) (10) (4) (11) (8) (5) (12) (9) (6)

5. No es una tautología. El razonamiento no es válido para la Lógica Proposicional.

Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])

 lOMoARcPSD|44257277

2) Construya la tabla de verdad de los siguientes razonamientos y determine su validez.

Justifique su respuesta.

a) Premisa1: pq
Premisa 2: p→r
Premisa 3: q→r
Conclusión: r
(pq) Λ (p→r) Λ (q→r) → r
p q r (p  q) Λ (p → r) Λ (q → r) → r
I V V V V V V V V V V V V V V V V
II F V V F V V V F V V V V V V V V
III V F V V V F V V V V V F V V V V
IV F F V F F F F F V V F F V V V V
V V V F V V V F V F F F V F F V F
VI F V F F V V V F V F F V F F V F
VII V F F V V F F V F F F F V F V F
VIII F F F F F F F F V F F F V F V F
(1) (4) (2) (5) (3) (6)

La tabla muestra que el condicional es una tautología, por lo tanto es válida y en consecuencia
el razonamiento es válido.

Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])

 lOMoARcPSD|44257277

b) Premisa1:  (pq)
Premisa 2: r→q
Premisa 3: r
Conclusión: p
 (pq) Λ (r→q) Λ r → p
p q r  (p Λ q) Λ (r → q) Λ r →  p
I V V V F V V V F V V V F V V F V

II F V V V F F V V V V V V V V V F

III V F V F V F F F V F F F V V F V

IV F F V V F F F F V F F F V V V F

V V V F F V V V F F V V F F V F V

VI F V F V F F V V F V V F F V V F
VII V F F V V F F V F V F F F V F V
VIII F F F V F F F V F V F F F V V F
(2) (1) (4) (3) (5) (7) (6)

La tabla muestra que el condicional es una tautología, por lo tanto es válida y en consecuencia
el razonamiento es válido.
Objetivo I.6:
1) Analice las siguientes falacias. Especifique si son de atinencia o ambigüedad y clasifíquelas.
Justifique su respuesta.
a) El pastor Joel Ramos es un religioso fanático, por lo que su postura que considera
al matrimonio entre personas del mismo sexo como algo antinatural no debe ser
tomada en serio de ninguna manera.

b) Si Irán sostiene que tiene derecho a utilizar energía atómica con fines civiles,
deberá enfrentarse a las decisiones que tome la comunidad internacional. Por
consiguiente, no es conveniente que Irán utilice energía atómica con fines civiles.

c) El novio de María está loco, por eso, debe amarla locamente.

Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])