You are on page 1of 26

RBOLES

SEMNTICOS
LGICA
CUANTIFICACIONA

JP: Jonathan Alvarado

Nuevas Reglas para los rboles


semnticos Lgica Cuantificacional

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)

Resolucin de rboles semnticos de los ejercicios 11


y 12 (nivel 1) para observar si la inferencia es vlida
o invlida

Resolucin de rboles semnticos de


los ejercicios 13 y 14 (nivel 1) para
observar si la inferencia es vlida o
invlida. Por mi falta de tiempo no
termine de desarrollar el rbol del

Resolucin de rboles semnticos de


los ejercicios 12 y 13 (nivel 2) para
observar si la inferencia es vlida o
invlida

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)

Por favor revisen los ejercicios 10 y 11 que desarroll


el profesor Willy en clases. Adjunto el desarrollo del
ejercicio 11 (tengan en cuenta las instanciaciones de
este ejercicio). En el ejercicio 10 aparecen variantes
proposicionales de lgica proposicional (p,q, etc.) se
utilizan las mismas reglas (Por falta de tiempo ya no he
podido pasar esto)