LGICA

LOGIC
AUTOR
ANGEL GRABIEL TIMANA CASTILLO
Estudiante del Primer Ciclo de la Carrera Profesional de Ingeniera de Sistemas
Universidad Catlica Los ngeles de Chimbote
Filial Piura

Direccin: la legua Piura-catacaos

timana@gmail.com

AO 2015
INTRODUCCION
Aprender matemticas, fsica y qumica es muy difcil; as se expresan la mayora de
estudiantes de todos los niveles, sin embargo pocas veces se busca una explicacin del
porqu no aprenden las ciencias exactas los alumnos. Nuestra teora es la siguiente: Los
alumnos no aprenden ciencias exactas, porque no saben relacionar las conocimientos que se
proporcionan en la escuela (leyes, teoremas, formulas) con los problemas que se le
presentan en la vida real. Otro problema grave es que el aprendizaje no es significativo. El
presente trabajo pretende motivar a los estudiantes para que con ayuda de la lgica
matemtica, l sea capaz de encontrar estos relacionamientos entre los diferentes esquemas
de aprendizaje, para que de esta manera tenga una buena estructura cognitiva.
Consideramos que si el alumno sabe lgica matemtica puede relacionar estos
conocimientos, con los de otras reas para de esta manera crear conocimiento.
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 un problema determinado.

Es importante mencionar que en las demostraciones no hay un solo camino para llegar al
resultado. El camino puede ser ms largo o ms cort 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, l 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.

MARCO TEORICO
Esta lgica tambin es conocida con los nombres de lgica simblica y Lgica lTIoderna,
se desarroll muchos aos (incluso siglos) despus de la Lgica general y no fue obra de un
solo filsofo y / o lgico, porque como Afirman Delia Teresa Echave, Mara Eugenia
Urquijo y Ricardo Guibourg Se inici ... a lo largo del siglo XIX en los trabajos de De
Margan (1806-1876), Boole (1815-1864), Frege (1848-1925) y Peana (1858-1932)". (1)
La lgica clsica tiene limitaciones: 1. utiliza principalmente un Lenguaje natura (2) el cual
es ambiguo, porque una palabra puede tener ms de un significado, y tal vaguedad se puede
reflejar en toda una discusin intil, adems el uso de dicho lenguaje, supuso para muchos
filsofos y / o lgicos, vinculaciones de la lgica con la gramtica y la ontologa, tal y
como se seal al desarrollar la funcin enunciativa de los juicios en el primer captulo; y,
2. Las formas del silogismo aristotlico son simblicas, pero como afirm George Boole en
su libro publicado por primera vez en 1847 llamado El anlisis matemtico de la lgica,
dichos smbolos son menos perfectos que los de la matemtica. (3)
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. (4)
A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se
explica por qu 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 cmo ests?
W: Lava el coche por favor. (4)
Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son
proposiciones vlidas. 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 est 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. (4)

Variables proposicionales son los signos que representan proposiciones declarativas y se

simbolizan con las letras "p", "q", "r", "s", "t" y siguientes letras del alfabeto. En caso de
que en un argumento existan muchas proposiciones, que excedan en nmero a las variables
indicadas, se suele aplicar subndices a las mismas para tener una serie ms extensa, pero
en cualquier caso, una proposicin determinada ser representada por slo una variable
proposicional, por ejemplo: "si Pedro colisiona deliberadamente con su vehculo, entonces
Pedro ser responsable por los daos causados. Pedro colisiona deliberadamente con su
vehculo.
Luego, Pedro ser responsable por los daos causados", la proposicin "Pedro colisiona
deliberadamente con su vehculo" se representa por la variable "p", y "Pedro ser
responsable por los daos causados" por "q", entonces tal forma del pensamiento se
simboliza as: "Si p entonces q. p. luego, q". Las variables proposicionales pueden ser
verdaderas o falsas, segn si la proposicin que representan tenga uno u otro valor, y se
simboliza con las letras V o F, o por los nmeros 1 o 0, respectivamente159. Tales valores
de verdad no significan que lo expresado en la proposicin refleje la realidad, porque tienen
un sentido pluralmente formal para determinar la validez de los argumentos. (5)

CONCLUCIONES
La idea principal de este trabajo es que el alumno aprenda el concepto de proposicin, la
forma en que se pueden formar proposiciones compuestas usando los conectores lgicos,
representar enunciados por medio de simbologa lgica, conocer los conceptos de
tautologa, equivalencia lgica, regla de inferencia. Realizar demostraciones de teoremas
por medio del mtodo directo y contradiccin. Pero con problemas que le sean familiares e
interesantes. Se trata de que en cada uno de los subtemas participe proponiendo sus propios
ejemplo y que sobre todo al final de la unidad l tenga la habilidad, confianza e iniciativa
para inferir posibles soluciones.

REFERENCIAS BIBLIOGRAFICAS
Echave, Delia Teresa, y otros - Lgica, proposicin y norma Argentina- Editorial
Astrea 2002 - sexta reimpresin de la primera edicin.
Mara Cristina Campagna y Adriana Lazzeretti - definen el lenguaje natural como
aquel... que se hereda, que transmite las costumbres y los usos de una cultura".
Campagna, Mara Cristina; y Adriana Lazzeretti. Op. cit.,
Boole, George. - El anlisis matemtico de la lgica.- Traduccin de: Esteban
Requena Manzano; - Espaa, - Ediciones Ctedra, Sociedad Annima, - 1984,
segunrl edicin.
Estructura de Matemticas Discreta - Bernard Kolman,Robert C. Bisby, Sharon
Ross - Prentice Hall
.Jos Ferrater Mora y Hugues Leblanc gramtica - Op. Cit