LÓGICA

Estudia la estructura del pensamiento

Estructura de la lógica
le da sentido correcto o incorrecto

Concepto Razonamiento
Pensamiento de las notas Relación entre juicios
esenciales de un objeto Razonamiento deductivo valido

Juicio
Relación enunciativa verdadero - falso un juicio deriva
de otro cuando la verdad queda enunciada

Lógica Simbólica
CONCEPTOS
BÁSICOS DE LA Lenguaje Formal Lógica lingüística
Se desarrolla un simbolismo estructura lógica lenguaje objeto (uso
LÓGICA Lingüístico ) metalenguaje(signo)

Criterios formales permite saber cuando se

Razonamiento deductivo
esta frente a un razonamiento lógico

Proposición lógica
estructura lingüística afirmativa (afirmaciones)
Se puede establecer si es verdadero o falso

Lógica
proposicional

Realizado por: Lcda. quimico Msc Lucrecia Gonzalez 2022

 Lenguaje formal (símbolos, reglas).
Bivalente : solo admite dos valores verdadero o falso
Correcto o incorrecto
La verdad se establece de forma deductiva o demostrándolo

LÓGICA PROPOSICIONAL
ELEMENTOS BÁSICOS LÓGICA
PROPOSICIONAL
Sistemas para razonar
y hacer cálculos con
proposiciones
(Lógica simbólica)

Par el estudio se realiza

Identificación de sus partes lógicas ( tipo de premisa)
Simbolización de la proposición ( conectivos no lógicos, variables propocionales)
Uso de conectivos lógicos
Uso de los símbolos lógicos de agrupación (símbolos auxiliares)

Realizado por: Lcda. quimico Msc Lucrecia Gonzalez 2022

 ELEMENTOS DE LA LÓGICA PROPOSICIONAL
• PROPOSICIÓN SIMPLE O ATÓMICA PROPOSICIÓN COMPUESTA O
Oración declarativa que no pueden MOLECULAR
descomponerse en partes que no sean Oración declarativa formada por una o
proposiciones varias oraciones declarativas unidas por
Ejemplos: conectores o términos sincategoremáticos.
Ejemplos:
 Llueve fuerte.
 Si te concentras entonces tendrás una
 Tolstoi fue uno de los mas grandes nota aprobatoria.
novelistas de todos los tiempos.
 El viento no arrastrara las nubes o lloverá
con seguridad
 Hoy es sábado  No lloverá

Realizado por: Lcda. quimico Msc Lucrecia Gonzalez 2022

 ELEMENTOS DE LA LÓGICA PROPOSICIONAL

Simbolización de proposiciones Ejemplo

La simbolización consiste en aplicar el Con las siguientes proposiciones atómicas
método de análisis lógico o simples
Se establece
Toda proposición simple o atómica se debe «Llueve fuerte» «p»
simbolizar por una letra ya sea mayúscula o
minúscula por lo general se utilizan las
ultimas letras del alfabeto. «Tolstoi fue uno de los mas grandes
novelistas de todos los tiempos» «r»
«P», «Q», «R», «S»…
«p», «q», «r», «s»…
«tendrás una nota aprobatoria» «s»
a esa letras se les llama conectivos no
lógicos o variables proposicionales

Realizado por: Lcda. quimico Msc Lucrecia Gonzalez 2022

 ELEMENTOS DE LA LÓGICA PROPOSICIONAL

Simbolización de proposiciones • Término categoremático

moleculares o compuestas.
término que tiene significado propio e
independiente
Al tener dos o mas proposiciones simples
se les asigna
Término sincategoremático
término que no tiene significado propio y se
• una variable no lógica a cada una. utiliza para modificar o enlazar términos
• Un símbolo relacionado con un conector categoremáticos
proposicional (termino sincategoremático)
u operador lógico

Realizado por: Lcda. quimico Msc Lucrecia Gonzalez 2022

 ELEMENTOS DE LA LÓGICA PROPOSICIONAL

Clasificación de los operadores lógicos o

conectores proposicionales Simbolización de los conectivos
lógicos.

Conectivo u operador lógico es un símbolo

del conector proposicional

• Conectores monádicos(monario): se
aplican a una sola proposición.

• Conectores diádicos(binario): se
aplican a dos proposiciones

Realizado por: Lcda. quimico Msc Lucrecia Gonzalez 2022

ELEMENTOS DE LA LÓGICA PROPOSICIONAL
EJEMPLO DE SIMBOLIZACION EJEMPLO DE SIMBOLIZACION
proposicional monódico  El delfín es mamífero y el delfín es
negación domesticable
proposicional diádico / conjunción
 No esta Lloviendo
conector proposicional : ˄
Corresponde a un conectivo
~p proposiciones atómicas
 No creo mucho en tus promesas. «El delfín es mamífero » p
~q «el delfín es domesticable» q
 El átomo no es la parte mas pequeña de p˄q
la materia
~r A esta estructura se llama formula
lógica

Realizado por: Lcda. quimico Msc Lucrecia Gonzalez 2022