Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Tutor:
EDGARDO ALEXANDER ESCORCIA
Curso:
LÓGICA MATEMÁTICA
Grupo:
90004_28
https://www.youtube.com/watch?v=wWl07Hm9OpM
https://www.youtube.com/watch?v=UVYVSRELnwo
Simplificación
https://www.youtube.com/watch?v=7ZVNlw7fcf0
https://www.slideshare.net/LuisLuis15/equivalencias-notables-18656148
Leyes de Morgan
https://www.slideshare.net/hxcmagb7/leyes-de-de-morgan?qid=5558c9fe-3b18-46e2-8752-
224e736f0de4&v=&b=&from_search=2
Tarea 2: Problemas de aplicación I
Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado
a través de:
Uso de las tablas de verdad.
Uso de las reglas de inferencia.
Uso del simulador Truth Table.
R//=
P1 Si a ley no fue aprobada entonces el pago de las horas extras queda como estaba
P2si el pago de las horas queda como estaba entonces no debemos trabajar más horas
extras.
P3debemos trabajar más horas extras o el proyecto se retrasa un mes .
P4 el proyecto no se retrasa un mes
Conclusión la ley no fue aprobada
Leyes de inferencia
P1: ~p q
P2: q ~r
P3: r v s
P4: ~s conclusion ~p
P5: r silogismo disyuntivo P 3,4
P6: ~p~r Silogismo Hipotetico 1,2
P7 ~q Modo Tollendo Tollen 2,5
P8 q Doble Negacion 7
P9 ~P Ponendus ponen P 1,8
( (~p→q) ^
(~p→q)^ ((r v s)
p q r s ~p ~r ~s (~p→q) (q→~r) (r v s) (q→~r) ) ^ { ( (~p→q)^ (q→~r) )^ ((r v s) ^ ~s ) }→p
(q→~r) ) ^ ~s )
((r v s) ^ ~s )
v v v v f f f v f v f f f v
v v v f f f v v f v f v f v
v v f v f v f v v v v f f v
v v f f f v v v v f v f f v
v f v v f f f v v v v f f v
v f v f f f v v v v v v v v
v f f v f v f v v v v f f v
v f f f f v v v v f v f f v
f v v v v f f v f v f f f v
f v v f v f v v f v f v f v
f v f v v v f v v v v f f v
f v f f v v v v v f v f f v
f f v v v f f f v v f f f v
f f v f v f v f v v f v f v
f f f v v v f f v v f f f v
f f f f v v v f v f f f f v
Tarea 3: Problemas de aplicación II
Expresar los siguientes enunciados en Lenguaje natural relacionada con la dinámica de la
Universidad de su rol como estudiante y demostrar la validez del argumento dado a través
de:
Uso de las tablas de verdad.
Uso de las reglas de inferencia.
Uso del simulador Truth Table.
b) [(𝑝→𝑞)∧(𝑞→𝑟)∧(𝑠∨~𝑟)∧(~𝑠∨𝑡)∧(~𝑡)]⟶~𝑝
p estudio sistemas
q estudio en la unad
r debo presentar trabajos
s saco buenas notas en exámenes
t paso el semestre
si estudio sistemas a distancia entonces estudio en la unad. Si saco buenas notas en los
exámenes o no debo presentar trabajos. saco buenas notas en los exámenes o no debo
presentar trabajos. no saco buenas notas en exámenes o paso el semestre. no paso el
semestre por lo tanto no estudio sistemas.
demostración leyes de inferencia
P1 𝑝→𝑞
2 𝑞→𝑟
3 𝑠∨~𝑟
4 ~𝑠∨𝑡
5 ~𝑡 conclusión ~𝑝
-------------------------------
6 s →t Implicacion y Disyuncion 4
7 ~s modus tollens 6,5
8 r modus tollendo ponens 3
9 q TT 2,8
11 ~q → ~ p contrapositiva en 1
12 ~ p TT 9,11
R//=
Este razonamiento es inductivo porque
P3 decide que a partir de la otra semana iría todos los viernes e invitaría
a su novia Andrea
se llega a una conclusión que puede ser verdadera o falsa dependiendo de las circunstancias
o el momento pero se llega a ella a partir del análisis de las premisas que le anteceden