La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto.
Las proposiciones se clasifican en proposiciones simples o atómicas y proposiciones compuestas o moleculares:
Proposiciones simples.- Son aquellas proposiciones que no se pueden descomponer.
p: Todo organismo viviente se adapta a su medio físico.
q: Si un número es divisible por 4 también lo es por 2.
r: (a +b)2 = a2 + 2ab + b2
Proposiciones compuestas o moleculares.- Son aquellos enunciados que están formados por dos o más proposiciones simples y unidos por término lógico.
p: La niña María canta y su hermano Luis toca el piano.
q: Ecuador es un país Amazónico y latinoamericano.
Su función es negar la proposición. Esto significa que sí alguna proposición es verdadera y se le aplica el operador no se obtendrá su complemento o negación (falso). Al negar una proposición simple, se transforma en una proposición compuesta Este operador se indica por medio de los siguientes símbolos: (~, Ø )
Conjunción ( Ù ) Que se lee Y
Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Su símbolo Ù que se lee “y”. Se lo conoce como la multiplicación lógica y tiene estrecha relación con la intersección de conjuntos.
La Disyunción: ( Ú ) Que se lee: O.
Es la unión de dos proposiciones simples con el conectivo lógico “o”. Simbólicamente se lo representa así: pÚ q que se lee p ó q o ambas. El enunciado es verdadero cuando alguna de las proposiciones es verdadera o ambas son verdaderas; Se conoce también como la suma lógica y se relaciona estrechamente con la unión de conjuntos.
Fuente Bibliografíca/Linkografíca
http://noticias.espe.edu.ec/joegarcia/files/2012/06/LOGICA-MATEMATICA.pdf
Algebra Moderna FRANK EYRES-IMPRESO EN MEXICO