Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Introducción a la Lógica
Introducción a La Lógica
Lógica y Lingüística
Lenguajes artificiales o
formales
Símbolos analógicos
(icónicos): fotografías
El primero en establecer con claridad y divulgar esta clasificación fue Morris en esquemas, etc.
1938, quien definió La Pragmática como el estudio de “la relación de los
signos con los intérpretes”, La Semántica como el de “las relaciones de los
signos con los objetos a los que se aplican” y La Sintaxis como el de las
“relaciones formales entre los mismos signos”. Galindo (1999)
El signo es el vehículo de toda comunicación y pensamiento. Sus características
están determinadas por el lugar que el signo ocupa en el sistema y por sus
relaciones con los demás signos de dicho sistema.
La función esencial de los códigos es evitar toda confusión entre el signo y el
mensaje.
Si los signos se encuentran en una relación lógica de exclusión, de inclusión o de
intersección, se pueden presentar tres tipos de códigos:
Exclusión: Inclusión Intersección
El emisor debe codificar el mensaje de tal forma que cuando el receptor reciba el
mensaje y lo decodifique pueda reconstruir su sentido a partir de los signos y de
las relaciones existentes entre ellos.
Lenguaje Natural
Lenguaje Artificial
https://www.youtube.com/watch?v=_YoQGgxibwg
https://www.youtube.com/watch?v=rglkNS6WTRs
Proposiciones
Valor de Verdad: V ó F
Concepto:
V
V
𝑁𝑢𝑚𝑒𝑟𝑜 𝑑𝑒 𝐹𝑖𝑙𝑎𝑠 = 2𝑛 F
V
n = Numero de proposiciones simples V
F
F
Filas
V
V
F
F
V
F
F
Conjunción: Pero
sin embargo,
Negación: No además,
no es verdad que, no obstante,
es falso que aunque,
no ocurre que a la vez,
no es el caso que también,
p q r ~𝒑 ˅ 𝒒 → 𝒓 ˄ 𝒑
V
V V V F V V V V V V
V
F
V V F F V V F F F V V
V
V F V F F F V V V V F
F
V F F F F F V F F V Filas
V
F V V V V V F V F F V
F
F V F V V V F F F F F
F F V V V F F V F F V
F
F F F V V F F F F F F
Proposiciones
El razonamiento no es
Cuando los valores del operador principal son todos Falsos
valido o Verdadero
Contradicción
Conclusión:
Cuando los valores del operador principal tiene por lo menos
una Verdadera y una Falsa
Contingencia ó Consistencia
Proposiciones:
p: Estudiar con disciplina
q: Buenas calificaciones
s: Me sentiré feliz
Demostrar que la proposición {(pq)(r s) (p r )}(q s) Es?
Demostrar que la proposición ¬(p q)y la proposición ¬p ¬q son
lógicamente equivalentes: