Instituto Nacional Gral.

Jos Miguel

Mate

Carrera

Principios de Lgica Matemtica

Alumno: Cristian I. Meza Valladares Asignatura: Matemtica Electivo Profesor: Jorge Gonzlez

Qu es la lgica?
La lgica la podemos clasificar en dos tipos: Lgica Tradicional o No formal. Lgica Simblica o Formal.

La lgica tradicional se considera a los procesos psicobiolgicos del pensamiento lgico y los mtodos de inferencia que estn relacionados con la destreza para interpretar y distinguir el razonamiento correcto del incorrecto. Queriendo decir que este tipo de lgica resume las experiencias a las cuales el ser humano est expuesto cotidianamente. La lgica como ciencia, o lgica formal es la encargada de investigar, desarrollar y establecer los principios fundamentales que siguen la validez de las inferencias, es considerada como uno de los sistemas mediante el cual se llega a formas puras y rigurosas.

Qu es la lgica matemtica?
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.

Simbolizacin: Proposiciones La lgica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como elemento bsico de anlisis a la proposicin, que no es otra cosa que una oracin del lenguaje cotidiano con un significado mucho ms limitado, en tales condiciones, se puede considerar una proposicin como una excepcin lingstica que tiene la propiedad de ser verdadera o falsa, y para simplificar la escritura de argumentos lgicos complicados; crea un lenguaje simblico artificial, en donde establece un conjunto de reglas claras, bien definidas y que no presentan las ambigedades ni vaguedades del lenguaje corriente. Las proposiciones se representan simblicamente mediante el uso de letras minsculas del alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables proposicionales, de esta forma, el lenguaje proposicional se hace ms simple y exacto que el lenguaje natural.

Estas variables proposicionales deben tener algn contenido lgico, queriendo decir algn significado entendible para poder realizar el proceso. Entonces: p: Hoy es domingo q: Estudio en el Instituto Nacional r: Santiago es la capital de Chile s: 1 NO es un nmero primo x: 5 + 5 = 25

Es decir que se puede establecer una relacin entre el lenguaje natural y el lenguaje formal. Como sabes todo lo simple posee algo compuesto, por esto se establecieron conectivos lgicos lo que nos permiti no slo decir Santiago es la capital de Chile, sino tambin Santiago es la capital de Chile y Los Lagos es una regin de este pas la preposicin y ser un conectivo lgico que al igual que las proposiciones, tambin se le asignar un lenguaje simblico, as: Lenguaje Natural Y O No S entonces S y slo s
Ejemplos: p: Las rosas son rojas q: Las rosas tienen espinas p ^q: Las rosas son rojas y tienen espinas r: Chile gan el partido? s: Chile perdi el partido? rvo: Chile gan o perdi el partido? t: La educacin en Chile es gratuita ~t: La educacin en Chile no es gratuita x: Preparo una buena PSU y: Podr entrar a la carrera que yo quiera x y: Si preparo una buena PSU podr entrar a la carrera que yo quiera u: 4 es un nmero par v: 4 es divisible por 2 u v: 4 es un nmero par si y slo s es divisible por 2

Lenguaje Simblico ^ v ~

Conectivos Lgicos: Conjuncin ^:

Sean p y q dos proposiciones simples. La proposicin compuesta p y q simbolizada por p ^ q, se denomina la conjuncin de p y q. Ejemplo: La proposicin compuesta p ^ q: 6 es nmero par y entero positivo, est formador por: p: 6 es un nmero par ^: y q: entero positivo Para establecer el valor de verdad de la conjuncin , surgen las siguientes posibilidades: 1: Que p y q sean verdaderas 2: Que p sea verdadera y q falsa 3: Que p sea falsa y q verdadera 4: Que p y q sean falsas. Anlisis: 1: p (V): 6 es un nmero par q (V): 6 es un entero positivo Entonces: p ^ q: Verdadera (V) 2: p (V): 6 es un nmero par q (F): 6 no es un entero positivo Entonces: p ^ q : Falsa (F) 3: p(F): 6 no es un nmero par q (V) 6 es un entero positivo Entonces: p ^ q: Falsa (F) 4: p(F):6 no es un nmero par q(F): 6 no es nmero entero positivo Entonces p ^ q: Falsa(F)