lOMoARcPSD|44257277
107 TP1-27921204-2023-2
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
Universidad Nacional Abierta
Centro Local Bolívar
Oficina Guasipati
Objetivo 1.5: Resolución de Ejercicios
Nombre y Apellido: José Angel González Torres
Cedula de Identidad: 27.921.204
Asignatura: Lógica (107)
Guasipati, septiembre 2023
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
Relación entre Tautología y Verdad Lógica.
Una verdad lógica, es una formula bien formada de un lenguaje formal que es verdadero bajo
todo concepto una de sus características es que son verdades formales y necesarias, es decir que
sean formales implica que cualquier instanciación de una verdad lógica, es igual a una verdad
lógica, por tanto, es cualquier situación las verdades lógicas siguen siendo verdades lógicas.
Identifica la relación entre implicación y una equivalencia tautológica.
La idea de implicación lógica es esencial para formalizar los razonamientos deductivos y la de
equivalencia permite hacer transformaciones prácticas y sintácticas de la sentencia sin perder su
semántica.
Analiza la validez de un razonamiento empleando las tablas de verdad.
Ejemplo:
“Hoy llueve o hace mucho frio”
“Hoy llueve no hace mucho frio”
p: “Hoy llueve” ; “Hoy llueve”
q: hace mucho frio
~q: no hace mucho frio
pvq
=> pv q se usa la validez usando la tabla de la verdad.
p
( p v q )( p v q)=¿ p donde 22=4 ∴ razonamiento valido .
V V V V V V F V V
V V F V V V V V V
F V V F F F F V F
F F F F F V V V F
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
Identifica una atribución veritativa.
Es cada conjunto de asignaciones de verdad al conjunto de proporciones atómicas que forman
una formula.
El número de atribuciones veritativa de una formula con n proposiciones atómica viene dado por
la fórmula: 2n, es decir 2n=2∗2 ; 23=2∗2∗2=8
Ejemplo en la tabla siguiente de verdad de un condicional p v q son atribuciones p=¿ q las
interpretaciones.
2
p q p →q 2 =4
V V V
V F F
F V V
F F V
Ejemplifica la noción de demostración directa.
Van a ser aquellas que se puede dar el paso claro.
Ejemplo:
Demostrar que si n es par, entonces n2 es par ( n es par ) =¿ n2 es par (implicacion)
Ejemplifica la noción de demostración indirecta.
Establece la verdad de una afirmación demostrando la falsedad de la afirmación contraria.
p →q ≅ q → p se utiliza
Ejemplo:
si3 n+2 es impar=¿ n es impar
(n es par =¿ 3 n+2 es par)
n=3∗2k
3 n=6 k
3 n+2=6 k +2
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
3 n+2=2 ( 3 k +1 ) (3 k +1)=pez
3 n+2=2 p es par
Ejercicio 1: Demostrar que las siguientes expresiones son equivalentes.
( p →r )
p →( q ) ≡ ( p → q)
r
I.
3
2 =8
P → (q ^ r) ≡ (P → q) ^ (P → r)
V V V V V ≡ V V V V V V V
V F V F F ≡ V V V F V F F
V F F F V ≡ V F F F V V V
V F F F F ≡ V F F F V F F
F V V V V ≡ F V V V F V V
F V V F F ≡ F V V V F V F
F V F F V ≡ F V F V F V V
F V F F F ≡ F V F V F V F
Se comprueba que son equivalentes
r ( p→ r )
p →(q )≡( p→ q)
Es una contingencia.
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
(q →r )
II. [ ( p ˅ q ) → r ]≡( p → r)
3
2 =8
¿ ˅ q¿ → r¿ ≡ ¿ → r¿ ^ ¿ → r¿
V V V V V ≡ V V V V V V V
V V V F F ≡ V F F F V F F
V V F V V ≡ V V V V F V V
V V F F F ≡ V F F F F V F
F V V V V ≡ F V V V V V V
F V V F F ≡ F V F F V F F
F F F V V ≡ F V V V F V V
F F F F F ≡ F V F V F V F
Se comprueba que la equivalente
[ ( p ˅ q ) → r ]≡( p → r)(q →r )
(Es una contingencia).
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
III. p → ( q ˅ r ) ≡ ( p →q ) ˅(q →r )
23=8
P → ¿ ˅ r¿ ≡ ¿ → q¿ ˅ ¿ → r¿
V V V V V ≡ V V V V V V V
V V V V F ≡ V V V V V F F
V V F V V ≡ V F F V V V V
V F F F F ≡ V F F F V F F
F V V V V ≡ F V V V F V V
F V V V F ≡ F V V V F V F
F V F V V ≡ F V F V F V V
F V F F F ≡ F V F V F V F
Se comprueba que son equivalentes
p → ( q ˅ r ) ≡ ( p →q ) ˅( q →r )
(Es una contingencia).
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
q
IV. [( p ) →r ]≡ p →(q → r )
3
2 =8
¿ ^ q¿ → r¿ ≡ P → ¿ → r¿
V V V V V ≡ V V V V V
V V V F F ≡ V F V F V
V F F V V ≡ V V F V F
V F F V F ≡ V V F V F
F F V V V ≡ F V V V V
F F V V F ≡ F V V F V
F F F V V ≡ F V F V F
F F F V F ≡ F V F V F
Se comprueba que son equivalentes
q
[( p ) →r ]≡ p →(q → r )
(Es una contingencia)
Ejercicio 2: Determina la validez de los siguientes razonamientos y construye su tabla de verdad.
A) ( q ˅ s ) → t
q→r
p→ s
t→s
p→r
( q ˅ s ) → t ¿→ ( p → r )
¿ ˅ s¿ → t ¿ ¿ → r ^ ¿ → ⌒s¿ ^ ¿ → s¿ → ¿ → r¿
)
V V F V V F F V V F V F F F V V V V V V V
V V F V V V F V V V F V F V V V V V F V V
V V F V V F F V F F V F F F V V V V V F F
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
V V F V V V F V F V F V F V V V V V F V F
V V F F F F F V V F V F F F F V V V V V V
V V F F F F F V V V F V F V F V V V F V V
V V F F F F F V F F V F F F F V V V V F F
V V F F F F F V F V F V F V F V V V F V F
V V V V V V F V V F V V V F V F F V V V V
V V V V V V F V V F F V V F V F F V F V V
V V V V V V F V F F V V V F V F F V V F F
V V V V V V F V F F F V V F V F F V F V F
V V V F F F F V V V V V V V F V F V V V V
V V V F F F F V V V F V V V F V F V F V V
V V V F F F F V F V V V V V F V F V V F F
V V V F F F F V F V F V V V F V F V F V F
F F F V V V V V V F V F F F V V V V V V V
F F F V V V V V V V F V F V V V V V F V V
F F F V V V V F F F V F F F V V V V V V F
F F F V V V V F F F F V F V V V V V F V F
F F F V F F V V V V F V F V F V V V F V V
F F F V F F V F F F V F F F F V V V V F F
F F F V F F V F F F F V F V F V V V F V F
F V V V V V F V V V V V V F V F F V V V V
F V V V V V F V V F F V V F V F F V F V V
F V V V V V F V F V V V V V V V F V V F F
F V V V V V F V F V F V V V V V F V F V F
F V V F F F F V V V V V V V F V F V V V V
F V V F F F F V V V F V V V F V F V F V V
F V V F F F F V F F V V V V F V F V V F F
F V V F F F F V F F F V V V F V F V F V F
Razonamiento Valido (Tautología)
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
b) 1. p → r
2. q v p
3. r
4. q
¿ → r ¿ ¿ v p¿ ¿ r → q
v f f f v v v f v v v
v f f f f v v f v v f
v v v v v v v f f v v
v v v v f v v f f v f
f v f v v v f v v v v
f v f f f f f f v v f
f v v v v v f f f v v
f v v f f f f f f v f
Razonamiento valido (Tautologia).
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
c) q vr
s→ r
s→ p
p→ q
¿ v r) ^ (s → r) ^ ¿ → p) → ¿ → q¿
f v v f v f f f f v v v f v f
f v v f v f f f f v f v v f f
f v v v f v f v v v v v f v f
f v v f f v f F v f f v v f f
f f f f v v v v f v v v f v f
f f f f v v v v f v f v v f f
f f f f f v v v v v v v f v f
f f f f f v v f v f f v v f f
v v v f v f f f f v v v f v v
v v v f v f f f f v f v v v v
v v v v f v f v v v v v f v v
v v v f f v f f v f f v v v v
v v f v v v v v f v v v f v v
v v f v v v v v f v f v v v v
v v f v f v v v v v v v f v v
v v f f f v v f v f f v v v v
Razonamiento valido (Tautologia).
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
