AYALA ALCANTAR ALLAN DAVID GRUPO: 0004 Lgica 2 Anlisis de argumento

Divisin en premisas y conclusin Premisa: Son verdades todas las cosas que concebimos muy clara y distintamente. Premisa: Esto que concibo est garantizado a causa de que Dios existe, que es un ente perfecto y que todo cuanto hay en nosotros viene de l. Conclusin: Por lo tanto, nuestras ideas o nociones, siendo cosas reales y que vienen de Dios en todo cuanto son claras y distintas no pueden ser sino verdaderas. Fuente: Descartes, R. (2002). Discurso del mtodo. Losada: Argentina, Pg. 90.

Par frasis Premisa: Todas las cosas que concibo clara y distintamente son verdaderas. Premisa implcita: Dios existe, es un ente perfecto y todo lo que concibo viene de Dios, entonces todas las cosas que concibo son claras y distintas. Premisa: Todas las cosas que concibo vienen de Dios, Dios existe y es un ente perfecto Conclusin: Todas las cosas que concibo son verdaderas

Formalizacin Diccionario: P(x): X es claro P(x): X es distinta P(x): x es verdadera P(x): x existe P(x): x es un ente perfecto R2 (xy): x viene de y R2: x concibe y a: Allan d: Dios

1. x (R2 2. (a,x)p(x) p(x))p (x)) 3. (p(d) p(d)) x ((R2(a, x) R2 (x, d))) x(R2(a,x) p(x) (p(x)). 4. x((R2(a,x) R2(x,d)) (P(d) P(d)) / x (R2(a, x)P(x))

Deduccin natural.