lOMoARcPSD|44257277
107-TP1-CI - EJERCICIOS
Lógica (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
RESOLUCION DE EJERCICIOS
Profesora: Alumno:
Dairy García Dawning Rojas
V-19475876
Ingeniería de Sistemas: 236R
Ciudad Bolívar 02 DE AGOSTO de 2023
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
-Relación de las conectivas lógicas y el lenguaje natural.
Las conectivas lógicas son un conjunto se símbolos y palabras q se utilizan para conectar
dos formulas bien formadas. El valor de verdad de la formula compuesta depende del valor de
verdad de las fórmulas componentes.
El lenguaje natural son leguas generadas por instinto de comunicarse con una o dos
personas espontáneamente no es un lenguaje preparado.
Valor veritativo de una formula proposicional dada mediante la construcción de su
respectiva tabla de la verdad.
Si (p˄~q) →r, es falsa
P=V
Q=F
R=F
1- Sea p “Enrique escribe cartas” y sea q “Enrique escribe versos” y sea r “estudia
matemáticas”. Escribe cada uno de los siguientes enunciados de manera simbólica.
A- Enrique escribe cartas o lee versos, pero no estudia matemáticas.
(P ˅ Q) ˄ ~ R
B- Enrique escribe cartas y lee versos, o no escribe cartas y estudia matemáticas.
(P ˄ Q) ˅ (~P ˄ R)
C- No es cierto que Enrique escribe cartas, pero no estudia matemáticas.
P˄~R
D- No es cierto que Enrique estudia matemáticas o lee versos, pero no escribe cartas
(~ R ˅ Q) ˄ ~ P
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
2- Construir la tabla de verdad de las siguientes proposiciones.
A- P → (Q ˄ ~ P)
P Q ~P (Q ˄ ~ P) P → (Q ˄ ~ P)
V V F F F
V F F F F
F V V V V
F F V F V
B- {(P → ~ Q) ˄ Q} → ~ P
P Q ~Q (P → ~ Q) {(P → ~ Q) ˄ Q} ~P {(P → ~ Q) ˄ Q} → ~ P
V V F F F F V
V F V V F F V
F V F V V V V
F F V V F V V
C- {(P → Q) ˄ ~P} → P
P Q (P → Q) ~P {(P → ~ Q) ˄ Q} → ~ P {(P → Q) ˄ ~ P} → P
V V V F F V
V F F F F V
F V V V V F
F F V V V F
D- {(~ P → ~ Q) ˄ ((P ˄ Q) → (Q → P))} → ~ ~ ~ Q
P Q ~P ~Q (~ P → ~ Q) (P ˄ Q) (Q → P) ((P ˄ Q) → (Q → P))
V V F F V V V V
V F F V V F V V
F V V F F F F V
F F V V V F V V
{(~ P → ~ Q) ˄ ((P ˄ Q) → (Q → P))} { (~ P → ~ Q) ˄ ( (P ˄ Q) → (Q → P) ) } → ~ ~ ~ Q
V F
V V
F V
V V
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
3- Determina si las proposiciones son tautologías, contradicción o contingencia.
A- (~ P→ ~ R) ˅ ~ Q CONTINGENCIA
P Q R ~P ~R (~ P→ ~ R) ˅~Q (~ P→ ~ R) ˅ ~ Q
V V V F F V F V
V V F F V V F V
V F V F F V V V
V F F F V V V V
F V V V F F F F
F V F V V V F V
F F V V F F V V
F F F V V V V V
B- ~{~ (P → ~ Q) ˅ R} CONTINGENCIA
P Q R ~Q (P → ~ Q) ~ (P → ~ Q {~ (P → ~ Q) ˅ R} ~{~ (P → ~ Q) ˅ R}
V V V F F V V F
V V F F F V F V
V F V V V F F V
V F F V V F F V
F V V F V F F V
F V F F V F F V
F F V V V F F V
F F F V V F F V
C- {(~ P ˄ ~ Q) ˅ R → ~ R → P} CONTINGENCIA
P Q R ~P ~Q (~ P ˄ ~ Q)
V V V F F F
V V F F F F
V F V F V V
V F F F V V
F V V V F V
F V F V F V
F F V V V V
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
F F F V V V
(~ P ˄ ~ Q) ˅ R ~R {(~ P ˄ ~ Q) ˅ R → ~ R {(~ P ˄ ~ Q) ˅ R → ~ R → P}
V F F V
F V V V
V F F V
F V V V
V F F V
F V V F
V F F V
V V V F
D- (~ P ˄ ~ Q) → (R ˅ ~ P) TAUTOLOGIA
P Q R ~P ~Q (~ P ˄ ~ Q) (R ˅ ~ P) (~ P ˄ ~ Q) → (R ˅ ~ P)
V V V F F F V V
V V F F F F F V
V F V F V F V V
V F F F V F F V
F V V V F F V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
