La lógica

• Concepto
• Lógica matemática
• Lógica aristotélica
definición

 Lógica es una ciencia formal que estudia la estructura o formas del pensamiento humano
(como proposiciones, conceptos y razonamientos) para establecer leyes y principios
válidos para obtener criterios de verdad.

 Lógica es ciencia que se basa las leyes, modalidades y formas de conocimiento científico.
se trata de una ciencia de conocimiento formal que carece de contenido ya que hace foco en
el estudio de las alternativas validas d inferencia. es decir, propone estudiar los métodos y
los principios adecuados para identificar el razonamiento correcto frente al que no lo es.
 La lógica es una ciencia formal destinada a estudiar los principios capaces de
demostrar un punto determinado desde una perspectiva válida, cimentada en la
razón, el intelectualismo, la dialéctica y la capacidad de argumentación.

 Lógica viene de logos, que, en griego remite a la palabra, al pensamiento, a la idea y

principalmente al racionalismo. para efectuar una estructura lógica se considera
excluyente remitirse al empirismo, aunque esto no quiere decir que la lógica sea una
ciencia empírica, sino una ciencia formal, como la matemática.
 Las expresiones de las que depende la validez de los argumentos se llaman
constantes lógicas y la lógica las estudia mediante sistemas formales. dentro de
cada sistema formal, la relación de consecuencia lógica se puede definir de
manera precisa, generalmente por medio de teoría de modelos o por medio
de teoría de demostración.
Lógica matemática

 La lógica proposicional es la rama de la lógica que estudia las variables

proposicionales, las conectivas lógicas. algunos autores también la identifican
con la lógica matemática o la lógica simbólica, ya que utiliza una serie de
símbolos especiales que la acercan al lenguaje matemático. las proposiciones
pueden ser verdaderas o falsas.
 La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica
formal, o logística, es parte tanto de la lógica como de la matemática, y consiste en el
estudio matemático de la lógica, y en la aplicación de dicho estudio a otras áreas de la
matemática y de las ciencias.

 Estudia los sistemas formales en relación con el modo en el que codifican

o definen nociones intuitivas de objetos matemáticos como conjuntos,
números, demostraciones, y algoritmos, utilizando un lenguaje formal.
 La lógica matemática se suele dividir en cuatro sub campos: teoría de modelos, teoría
de la demostración, teoría de conjuntos y teoría de la recursión. la investigación en
lógica matemática ha jugado un papel fundamental en el estudio de las matemáticas.

 La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de la

lógica». incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas
matemáticamente.
Lógica aristotélica

 Es la lógica que se basa en los estudios de Aristóteles, filósofo griego del siglo IV a.c. La lógica
aristotélica utiliza los llamados silogismos, que se trata de una deducción o forma de
razonamiento en el que se establecen unas premisas de las que se infiere una conclusión. se trata,
por lo tanto, de un concepto semejante a argumentos deductivamente válidos. un ejemplo clásico
de la lógica aristotélica es: todos los hombres son mortales. todos los griegos son hombres. por
lo tanto, “todos los griegos son mortales”. las dos primeras frases serían las premisas y la
tercera la conclusión.
 ENUNCIADOS
TAUTOLOGIA Es toda frase o oración que sale de tu mente
MODUS PONENDO PONENS

MODUS TOLENDO PONENS

CONTINGENCIA
CERRADOS ABIERTOS INDETERMINADOS
SILOGISMO HIPOTETICO
CONTRADICCION
MODUS TOLLENDO PONEN

NEGACION(⌐) SILOGISMO DISYUNTIVO

CONJUNCION INMEDIATA
COMPUESTAS SIMPLIFICACION
DISYUNCION (v) CONECTORES CUADRO DE
BOECIO
AMPLIFICACION
DISYUNCION FUERTE O EXCLUYENTE
INFERENCIA
IMPLICADOR (→)
FORMALES AFIRMACION DEL
PROPOSICIONES CONCECUENTE
REIMPLICADOR (←)
NEGACION DEL
LOGICA ANTECEDENTE
BIIMPLICADOR (↔) SIMPLES
FALACIAS SILOGISMO
DISYUNTIVO
DAGA DE CHEFER (↓)

OVADA DE NICOL (/) LEY DE INVOLUCION

LEYES IGNORAIO ELENCHI
NO FORMALES
LOGICAS0 AD HOMINEM
LEY DE IDEMPOTENCIA DE
LEYES CONMUTATIVAS
PRINCIPIOS (ATINGENCIA) AD BACULUM
AD VERICUMDIAM

LEYES ASOCIATIVAS
LOGICOS AD MISERICORDIAN
AD POPULUM
LEYES DISTRIBUTIVAS
AD IGNORATIUM
LEYES DE MORGAN CAUSA FALSA
PREGUNTA COMPLEJA
LEYES DEL BICONDICIONAL
LEYES DEL CONDICIONAL NO NO FORMALES EQUIVOCO
IDENTIDAD CONTRADICCION
LEYES DE LA ABSORCION DE ENFASIS
(AMBIGUEDAD) ANFIBOLOGIA
LEYES DE TRANSPOSICION
COMPOSICION
LEYES DE EXPORTACION
TERCIO RAZON DIVISION
LEYES DE IDENTIDAD EXCLUIDO SUFICIENTE
LEYES DE COMPLEMENTO
 LOS PRINCIPIOS LOGICOS

 Son los fundamentos que determinan ciertas reglas a seguir , para lograr la
coherencia y sistematicidad de los pensamientos en las formas y
contenidos .
 En otras palabras ,los principios lógicos son las leyes del pensamiento que
nos aseguran su validez .
 NO
CONTRADICCION

IDENTIDAD
Principios TERCIO
lógicos EXCLUIDO

RAZON
SUFICIENTE

PRINCIPIO DE IDENTIDAD.
Este principio expresa igualdad de
la idea consigo misma .
PRINCIPIO DE TERCIO
EXCLUIDO.
Es un principio de la lógica clásica
en la cual, la disyunción de una
proposición y su negación es
siempre verdadera .
PRINCIPIO DE NO
CONTRADICCION.
Dice que una proposición y su
negación no pueden ser
verdaderas al mismo tiempo .
PRINCIPIO DE RAZON
SUFICIENTE.
Este principio plantea la
necesidad de justificar los
conocimientos de una manera
razonada , es decir , ordenada y
lógica . Por lo tanto , solo es
verdadero aquello que se puede
probar; basándose en otros
conocimientos o razones .
 Leyes Lógicas
Involución o
doble negación • ⌐ (⌐ p) = p

• pΛp = p
Idempotencia • pVp = p

Elemento • 𝑝𝛬𝑣 = 𝑃
neutro • 𝑝𝑉𝐹 = 𝑃

Condición
tautológica •P˅V = V
Condición de
contradicción •P˄F = F
Negación de
tautología •⌐V = F
 Negación • ⌐F = V

Condiciones de la • P Λ ⌐ P = F
negación • PV⌐P = V

• PΛq = qΛP
Conmutatividad • PVq = qVP

Leyes • (PΛq)Λr = PΛ(qΛr)

asociativas • PVq Vr = PV qVr

Leyes • (PVq)Λr = (PΛr)V(qΛr)

distributivas • (PΛq)Vr = (PVr)Λ(qVr)

Leyes de • PV(PΛq) = p
absorción • PΛ(PVq) = p
 • ⌐ ( P Λ q ) = ⌐P V ⌐q
Leyes de Morgan • ⌐ ( P V q ) = ⌐P Λ ⌐q

Condición de • P → q = ⌐P V q
implicación • ⌐(P → q) = pΛq

• (P ↔ q) = (P → q)Λ(q → P)
Definición de • (P ↔ q) = (PΛq)V⌐(PVq)
equivalencia

Exportación • P → (q → r) = (PΛq) → r

Contraposición • P → q = ⌐q → ⌐P

Disyuntor • P∆q = ⌐(P → q)V⌐(q → P)

excluyente
 TEOREMA DEMOSTRABLES
USANDO LA LÓGICA

 Un teorema es una afirmación que puede ser

demostrada como verdadera dentro de un marco
lógico.
 Es una proposición que para ser evidente necesita
demostración. Por ejemplo: la suma de los ángulos de
un triángulo es igual a dos ángulos rectos.
 Proposición que afirma una verdad demostrable.
 Es una verdad no evidente, demostrable
 EJEMPLOS 01

Hipótesis: Existe un triangulo rectángulo cuyos lados son a;b;c

Tesis: Se cumple en todo triángulo rectángulo que la suma de los

cuadrados de los catetos es igual a la hipotenusa al cuadrado
A2 + B2 = C2
 Ejemplo 02

Hipótesis: sea el triangulo cuyos ángulos son 𝜃, 𝛽, 𝛼

Tesis: la suma de los ángulos externos es igual a 360°

Ɵ + β + α = 360°
 Ejemplo 03

Hipótesis: sea la suma o diferencia de un binomio al cuadrado:

(a + b)2
(a – b)2

se cumple que:
 ¿Qué es una inferencia lógica?

Premisa 1

Conclusión

Premisa 2
 Modus
Ponendo
Modus Ponens Modus
Tollendo Tollendo
Ponens Tollens

Silogismo
Conjun-
Hipotéti-
ción
co Reglas de
inferencia
Silogismo
Disyun-
Disyunti-
ción
vo

Silogismo Silogismo
Construc- destruc-
tivo tivo
 Modus Ponendo Ponens(PP)

Razonamiento en el cual; en la primera premisa se plantea

una condicional, en la segunda se afirma el antecedente y
como conclusión se afirma el consecuente.

Ejemplo:
 Modus Tollendo Tollens (TT)

Razonamiento en el cual; en la primera premisa se plantea

una condicional, en la segunda se niega el antecedente y
como conclusión se niega el consecuente.

Ejemplo:

Si agua hierve soltara vapor

¬ ¬ No soltó vapor
Por lo tanto, no hirvió
¬ ¬
 Modus Tollendo Ponens (TP)

Razonamiento en el cual; en la primera premisa se plantea

una condicional, en la segunda se niega el antecedente y
como conclusión se niega el consecuente.

Ejemplo:

¬ ¬
¬ ¬
 Conjunción

Si disponemos de dos enunciados afirmados como dos

premisas separadas, mediante la conjunción podemos
unirlos en una sola premisa.

Ejemplo:

Juan es cocinero
Pedro es policía
Por lo tanto, Juan es cocinero y Pedro es policía.
 Disyunción

Si contamos con dos premisas afirmadas, mediante la

disyunción podemos unirlas en una sola premisa. Se puede
expresar como una elección.

Ejemplo:

He comprado manzanas.
He comprado peras.
Por lo tanto, he comprado manzanas o he
comprado peras.
 Silogismo Destructivo

Si los consecuentes de los condicionales en principio resulta

ser falso, por ende los antecedentes también lo son.

Ejemplo:

Si voy a Buenos Aires en verano, pasaré calor.

Si voy a Bogotá en cualquier época, tendré frio.
Entonces, o no pasaré calor, o no tendré frío
Por lo tanto, o no iré a Buenos Aires, o no iré a
Bogotá.
 Silogismo Constructivo
En la primera y segunda premisa se plantean condicionales y
en la tercera, una disyunción en la cual se afirman los
antecedentes de las premisas anteriores como conclusión se
afirman los consecuentes de las primeras premisas
Ejemplo:
Si me gano la lotería compraré una casa.
Si mi papá gana un millón de dólares se comprará
un yate.
Entonces, o ganare la lotería o m papá ganará un
millón de dólares.
Por lo tanto, o compraré una casa o mi papá
comprará un yate.
 Silogismo Disyuntivo

Marca dos premisas donde obligatoriamente una debe ser

falsa y la otra verdadera.

Ejemplo:

Es de día o es de noche.
No es de día
Por lo tanto es de noche
 Silogismo Hipotético
Expresa lo siguiente: de una causa sigue una consecuencia,
y esta consecuencia a su vez genera una segunda
consecuencia, se puede decir que esa primera causa es
causa de la segunda consecuencia
Ejemplo:

Si me despierto, entonces puedo ir a la fiesta.

Si voy a la fiesta, entonces me divertiré.
Por lo tanto; si me despierto, entonces me divertiré
ENUNCIADOS ABIERTOS, CERRADOS E
INDEFINIDOS
Es toda frase, oración o expresión algebraica utilizada en el lenguaje
común, es decir, es la expresión de una o varias ideas.
Ejemplo:
• Está lloviendo.
• Hace frio.
• Venus es un planeta.

En este sentido los argumentos lógicos se componen de

enunciados: las premisas y la conclusión. Los enunciados pueden
ser:
ENUNCIADO CERRADO O PROPOSICIÓN LÓGICA :

Es el significado de una expresión asertiva, que se caracteriza

solo por tener un valor veritativo, es decir, el significado
presenta la posibilidad de ser verdadero o falso, pero no los
dos a las vez.
Ejemplos:
• p: El sol es una estrella.
• q: El perro es un animal herbívoro.
ENUNCIADO ABIERTO O FUNCIÓN PROPOSICIONAL:

Son aquellos enunciados que tienen una o mas variables y son

expresados en símbolos matemáticos o palabras, de modo que
al asignarle un valor a dicha variable, este enunciado se
convierte en una proposición lógica.

Ejemplo:
• El es un escritor peruano.
• 𝑥2 + 3 < 9
ENUNCIADOS INDEFINIDOS:
Son aquellas expresiones del lenguaje común que no pueden
ser calificadas como verdaderas o falsas. Estas expresiones
pueden ser:

 INTERROGATIVAS: Son aquellas que expresan preguntas.

 EXCLAMATIVAS O ADMIRATIVAS: Son aquellas que

expresan sorpresa, admiración, emoción.

 IMPERATIVAS O EXHORTATIVAS: Son aquellas que

originan o impiden una acción.

 DESIDERATIVAS: Son aquellas que expresan deseos o

anhelos.
 Proposiciones
Las proposiciones es el material de nuestro
razonamiento, una proposición afirma o niega a la vez
 Proposiciones matemáticas

Tipos de proposiciones

proposiciones lógicas Proposiciones filosóficas

PROPOSICIONES CATEGÓRICAS
 Clases de proposiciones

Las preposiciones de dividen en:

Proposiciones simple o atómicas Proposiciones compuesta o molecular

son las que constan de la

son las que no poseen conectores combinación dos o más
lógicos y constan de un solo proposiciones simples unidas por
enunciado. uno o mas conectivos lógicos que
pueden ser separados o
Ejemplo descompuestos
Todos los empresarios son Ejemplo
administradores
Pitágoras era griego y
matemático
 Formas proposicionales

Tautológicas Contradictorias Contingencia

Es aquella forma
Es aquella forma Es aquella forma
proposicional
proposicional proposicional
que siempre da
que siempre da que siempre da
como resultado
como resultado como resultado
verdadero y falso
verdadero. falso.
a la misma ves.
 p ~p
V F
F V
P Q P^Q P Q PvQ P Q P∆Q P Q P →Q P Q P ↔Q
V V V V V V V V F V V V V V V
V F F V F F V F V V F F V F F
F V F F V F F V V F V V F V F
F F F F F F F F F F F V F F V
 Falacias
Una falacia es un razonamiento no válido o
incorrecto pero con apariencia de razonamiento
correcto. Es un razonamiento engañoso o
erróneo, pero que pretende ser convincente o
persuasivo.
 Clases de falacias

 Falacias Formales
Son razonamientos no válidos pero que menudo se aceptan por su
semejanza con forma válida de razonamiento o inferencia.

 Falacias no formales
Son argumentos que no pueden corroborar la verdad de las
premisas. No
Son argumentos sólidos, independientemente de su validez desde el
punto de vista lógico.
 Falacias formales

 De afirmación del consecuente

Es llamada así porque erróneamente se concluye que el
segundo termino de una premisa consecuente establece
también la verdad de su antecesora.

 De negación del antecedente

Si se niega los antecedentes entonces se negara también la
consecuencia.
 Falacias no formales
 Falacia “Ad hominem” ( Dirigida contra el hombre)
Razonamiento que, en vez de presentar razones
adecuadas para rebatir una determinada posición o
conclusión, se ataca o desacredita la persona que la
defiende.
 Falacia “Ad populum (Dirigida al pueblo provocando
emociones)
Razonamiento o discurso en el que se omiten las razones
adecuadas y se exponen razones no vinculadas con la
conclusión pero que se sabe serán aceptadas por el
auditorio, despertando sentimientos y emociones. Es
una argumentación demagógica o seductora.
 Falacia “Ad verecumdiam” ( se apala a la autoridad)
Razonamiento o discurso en la que se defiende una
conclusión u opinión no aportando razones si no apelando
a alguna autoridad.

 Falacia “Ad ignoratiam” ( por la ignorancia)

Razonamiento en la que se pretende defender la verdad de
una afirmación por el hecho de que no se puede demostrar
lo contrario
 Falacia “Ad misericordiam” ( apelación a la piedad)
Es una falacia en la cual, ante la falta de argumentos, se
apela a la compasión en búsqueda de misericordia.

 Falacia “ad baculum” ( se apela al bastón)

Razonamiento en el que para establecer una conclusiones
o posición no se aporta razones si no que se recorre a la
amenaza, a la fuerza o al miedo
INFERENCIAS VALIDAS OBTENIDAS DEL
CUADRO DE BOECIO.
 INFERENCIAS VALIDAS OBTENIDAS DEL CUADRO DE BOECIO.
~0
𝐼

 A ~0 𝐴 𝐴
𝐼 ~𝐸

~𝑂
~𝐸

~𝐼
𝑂

𝐸
 O ~𝐴 𝐸 ~𝐴
𝑂
~𝐼
~𝐴

~𝐴
𝐸

𝑂
𝑂
 E ~𝐼 𝐸 ~𝐼