REPBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD SIMN BOLVAR

ESTUDIOS GENERALES
DEPARTAMENTO DE FILOSOFA
INTRODUCIN A LA LGICA II
PROFESOR: Numa Tortolero
Examen Parcial
1. Defina:
Consecuencia Lgica
Verdad Lgica
Equivericidad (Equivalencia Lgica)
Teorema Lgico
(4 ptos.)
2. Aplicando la tcnica descrita en el libro Iniciacin a la Lgica de Dez Calzada (Tablas de Verdad
pp. 66-71), formalice y construya la tabla de verdad del siguiente argumento:
O la lgica es difcil o no le gusta a muchos alumnos. Si las matemticas son fciles, entonces la
lgica no es difcil. En consecuencia, si a muchos alumnos les gusta la lgica es que las
matemticas no son fciles.
(2 pts.)
3. Considerando los siguientes principios lgicos clsicos o tradicionales (algunos reglas bsicas y
otros reglas derivadas del clculo de deduccin natural) empleados en inferencias: Modus Ponens,
Modus Tollens, Tercero excluido, Reduccin al absurdo, Prueba por casos. Formalice los siguientes
argumentos y especifique cul de estos principios se ha aplicado en cada uno de los casos
(a) Aristteles naci en Estagira y fue tutor de Alejandro Magno. Pero si naci en Estagira fue
de nacionalidad macednica. Por tanto, Aristteles fue de nacionalidad macednica.
(b) Si el nmero n es positivo, entonces n al cuadrado es positivo. Si n es negativo, entonces n
al cuadrado es positivo; n es positivo o negativo. En consecuencia, n al cuadrado es positivo.
(c) El oxgeno del tubo, o bien se combin con el filamento para formar un xido, o bien se
evapor completamente. El oxgeno del tubo no puede haberse evaporado totalmente, Luego el
oxgeno del tubo se combin con el filamento para formar un xido.
Nota: para cada definicin de estos principios, se recomienda emplear las expuestas por Manuel
Garrido en el captulo Estrategias de Deduccin Natural de su libro Lgica Simblica, pp. 87-110.
(6 pts.)

4. A continuacin se especifica un razonamiento simbolizado donde se realiza una demostracin

formal. Indicar la justificacin de cada paso que no sea premisa:
[ (p q) r ], [ (q s) t ], t r
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.

(p q) r
(q s) t
t
p
q
pq
r
qr
p (q r)
(q r)
(q s)
(q s)
q s
q s
q
r

Nota: Se recomienda usar las definiciones del libro Iniciacin a la lgica de Dez Calzada, pp. 96-101
(reglas bsicas), pp. 104-106 (reglas derivadas).
(4 pts.)
5. Construya las deducciones formales relativas a:
1.
p q, p (q ~r), ~q ~r ~ q
2.
(p r) (q r) (p q) r) (Principio de composicin)
Ayuda: en estas demostraciones son muy tiles las interdefiniciones, como la definicin del condicional
por la disyuncin:
p -> q -||- ~p q,
la del disyuntor por el condicional
p q -||- ~p q,
reglas derivadas como modus tollens.:
p q, q |- p
y el silogismo disyuntivo (SD):
p q, q |- p.
(4 pts.)