La clase de hoy la hemos dedicado para corregir las actividades dictadas por el profesor en la pasada clase.
Comenzamos corrigiendo la primera premisa,a la cual salió Saulo como voluntario a la pizarra.
1. (p v s)-> r 1. (p v s)-> r pr |-------- ¬q ->r
2.s ^ t 2. s ^ t pr
---------------- 3.¬q RE^(2)
¬q -> r 4.s RI V (4)
6. RE->(1,5)
7.¬q -> r RI ->(3,6)
En esta premisa, abrimos una hipótesis en 3, que concluye en la número 6 para poder llegar a la conclusión a la que queremos llegar.
Continuamos con la segunda premisa, a la que salió Diego Llerena y se trataba de la siguiente.
1.¬q -> r pr
2.¬q ^ ¬p pr |------- t v ¬s
(¬p ^ r) -> t pr
4. ¬p RI^(2)
5.¬q RE ^(2)
6.r RE-> (1,5)
7. ¬p ^r RI^(4,6)
8.t RE->(3,7)
9. t v ¬s RI v (8)
Esta premisa trajo consigo varias dudas, las cuales todas fueron resueltas por el profesor.
Y a la última premisa salió Lucia Barra a la pizarra.
1.(p ^ s) ->t pr
2.(t ^ ¬q)-> r pr |---------r
3.p ^ ¬q pr
4.s pr
5.p RE ^(3)
6. p ^ s RI ^(4,5)
7.t RE-> (1,6)
8.¬q RE ^(3)
9. t ^ ¬q RI ^(7,8)
10.r RE->(2,9)
Y con esta terminamos de corregir las actividades.
Antes de finalizar la clase, el profesor nos explicó dos nuevas reglas de Calculo de deducción natural (CDN) que eran las siguientes.
RE v RI ¬
x v y x
x y ^ ¬y
z ___________
¬ x
y
z
____________
z
Y por último es profesor nos informó sobre las actividades situadas en la plataforma Helvia , en el apartado "Ejercicios de cálculo."
Claudia García López.
No hay comentarios:
Publicar un comentario