La lgica

La lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha
enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos
acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente
utilizacin de los mismos.
El orden en que se presenta el documento es el siguiente: Primeramente se establece la importancia de
la lgica matemtica, despus definimos el concepto de proposicin. Se establece el significado y utilidad
de conectivos lgicos para formar proposiciones compuestas. Ms tarde abordamos las proposiciones
condicionales y bicondicionales. Definimos tautologa, contradiccin y contingente, y proporcionamos
una lista de las tautologas ms importantes, as mismo explicamos a que se le llama proposiciones
lgicamente equivalente apoyndonos de tablas de verdad. Para finalizar; abordamos los mtodos de
demostracin: directo y por contradiccin, en donde incluye reglas de inferencia.
En este trabajo se trata adems de presentar las explicaciones con ejemplos que le sean familiares.
Nuestro objetivo es que el alumno aprenda a realizar demostraciones formales por el mtodo directo y el
mtodo por contradiccin. Ya que la mayora de los libros comerciales nicamente se quedan en
explicacin y demostracin de reglas de inferencia. Consideramos que s el alumno aprende lgica
matemtica no tendr problemas para aprender ciencias exacta y ser capaz de programar
computadoras, ya que un programa de computadora no es otra cosa que una secuencia de pasos
lgicos, que la persona establece para resolver n problema determinado.
Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El
camino puede ser mas largo o ms corto dependiendo de las reglas de inferencia y tautologas que el
alumno seleccione, pero definitivamente deber llegar al resultado. Puede haber tantas soluciones como
alumnos se tenga en clase y todas estar bien. Esto permite que el estudiante tenga confianza en la
aplicacin de reglas y frmulas. De tal manera que cuando llegue a poner en practica esto, el sea capaz
de inventar su propia solucin, porque en la vida cada quien resuelve sus problemas aplicando las reglas
de inferencia para relacionar los conocimientos y obtener el resultado.
Desarrollo.
La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la
lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El
razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin
para verificar si son o no correctos los programas; en las ciencias fsica 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 lgico para realizar cualquier
actividad.






Proposiciones y operaciones lgicas.
Una proposicin o enunciado es una oracin que puede ser falsa o verdadera pero no ambas a la vez. La
proposicin es un elemento fundamental de la lgica matemtica.
A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el porqu
algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra
minscula, dos puntos y la proposicin propiamente dicha. Ejemplo.
p: La tierra es plana.
q: -17 + 38 = 21
r: x > y-9
s: El Morelia ser campen en la presente temporada de Fut-Bol.
t: Hola como estas?
w: 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 tambin es una proposicin valida, aunque el valor de falso o verdadero
depende del valor asignado a las variables x y y en determinado momento. La proposicin del inciso s
tambin esta perfectamente expresada aunque para decir si es falsa o verdadera se tendra que esperar
a que terminara la temporada de fut-boll. Sin embargo los enunciados t y w no son vlidos, ya que no
pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.













Las tablas de verdad nos ayudan a establecer el valor de verdad de diferentes
razonamientos logicos construidos a base de la combinacin de dos o mas enunciados nucleares.
Los enunciados nucleares se identifican con las letras del alfabeto, usualmente las de la segunda mitad
del alfabeto: p, q, r, s, t, etc.
Puede usarse cualquier smbolo para identificar a los enunciados nucleares.
La tabla de verdad mas simple es la que corresponde a los valores de verdad de un solo enunciado
nuclear.
P
V
F

Cuando hay dos enunciados nucleares, p y q, las tablas de verdad para los cuatro
conectivos basicos (conjuncion, disyuncion, implicacin y doble implicacin), tienen cuatro niveles (2
elevado al numero de enunciados). Se pretende en la tabla que se puedan establecer todas las
combinaciones de valores de verdad asumidos por los enunciados nucleares.
Los conectivos logicos son Y (para la conjuncion), O (para la disyuncion inclusiva), SI ENTONCES
(para la implicacin o condicional), SI Y SOLO SI (para la doble implicacin o bicondicional).
Las tablas de verdad son las siguientes:
Conjuncion Disyuncion Implicacin Doble implicacion
P Q P Y
Q
V V V
V F F
F V F
F F f

P Q P O
Q
V V V
V F V
F V V
F F F

P Q P
ENTONCES
Q
V V V
V F F
F V V
F F V

P Q P SI Y
SOLO
SI Q
V V V
V F F
F V F
F F V








Una prueba simple se hace con la ayuda de dos enunciados nucleares como los siguientes:
P = el tejado esta sobre el piso.
Q = el piso esta debajo del tejado.

P Q Conjuncion
P y Q
Disyuncion
P o Q
Implicacin
Si P entonces
Q
Doble
implicacin
P si y solo si
Q
el tejado esta
sobre el piso
el piso esta
debajo del
suelo
Verdadero Verdadero Verdadero Verdadero
el tejado esta
sobre el piso
Es falso que
el piso esta
debajo del
tejado
Falso Verdadero Falso Falso
Es falso que
el tejado esta
sobre el piso
el piso esta
debajo del
suelo
Falso Verdadero Verdadero Falso
Es falso que
el tejado esta
sobre el piso
Es falso que
el piso esta
debajo del
tejado
Falso Falso Verdadero Verdadero

Este es un ejemplo muy sencillo en una relacion de posicin entre dos objetos.