Es considerada una ciencia.
Cuyo objetivo de estudio son
los principios de demostración
que permitan comprobar que
una afirmación pueda ser
considerada como valida.
Metodología
Examinar la validez de
una afirmación por
medio de su estructura
2.. La proposición
o el enunciado
Constituye una
oración que tiene
un valor de verdad.
Es uno de los
elementos
fundamentales de
la lógica
Clasificación
Simples o
atómicas
Están estructuradas por una
oración. Se representan, dando le
una variable proposicional: P= El
oro es un metal precioso.
Compuestas o moleculares
Están estructuradas por dos o
más preposiciones simples
unidas por operadores lógicos
Pitágoras era griego y
geometra. P= Pitágoras era
griego. Q= Pitágoras era
geometra .
3. Traducción del
lenguaje
Lenguaje natural
Lengua utilizada normalmente
(lenguas materna). Lengua que
hablamos en la vida cotidiana, en
este caso el español.
Traducción
g= Guadalarajara
gana el campeonato.
a= América gana el
campeonato.
Guadalajara gana el
campeonato y América no
gana el campeonato.
Lenguaje simbolico
La lógica cuenta con un sistema
de símbolos. Para lograr
sencillez, claridad y exactitud.
Operadores lógicos
Son los símbolos que
permiten decidir que un
valor de verdad tiene una
preposición.