ASIGNATURA: LÓGICA
Carácter científico de la lógica
VERDAD FORMAL
Semana 11
LABORATORIO
Trujillo-Piura
2022
N°
INTEGRANTES
En la escala el coordinador(a) valora el nivel de
aporte y compromiso de cada integrante en el
desarrollo del trabajo
2
3
4
5
6
7
8
9
10
1
2
3
4
5
6
7
*Al final adjuntar evidencia de interacción en sala.
DOCENTES: Mg. Juan Alfredo Díaz Hoyos /
1
ASIGNATURA: LÓGICA
ACTIVIDADES APLICATIVAS
1. Hallar el valor de “VERDAD” de los siguientes esquemas lógicos- (resalta de
celeste el resultado final).
a)
(p q) (r p)
p, q, r
p
q
r
V
V
V
(p
q)
(r
p)
V
V
V
V
V
V
V
F
V
V
F
V
V
V
F
V
F
F
V
V
V
V
F
F
F
F
F
V
V
F
V
V
F
F
V
V
F
F
V
F
F
V
F
F
F
F
F
V
F
F
V
V
F
F
F
F
F
V
F
F
F
N° DE ARREGLOS: ---8---
TIPOS DE ESQUEMA: ---Contingente---
p (q r) (q r) p
b) p, q, r
N° DE ARREGLOS: ---8--
p
q
r
p
(q r) (q r)
p
V
V
V
V
V
V
F
V
F
F
F
V
V
V
F
V
V
V
V
V
V
V
V
V
V
F
V
V
F
F
F
F
V
F
V
V
V
F
F
V
F
F
F
F
V
V
V
V
F
V
V
F
V
F
V
V
F
F
V
F
F
V
F
F
V
F
F
V
V
V
F
F
F
F
V
F
V
F
F
F
V
F
F
F
F
F
F
F
V
F
F
F
V
V
F
F
DOCENTES: Mg. Juan Alfredo Díaz Hoyos /
TIPOS DE ESQUEMA: -----------contingente-----
2
ASIGNATURA: LÓGICA
c) ¿Qué formulas resultan ser tautológicas? (aplique procedimiento)
[(p - q) & p ] q
[(p & q) = (p - q) -(p v q) = ( p q)
P = - (-p)
P
q
[(p
- q) & p ]
q
V
V
V
F
F
F
V
F
V
V
F
V
V
V
V
V
V
F
F
V
F
V
F
F
F
F
V
F
F
F
V
V
F
F
F
F
Tipo de esquema: contingente
Tipo de esquema:
P
q
[(p
&
q)
=
(p
Tipo de esquema:
Tipo de esquema:
DOCENTES: Mg. Juan Alfredo Díaz Hoyos /
3
ASIGNATURA: LÓGICA
d) Hallar el valor de verdad de: {(p q) & [q(r & - s)]} [p(r v s)]
2.
Desarrolle los siguientes ejercicios:
1. La función de verdad principal de la fórmula: - [(-p/ - q)
a) VVVV
b) FFFF
c) VFFF
d) VVFF
-p]
e) VFFV
2. De los siguientes esquemas formales:
a) (p - r) v - ( s = - q )
b) – q / [(p - s )
-r]
¿Cuál (es) tiene(n) matriz principal tautológica?
Procedimento:
DOCENTES: Mg. Juan Alfredo Díaz Hoyos /
4
ASIGNATURA: LÓGICA
DOCENTES: Mg. Juan Alfredo Díaz Hoyos /
5
ASIGNATURA: LÓGICA
3. Al hacer la tabla de verdade de la siguiente proposición: “Ramiro va al centro
comercial o sale de casa; por lo tanto sale de casa o va al centro comercial”
FORMULA:
Se obtienen:
a) Cuatro
falsedades
b) Cuatro verdades
c) Dos verdades,
dos falsedades
d) Una falsedad y
tres verdades
e) Tres falsedades y
una verdad.
4. El esquema formal: (q - p ) - ( - q p)
Se caracteriza:
a) No es tautológico
b) No es contingente
c) No es
contradictorio
d) Tiene un valor “V”
e) Tiene al menos
um valor “F”
Son ciertas: A) a,b,e B) a,c,d C) b,d,e D) a,c,e E) solo b,d
DOCENTES: Mg. Juan Alfredo Díaz Hoyos /
6
ASIGNATURA: LÓGICA
5. Dadas las proposiciones:
p: El concepto es una forma del pensamiento.
q: El término es la expresión del juicio.
r: La proposición es la explicitación del razonamiento.
HALLAR EL VALOR DE VERDAD DE LOS ESQUEMAS:
a) P - q v r
b) (P -r ) v –q
c) (P / q) r (-q v p)
6. Al hacer la tabla de verdad de la proposición: “si tomas desayuno y haces deporte
entonces no es cierto que no haces deporte.” Se obtiene:
A) Cuatro falsedades
B) Cuatro verdades
C) Dos falsedades y dos verdades
D) Tres falsedades y una verdad.
7. Luego de construir la tabla de verdad para la siguiente proposición: “Arturo saluda a su
familia al igual que agradece su visita. Por lo tanto es incorrecto decir que Arturo no
agradece su visita.” Vemos que su matriz final es de tipo:
a) Inconsistente
b) Contingente
c) Contradictoria
d) Tautológica
e) Ninguna
DOCENTES: Mg. Juan Alfredo Díaz Hoyos /
7
ASIGNATURA: LÓGICA
8. El siguiente esquema formal. (q - p) - (- q - p) se caracteriza:
a) No es tautológico
b) No es contingente
c) No es contradictorio
d) Tiene un valor “1”
e) Tiene al menos un valor “0”
DOCENTES: Mg. Juan Alfredo Díaz Hoyos /
8
