La lógica estudia las operaciones del pensamiento y cómo se realizan los razonamientos para determinar su validez. Aristóteles creó métodos sistemáticos para analizar y evaluar argumentos y desarrolló la lógica proposicional para establecer procedimientos que determinen la verdad o falsedad de proposiciones compuestas.

2. podemos 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.

5. EJEMPLO

8. EJEMPLO
P
~P
P^~P
P
~P
P^~P
1
0
0
V
F
F
0
1
0
F
V
F

11. EJEMPLO
P
Q
(PQ)

P
P
Q
(PQ)

P
1
1
1
1
1
V
V
V
V
V
1
0
0
1
1
V
F
F
V
V
0
1
1
0
0
F
V
V
F
F
0
0
1
0
0
F
F
V
F
F

12. BIBLIOGRAFIA
 http://www.slideshare.net/guestd1874f/tautologias-y-
contradicciones