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. En las matemáticos para demostrar teoremas e inferir resultados matemáticas que puedan ser aplicados en investigaciones. En la computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó la parte alta porque se mancharía lo que ya tiene pintado, también dependiendo si es zurdo o derecho, él puede pintar de izquierda a derecha o de derecha a izquierda según el caso, todo esto es la aplicación de la lógica.
La lógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias física y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lógico para realizar cualquier actividad.
Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez. La proposición es un elemento fundamental de la lógica matemática. A continuación se tienen algunos ejemplos de proposiciones válidas y no válidas, y se explica el porqué algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minúscula, dos puntos y la proposición propiamente dicha. Ejemplo. p: q: r: s: t: w:
La tierra es plana. -17 + 38 = 21 x > y-9 El Morelia será campeón en la presente temporada de Fut-Bol. Hola ¿como estas? Lava el coche por favor.
Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones validas. El inciso r también es una proposición valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposición del inciso s también esta perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar a que terminara la temporada de futboll. Sin embargo los enunciados t y w no son válidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden
Conectivos Lógicos Son elementos que sirven de enlace entre las preposiciones atómicas, para formar una preposición molecular. Entre los conectivos lógicos tenemos:
• • • • •
L
•
Negación Conjunción ᴖ Disyunción ᴗ Disyunción exclusiva Y Condicional Bicondicional <-->
Conectivos Lógicos: negación • • •
Utiliza al menos una preposición atómica Es el conector de menor rango Se lee: … no … … no es cierto que … … es falso que … … no es verdad que … Su tabla de la verdad es: P
˥P
V
F
F
V
Conectivos Lógicos: negación Ejemplo: P José tiene calor ˥P: José no tiene calor ˥P: no es cierto que José tiene Calor ˥P: no es verdad que José tiene calor
P
˥P
V
F
F
V
Conectivos Lógicos: conjunción Obsérvese que de la definición dada se sigue directamente que si p y q son, ambas, verdaderas entonces p ∧ q es verdad y que si al menos una de las dos es falsa, entonces p ∧ q es falsa. Se lee: … y… Su tabla de la verdad vendrá dada por p
q
PᶺQ
v
v
f
v
f
v
f
v
f
f
f
f
Conectivos Lógicos: conjunción Ejemplo: S: El profesor explica bien R: Los muchachos entienden RᶺS: Los muchachos entienden y el profesor explica bien
R
S
RᶺS
V
V
V
V
F
F
F
V
F
F
F
F
Conectivos Lógicos: DISYUNCION Se lee: … o …. si una de las dos, p ´o q, es verdad entonces p ∨ q es verdad y que p ∨ q ser 'a falsa, únicamente si ambas lo son. Su tabla de verdad sería, por tanto.
R
S
RᶺS
V
V
V
V
F
V
F
V
V
F
F
F
Conectivos Lógicos: DISYUNCION Ejemplo: Q: 2 es un numero primo R: 4 es un numero par Q V R: 2 es numero primo o 2 es un numero par.
Q
R
QᶺR
V
V
V
V
F
V
F
V
V
F
F
F
Sean las preposiciones : P: 80 es un numero compuesto Q: la suma de 2+2 es 4 S: 5 es un numero primo T: 5 es diferente a 0 1.
â&#x20AC;˘. â&#x20AC;˘.
Escribe simbĂłlicamente Halla la tabla de la verdad para cada uno