Lgica Matemtica

Historia

Se considera a Aristteles (s IV a. C.) el fundador de la lgica. Para Aristteles, la lgica era una propedutica o introduccin al saber general, pues constituye una especie de instrumento de todas las ciencias. Los estoicos, amplan el campo de la lgica considerando otras formas de razonamiento. Llaman a la lgica dialctica pasando a formar parte del trvium integrado por la gramtica, la retrica y la dialctica. En la filosofa moderna se critica el abuso que la escolstica medieval hizo de la lgica aristotlica. A partir del siglo XVIII el trmino lgica es usado por importantes filsofos, como Kant y Hegel, en un sentido que se aparta bastante de la clsica concepcin de su significado. La lgica aristotlica constituye el ncleo fundamental de la llamada lgica clsica, primer perodo en el desarrollo de la lgica que se extiende hasta el siglo XVIII. Su caracterstica ms importante es que se vali de los lenguajes naturales y, por ende, se mantuvo alejada de las matemticas.

Definicin

La regla de Doble Negacin es una regla simple que permite pasar de una premisa nica a la conclusin. Un ejemplo simple es el de una negacin de negacin, que brevemente se denomina doble negacin. Sea la proposicin:
No ocurre que Ana no es un estudiante:

Qu conclusin se puede sacar de esta premisa? Evidentemente, se puede decir:

Ana es un estudiante.

La regla de doble negacin tambin acta en sentido contrario.Por ejemplo, de la proposicin:

Juan toma el autobs para ir a la escuela.

Se puede concluir la negacin de su negacin:

No ocurre que Juan no toma el autobs para ir a la escuela.

As la regla de doble negacin tiene dos formas simblicas.

(P) (P) y (P) (P)

La abreviatura para esta regla es DN.

En los ejemplos siguientes, ; uso de la doble negacin permite demostrar una conclusin como consecuencia lgica de una premisa. a(1) R (2)R b(1) A (2) A P DN 1 P DN 1

c(1) (P & Q) (2) P& Q

P DN 1

Considrese el ejemplo que sigue en el que modus ponendo ponens, PP, y la doble negacin, DN, se utilizan para llegar a la conclusin: (1) P Q (2) P (3) Q (4) Q P P PP 1,2 DN 3

En la demostracin hay dos premisas y dos lneas derivadas. La lnea (3) se deriva de las lneas (1) y (2) por el modus ponendo ponens. La lnea (4) se deduce de la lnea (3) por la regla de la doble negacin.

Ejercicios A. Qu conclusiones se pueden sacar de cada una de las proposiciones siguientes por la doble negacin?

1. Todos los paises cerca del ecuador tienen clima calido

2. No ocurre que alfa centaury no es la estrella mas cercana a nuestro sistema solar

3.La insulina se produce en el pancreas

 4. Rusia y canada son los paises mas grandes del mundo

5.No ocurre que mongolia no tiene un sistema de gobierno socialista

En 1997 tuvo lugar una hambruna en corea del norte

No ocurre que el gugolplex no es el numero mas grande al que se le a puesto nombre

Poner la letra C junto a cada afirmacin cierta. Poner la letra F junto a cada afirmacin falsa.
1. De R se puede deducir R. 2. De S se puede deducir S. 3. De Q se puede deducir Q. 4.De D se puede deducir H

Demostrar que las conclusiones son consecuencia lgica de las premisas dadas en cada uno de los ejemplos que siguen. Dar la demostracin completa como en los ejemplos anteriores; es decir, se ha de numerar cada lnea, indicar la abreviatura de la regla usada, y los nmeros de las lneas de las que se ha deducido cada lnea en la demostracin.

1. Demostrar : T (1) S T P (2) S P (3) (4)

2. Demostrar : B (1) A (2) A B (3) (4) 3.Demostrar: G (1) H G (2) H (3) (4)

P P

P P

4.Demostrar: P v Q (1) R (P v Q) (2) R (3) (4) 5.Demostrar: N (1) M P (2) P N (3) M (4) (5) (6) 6. Demostrar : Q (1) J K & M (2) J (3) K & M Q (4) (5) (6)

P P

P P P

P P P

iCada da se aprende algo nuevo!