 ¿QUÉ ES LÓGICA?

o Es una ciencia formal que estudia

principios de la demostración y la
inferencia válida.
o La inferencia: Es el proceso por el
cual se derivan conclusiones a
partir de premisas.

 ETIMOLOGÍA:

 HISTORIA:

 TIPOS DE LOGICA
1. FORMAL

2. DIALECTICA

 LOS PRINCIPIOS LÓGICOS: Es el punto

de partida de todas las ciencias
1. IDENTIDAD

2. DE NO CONTRADICCIÓN

3. PRINCIPIO DE EXCLUSIÓN
DEL TÉRMINO MEDIO

4. PRINCIPIO DE RAZÓN
SUFICIENTE

 REGLAS DE INFERENCIA
1. ADICIÓN (ADI)
2. MODUS PONENDO PONENS 9. DILEMA CONSTRUCTIVO
(MPP) (DC)

3. MODUS TOLLENDO
TOLLENS(MTT) 10. CONTRADICCIÓN

11. DOBLE NEGACIÓN (DN)

4. SILOGISMO HIPOTÉTICO
(SH)

12. DEMOSTRACIÓN
CONDICIONAL

5. MODUS TOLLENDO PONENS

(MTP) / SILOGISMO
DISYUNTIVO
13. DEMOSTRACIÓN POR CASOS

6. SIMPLIFICACIÓN
CONJUNTIVA

7. ADJUNCION

8. DILEMA DESTRUCTIVO (DD)

14. REGLA DE RESOLUCIÓN
OJO:
Las representaciones
de los sgts símbolos:
+ es igual a decir v
* es igual a decir ^
 LEYES DE EQUIVALENCIAS LÓGICAS
1. IMPLICACIÓN Y DISYUNCIÓN (ID)

2. DOBLE NEGACIÓN (DN)

3. DE MORGAN (DM)

4. CONTRAPOSITIVA O CONTRARRECIPROCA

5. EXCLUSIÓN DEL TÉRMINO MEDIO

6. CONTRADICCIÓN

7. IDENTIDAD

8. DOMINACIÓN
9. IDEMPOTENCIA

10. CONMUTATIVAS

11. ASOCIATIVAS

12. DISTRIBUTIVAS

13. COIMPLICACIÓN
PROPOSICIONES
 PROPIEDADES
1. Son juicios aseverativos o declarativos que se
caracterizan por ser verdaderas o falsas pero
no ambas.
2. Poseen sujeto verbo y predicado

o CUALIDAD: es la calidad que poseen las oraciones

afirmativas o negativas

1. AFIRMATIVAS
Enuncian afirmativamente una característica del
objeto-sujeto

2. NEGATIVAS
Cuando se rechaza o niega una característica del
objeto - sujeto

o CANTIDAD: son universales o particulares

1. UNIVERSALES : el predicado abarca toda su

extensión del sujeto
 TODO
 NINGUN
2. PARTICULARES: el sujeto es considerado en
parte de su extensión , o el predicado se atribuye
una parte de la extensión
 ALGÚN
 ALGUNOS

 CLASIFICACIÓN
o SIMPLES : también llamadas atómicas, son aquellas
oraciones q carecen de conectores lógicos

1. PREDICATIVAS: atribuyen o afirman una

cualidad o circunstancia de un objeto o sujeto

Eje. La psicología es una ciencia social

2. RELACIONALES : aquellas que establecen

una relación entre 2 sujetos o objetos

Eje. Henry escribe a Shirley

o COMPUESTAS: o llamadas moleculares o
coligativas; están constituidas por más de 2
preposiciones simples

1. CONJUNTIVAS

2. DISYUNTIVAS

3. CONDICIONALES

4. BICONDICIONALES

5. NEGATIVAS

6. DISYUNCIÓN EXCLUSIVA O D
F
V
V
F