Professional Documents
Culture Documents
SEMNTICOS
LGICA
CUANTIFICACIONA
SUGERENCIAS PARA
DESARROLLAR LOS
RBOLES SEMNTICOS EN
LGICA
CUANTIFICACIONAL
SIMBOLIZAR Y
EXAMINAR SI LA
INFERENCIA ES VLIDA
1. Todos los departamentos del Per tienen por lo
menos un congresista, pero no todos ellos reciben
canon por actividad extractiva. El departamento ms
extenso es Loreto y el ms poblado es Piura, y ambos
reciben canon por actividad extractiva. Por lo tanto, es
falso que ningn departamento reciba canon por
actividad extractiva.
2. Ningn ser humano cree que Alan Garca sea
honesto, si es que es sensato. Sin embargo, Alan
Garca cree que es honesto. Por lo tanto, Alan Garca o
no es sensato o no es un ser humano.
3. Alguno de los alumnos no trajo su cartuchera.
Nuestra aula de clases tiene tres alumnos. Juan y Mara
trajeron su cartuchera. Por lo tanto, Pedro no trajo su
cartuchera.
SIMBOLIZAR Y
EXAMINAR SI LA
INFERENCIA ES VLIDA
12. Ya que son muchos los ciudadanos que rechazan la
pena de muerte, el presidente considera no aprobar ley
alguna si es la voluntad del pueblo peruano.
13. Los filsofos y cientficos no son de los que creen en
relativismos, dado que, de ser ello el caso, estaran
imposibilitados de plantear teora sobre, la cual
constituye su finalidad.
11. Todas las universidades o bien son privadas o
estatales. Adems existen universidades privadas que
no ofrecen la carrera de filosofa, as como universidades
estatales que s la ofrecen. Por lo tanto, dado que en la
PUCP existe la carrera de filosofa, es absolutamente
cierto que o bien es estatal o bien no es universidad.
RESOLUCIN
3. (nivel 2)
Ax= x es alumno
Tx= x trajo su cartuchera
Cx= x es nuestra aula de clases
Rx= x tiene tres alumnos
a= Juan
b= Mara
c= Pedro
RESOLUCIN
12. (nivel 2)
Cx= x es ciudadano
Rx=x rechaza la pena de muerte
Ax= x considera no aprobar ley alguna si es la
voluntad del pueblo peruano
Px= x es el presidente
RESOLUCIN
13. (nivel 2)
Fx= x es filsofo
Cx= x es cientfico
Rx= x cree en relativismos
Ix= x est imposibilitado de plantear teoras sobre la
realidad, la cual constituye su finalidad.
EJERCICIOS 2
11. (nivel 1)Ningn fascista que sea autoritario ser
elegido en este pas. Todos los gobernantes sern
elegidos en este pas, nicamente si son inteligentes.
En consecuencia, como Mateo es gobernante e
inteligente, entonces algunos no son fascistas y
autoritarios.
12. (nivel 1)Toda persona que no respeta el orden de
una fila cometa un acto inmoral. Todo aquel que acta
inmoralmente merece una pena privativa de la
libertad. Enrique no respeto su turno en la fila. Por lo
tanto, cometi un acto inmoral y merece una pena
privativa de su libertad.
EJERCICIOS DE LA
ASESORA 13.06.15
13. (nivel1) Cualquier nio hurfano puede encontrar
una buena familia adoptante, pero Andrs es un nio
hurfano y no tiene una familia adoptante. Por lo que
no todos los nios hurfanos pueden ser felices.
14. (nivel1)Todos los autores de novelas son escritores.
Pero algunos escritores no saben escribir bien. Por lo
tanto, si Lucas sabe escribir bien, entonces no es autor
de novelas.
RESOLUCIN
11. (nivel 1)
Fx= x es fascista
Ax= x es autoritario
Ex= x es elegido en este pas
Ix= x es inteligente
a= Mateo
RESOLUCIN
12. (nivel 1)
Px= x es persona
Rx= x respeta el orden de la fila
Ix= x realiza un acto inmoral
Mx= x merece una pena privativa de su libertad
a=Enrique
RESOLUCIN
13. (nivel1)
Nx= x es nio
Hx= x es hurfano
Px= x puede encontrar una familia adoptante
Tx= x tiene una familia adoptante
a= Andrs
RESOLUCIN
14. (nivel 1)
Ax= x es autor de novelas
Ex= x es escritor
Sx= x sabe escribir bien
a= Lucas
Forma de
Instanciacin
Existencial (IE)
Incorrecta
Forma de
Instanciacin
Existencial (IE)
Correcta
Forma Incorrecta de
Instanciacin Existencial (IE)
Forma correcta de
Instanciacin
Existencial (IE) y
desarrollo del rbol
del ejercicio 11 (nivel
2)
EJERCICIO DE RBOL
SEMNTICO
Ejercicio 24 de rboles
semnticos. La frmula
es tautolgica?
SUGERENCIAS
1.
Recuerden que la Instanciacin Existencial tiene
restricciones no se puede instanciar por una constante que
aparezca antes (Ejemplos: Diapositivas 16,17 y 18)
2. Siempre que tengan una frmula con el cuantificador
como el operador de mayor jerarqua y esta es falsa. Deben
transformar esa frmula a verdadera mediante CN(Negacin
del Cuantificador). Ejemplos:
3. Cuando la frmula con el cuantificador como el operador
de mayor jerarqua es verdadera, se sugiere instanciar ya
sea: a) Instanciacin Universal (Cuantificador Universal sin
restricciones) b) Instanciacin Existencial (Cuantificador
Existencial con restricciones)