LOGICA MATEMATICA

presentado por: CRISTIAN YESID RODRIGUEZ RODRIGUEZ

UNIVERSIDAD PEDAGOGICA Y TECNOLOGIA DE COLOMBIA

TUNJA2013

LOGICA MATEMATICApodemos entender la Lógica como el estudio formal de las operaciones realizadas por el pensamiento, de la forma en que realizamos razonamientos, de manera que es posible determinar la validez de los mismos. Así, la lógica es pensar y hacer explicitas los principios y las operaciones que obedece y realiza nuestro pensamiento. En respuesta a la necesidad de construir argumentos para defender o refutar pensamientos de los demás, Aristóteles, considerado por los griegos el padre de la lógica, creo métodos sistemáticos para analizar y evaluar dichos argumentos, para lo cual desarrollo la lógica proposicional estableciendo procedimientos para determinar la verdad o falsedad de proposiciones compuestas.

TAUTOLOGIA

Es una expresión lógica que es verdadera para todos los posibles valores de verdad de sus componentes.

EJEMPLO

CONTRADICCION

EJEMPLOP ~P P^~P

1 0 0

0 1 0

P ~P P^~P

V F F

F V F

CONTINGENCIA

Una proposición es una contingencia si no es ni verdadera ni  falsa independientemente de los valores de verdad de las proposiciones simples que la componen.

EJEMPLO

P Q (PQ) P

1 1 1 1 1

1 0 0 1 1

0 1 1 0 0

0 0 1 0 0

P Q (PQ) P

V V V V V

V F F V V

F V V F F

F F V F F

BIBLIOGRAFIAhttp://www.slideshare.net/guestd1874f/tautol

ogias-y-contradicciones