Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
FUNDAMENTOS DE LGICA
Unidad 1
Sesin presencial 1
3. Problemas de texto
1. Conceptos bsicos
Temario
Logro de la sesin
Expresiones:
Frase nominal
Splica
Proposicionales
no
Pregunta
Orden
Expresiones
proposicional
Expresin
Informacin
sobre un hecho
CONCEPTOS BSICOS
Si
No
Ejemplos:
Tipos de Proposiciones
No
No
Proposicin
SI
ENTONCES
CONDICIONAL
DISYUNCIN INCLUSIVA
(DEBIL)
CONJUNCIN
NO
NEGADOR
Significado
Smbolo
Termino
Operador
Conectivos lgicos
CONDICIONAL
CONJUNCIN
poq
p a menos que q.
p salvo que q.
p excepto q
NEGACIN
p entonces q.
p por lo tanto q.
p es suficiente para q.
q si p.
q porque p.
p y q.
p pero q.
p aunque q.
p sin embargo q.
No p.
Es falso que p.
Es absurdo que p.
poq
pq
p q
ap
p
ap
pq
pq
poq
Formalizacin
poq#aqoap
1.
Proposiciones
Voy a estudiar matemticas.
Ejemplos
a (p q) # a p a q
2.
Proposicin equivalente:
Formalizacin :
Proposiciones simples:
proposicin :
a(p q) # a p a q
3.
Proposicin equivalente
Formalizacin :
Proposiciones simples:
proposicin :
Si los impuestos no
aumentan, entonces el poder
adquisitivo de las personas no
sufre cambios. Sucede que los
impuestos no aumentan. Luego
el poder adquisitivo de las
personas no sufre cambios.
Proposicin equivalente
Formalizacin :
Proposiciones simples:
siguiente proposicin:
Definicin:
INFERENCIA LGICA
Reglas de inferencia
REGLA DE INFERENCIA:
MODUS PONENS
p2 : p
q
p1 : p o q
p2 : p
.
c : q
Formalizacin:
p : Ahorro
q : Progreso
Proposiciones
Simples
Esquema
Vertical
Ejemplo 1:
CONCLUSIN
PREMISAS
p1 : p o q
p : ..............................
q : ..............................
Proposiciones
Simples
REGLA DE INFERENCIA:
SILOGISMO DISYUNTIVO
p1 : .......................
p2 :
.
c :
Respuesta: El argumento es______.
Formalizacin:
p1 : ..............................
p2 : ..............................
c : ..............................
Esquema
Vertical
Ejemplo 2:
El argumento es vlido.
p1 : p q
p2 : ap
.
c : q
Formalizacin:
Respuesta:
p : Estudio ingls
q : Estudio francs
Proposiciones
Simples
CONCLUSIN
p1 : p q
p2 : aq
PREMISAS
p2 : ap
Ejemplo 1:
CONCLUSIN
PREMISAS
p1 : p q
p : ..............................
q : ..............................
p1 : .......................
p2 :
.
c :
Proposiciones
Simples
Formalizacin:
REGLA DE INFERENCIA:
PROBLEMAS DE TEXTO
p1 : ..............................
p2 : ..............................
c : ..............................
Esquema
Vertical
Ejemplo 2:
: ..............................
: ..............................
p1 : .......................
p2 :
.
c :
p
q
p1 : ..............................
p2 : ..............................
c : ..............................
p : ..............................
q : ..............................
p1 : .......................
p2 :
.
c : q
Esquema
Vertical
Proposiciones
Simples
Formalizacin:
El argumento es:
p1 : ..............................
p2 : ..............................
c : ..............................
Ejercicio 2
El argumento es:
Formalizacin:
Proposiciones Simples
Esquema
Vertical
Ejercicios:
p1 : .......................
p2 :
.
c :
p : ..............................
q : ..............................
p1 : ..............................
p2 : ..............................
p1 : .......................
p2 :
.
c :
Formalizacin:
Redactar conclusin:
p : ..............................
q : ..............................
p1 : ..............................
p2 : ..............................
Proposiciones
Simples
Esquema
Vertical
Redactar conclusin:
Formalizacin:
Proposiciones
Simples
Esquema
Vertical
Ejercicios
p1 : .......................
.
p2 :
.
c :
Formalizacin:
No te
p1 : .......................
p2 :
.
c :
Formalizacin:
Redactar conclusin:
p : ..............................
q : ..............................
p1 : ..............................
p2 : ..............................
Proposiciones
Simples
Esquema
Vertical
Redactar conclusin:
p : ..............................
q : ..............................
Proposiciones
Simples
Esquema
Vertical
p1 : ..............................
p2 : ..............................
p : ..............................
q : ..............................
p1 : .......................
p2 :
.
c :
Proposiciones
Simples
Formalizacin:
Redactar conclusin:
Formalizacin:
Proposiciones
Simples
Esquema
Vertical
p1 : .......................
p2 :
.
c :
p : ..............................
q : ..............................
p1 : ..............................
p2 : ..............................
c : ..............................
Redactar conclusin:
p1 : ..............................
p2 : ..............................
Esquema
Vertical
Conclusiones
CONCLUSIONES
aq
?p
ap
?q
pq
pq
Silogismo
disyuntivo
Bibliografa
p
?q
poq
Modus Ponens
Conclusiones
Preguntas
NEGACIN
Termino
Smbolo
Significado
NO
CONJUNCIN
DISYUNCIN
INCLUSIVA (DBIL)
SI
CONDICIONAL
ENTONCES
Lenguaje natural
NEGACIN
No p.
Es falso que p.
Es absurdo que p.
DISYUNCIN
INCLUYENTE
poq
p a menos que q.
p salvo que q.
p excepto q.
CONJUNCIN
p y q.
p pero q.
p aunque q.
p sin embargo q.
CONDICIONAL
p entonces q.
p por lo tanto q.
p es suficiente para q.
q si p.
q porque p.
Representacin
Proposiciones simples
Formalizacin
1.
pqqp
Formalizacin:
Proposicin equivalente:
Redaccin:
Formalizacin:
Proposicin equivalente:
Redaccin:
(p q) p q
2.
Formalizacin:
Proposicin equivalente:
Redaccin:
Ejemplo 2: Simbolice y redacte, la equivalencia de la siguiente proposicin:
No es cierto que el ingreso futuro esperado aumenta y la demanda tambin aumenta
Proposiciones simples:
p:
q:
Formalizacin:
Proposicin equivalente:
Redaccin:
3.
(p q) p q
p1
: pq
p2
: p
PREMISAS
CONCLUSIN
Ejemplo1:
Si ahorro entonces progreso econmicamente. Sucede que ahorro. Luego,
progreso econmicamente
Esquema vertical
Premisas:
Proposiciones simples:
Formalizacin:
Respuesta:
Ejemplo 2:
Proposiciones simples:
Formalizacin:
Respuesta:
SILOGISMO DISYUNTIVO (SD)
p1
p1 : p q
: pq
PREMISAS
PREMISAS
p2
CONCLUSIN
: p
q
CONCLUSIN
p2 : q
Ejemplos:
No estudio ingls.
Luego, estudio
Premisas:
Conclusin:
Proposiciones simples:
Formalizacin:
Respuesta:
Conclusin:
Proposiciones simples:
Formalizacin:
Respuesta:
Ejercicios:
Determine la validez de las siguientes conclusiones:
Ejercicios
Construya la estructura de los siguientes argumentos y llegue a una conclusin:
1. Si ganan el partido, se
clasifican. Hoy ganaron el
partido. En consecuencia,
5. Si apruebo el curso de
Matemtica Bsica, mi novia
me invita una cena en la
Rosa Nutica. Sucede que
apruebo el curso.
10
Logro de la sesin
FUNDAMENTOS DE LGICA
Unidad 1
Material de trabajo autnomo 1
Problemas de texto
Temario
Recursos necesarios
RESPUESTA
A. 1 y 2
B. 1 y 3
C. 2 y 3
D. 1 y 4
Ejercicio 1
Contina trabajando.
Felicitaciones!
Respuesta errada
p
?q
poq
Respuesta errada
Respuesta:
Por lo tanto
Cul es t conclusin?
Ejercicio 2
A. Ahorro en euros
B. Ahorro en dlares
C. No ahorro en dlares
Respuestas:
Luego,
No ahorro en soles.
Cul es t conclusin?
Ejercicio 3
Contina trabajando
Felicitaciones!
Contina trabajando
Felicitaciones!
ap
?q
pvq
Respuesta errada
Por lo tanto...
Caso
REGLA DE INFERENCIA:
MODUS TOLLENS
Por lo tanto...
aq
?ap
poq
p1: p o q
p2: aq
Lenguaje simblico:
p: Los costos disminuyen.
q: Las utilidades se maximizan.
ii.
Ejemplo 2
p2 : a q
ap
Identificamos premisas:
p1: Si los costos disminuyen, las utilidades se maximizan.
p2: Las utilidades no se maximizan.
i.
Solucin
Ejemplo 1
Ejemplo 1
CONCLUSIN
PREMISAS
p1 : p o q
Por lo tanto
Ejemplo 3
p1: p o q
poq
p2: ap
c : aq
aq
iii. Comparamos si la estructura planteada en ii.
?ap
cumple con la regla de inferencia de Modus
Tollens u otras reglas vistas.
iv. Al no satisfacer las reglas vistas, concluimos que el argumento
no es vlido.
i.
Solucin
Ejemplo 2
aq
?ap
Recuerda que
p1: p o q
p2: aq
poq
Identificamos premisas:
p1: No compr los productos pues los precios estaban muy altos.
p2: Compr los productos.
i.
Solucin
Ejemplo 3
Ejercicios
Reflexiona un momento
Solucin
Ejercicios
Identificamos premisas:
p1: Si es mayor de edad, tiene permiso de conducir.
p2: No tiene derecho de conducir.
aq
?ap
poq
p1: p o q
p2: ap
c : aq
iii. Comparamos si la estructura planteada cumple
con las premisas de la regla de inferencia de
Modus Tollens u otras reglas vistas.
?ap
poq
aq
i.
Resolviendo
Solucin 2
p1: p o q
p2: aq
aq
REGLA DE INFERENCIA:
SILOGISMO HIPOTTICO PURO
p1: p o q
p2: aq
poq
Identificamos premisas:
p1: Subi el precio de las frutas, porque subi el precio de la
gasolina.
p2: No subi el precio de las frutas.
i.
Resolviendo
Resolviendo
i.
Solucin 3
Solucin 1
el
CONCLUSIN
PREMISAS
qor
por
poq
En un programa periodstico
comentarista expres lo siguiente:
Caso
poq
qor
?por
iv. Al satisfacer la regla, se concluye p o r, es decir: Si las acciones
aumentan en un 4% entonces la utilidad anual aumentar en un 1%.
p1: p o q
p2: q o r
iii. Comparamos si la estructura planteada cumple con las
premisas de la regla de inferencia Silogismo Hipottico Puro.
Identificamos premisas:
p1: Si las acciones aumentan en un 4%, entonces los sueldos aumentan
en un 2%.
p2: Si los sueldos aumentan en un 2%, entonces la utilidad anual
aumentar en un 1%.
ii. Lenguaje simblico:
p: Las acciones aumentan en un 4%.
q: Los sueldos suben en un 2%.
r : La utilidad anual aumentar en un 1%.
i.
Solucin
Ejemplo 1
Ejemplo 1
poq
p1: p o q
p2: q o r .
qor
c: rop
?por
iii. Comparamos si la estructura planteada cumple con la
regla de inferencia de Silogismo Hipottico Puro u
otras reglas vistas.
iv. Al no satisfacer la regla, se concluye que el argumento es invlido.
i.
Solucin
Ejemplo 2
Ejemplo 2
Reflexiona un momento
Recuerda que
Ejercicios
Ejercicios
qor
?por
iv. Luego por la regla, se concluye p o r , por lo tanto: Si la demanda crece
entonces se requieren ms obreros.
p1: p o q
p2: q o r
poq
Identificamos premisas:
p1: Si la demanda crece entonces las compaas se expanden.
p2: Las compaas se expanden entonces se requieren ms obreros.
ii. Lenguaje simblico:
p: La demanda crece.
q: Las compaas se expanden.
r : Se requieren ms obreros.
i.
Resolviendo
Solucin 1
Solucin
Resolviendo
poq
aq
?ap
poq
Modus tollens
Conclusiones
qo r
? po r
poq
Silogismo
hipottico puro
p1: p o q
p2: q o r .
qor
c : p o ar
?por
iii. Comparamos si la estructura planteada cumple con la regla
de inferencia de Silogismo Hipottico Puro u otras reglas
vistas.
iv. Al no satisfacer la regla, se concluye que el argumento es invlido.
i.
Solucin 2
Bibliografa
Es importante identificar
correctamente las proposiciones
antecedente y consecuente
Conclusiones
Preguntas
10. Garca Mrquez fue un gran escritor colombiano y gan el premio Nobel de Literatura; por lo
tanto, es uno de los mejores escritores del mundo.
Inferencia Lgica:
Proposiciones equivalentes
11.
p:
q:
Texto equivalente: ..
12.
p:
q:
Texto equivalente: ..
Reglas de inferencia
13. Redacte la conclusin, si es que se puede.
Si el Per tiene un crecimiento econmico, entonces habr mayor produccin de bienes y
servicios. No ocurre mayor produccin de bienes y servicios. Se puede inferir que..
Identifique las proposiciones simples
p:
q:
p:
q:
r:
Lenguaje simblico y conclusin simblica
p:
q:
Lenguaje simblico
Conclusin del argumento
18. El ndice de natalidad disminuye porque hay una situacin de crisis econmica en el Per. Pero el
ndice de natalidad no disminuye. En consecuencia
Identificacin de proposiciones simples
Lenguaje simblico
Conclusin del argumento
19. Se incrementa la demanda, si aumenta el sueldo. Si se incrementa la demanda, suben los precios.
En consecuencia,
Identificacin de proposiciones simples
Lenguaje simblico
Conclusin del argumento
20. Si se elevan los impuestos, habr dficit. Habr desocupacin si hay dficit.
Por consiguiente, habr desocupacin, si se elevan los impuestos
Identificacin de proposiciones simples
Lenguaje simblico
Conclusin del argumento
21. Sube el precio del pan porque sube el precio de la gasolina. Si sube el precio del pan, el gobierno
no podr controlar la inflacin.
Identificacin de proposiciones simples
Lenguaje simblico
Conclusin del argumento
Determine si el argumento es o no vlido.
22. Si suben los salarios, entonces suben los precios. Si suben los precios, entonces baja el poder
adquisitivo de la moneda. La verdad es que suben los salarios, por consecuencia baja el poder
adquisitivo de la moneda.
Identificacin de proposiciones simples
Lenguaje simblico
Validez del argumento
23. Si no hay un control de nacimientos, entonces la poblacin crece ilimitadamente. Pero si la
poblacin crece ilimitadamente, aumentar el ndice de pobreza. Por consiguiente, si no hay
control de nacimientos, aumentar el ndice de pobreza.
Identificacin de proposiciones simples
Lenguaje simblico
Validez del argumento
24. Si la demanda crece entonces las compaas se expanden. Si las compaas se expanden
entonces contratan trabajadores. Por lo tanto, Si la demanda crece entonces las compaas
contratan trabajadores.
Identificacin de proposiciones simples
Lenguaje simblico
Validez del argumento
25. Elmer estudi en Lima o en Trujillo. Pero Elmer, no estudi en Lima. entonces, Elmer no
estudi en Trujillo.
Identificacin de proposiciones simples
Lenguaje simblico
Validez del argumento
Lenguaje simblico
Validez del argumento
27. Ivn estudia salvo que trabaje. Pero Ivn trabaja. Por lo tanto, Ivn no estudia.
Identificacin de proposiciones simples
Lenguaje simblico
Validez del argumento
NEGACIN
No p.
Es falso que p.
Es absurdo que p.
DISYUNCIN
INCLUYENTE
poq
p a menos que q.
p salvo que q.
p excepto q.
pq
CONJUNCIN
CONDICIONAL
p y q.
p pero q.
p q
p entonces q.
p luego q.
q si p.
q porque p.
pq
RESPUESTAS:
01.
02.
03.
04.
05.
06.
07.
08.
09.
10.
11.
12.
a, c, g, i , j, m, n, r y s.
d
c
p q
~(~pq).
p q.
(p q) r
p q.
(p q) r
(p q) r
El ingreso futuro esperado no aumenta o la demanda no aumenta.
Mejora el sistema educativo o no hay crecimiento sostenible a largo plazo.
Invlida.
Invlida.
Vlida.
ii.
Pg. 1
ii.
ii.
Pg. 2
ii.
ii.
Pg. 3
ii.
7. El ndice de natalidad disminuye porque hay una situacin de crisis econmica en el Per.
Pero el ndice de natalidad no disminuye. En consecuencia
i. Identifica las proposiciones simples
P:
Q:
ii.
Regla de inferencia
i.
Pg. 4
ii.
Respuestas
Pregunta: 1
Pregunta: 2
pases latinoamericanos.
Pregunta: 3
Pregunta: 4
Juan no trabaja.
Pregunta: 5
Pregunta: 6
Pregunta: 8
Inferencia valida.
en el Per.
UPC, 2015
Pg. 5