Lógica Matemática

Page 1

CAP´ITULO 1 ´ NOCIONES ELEMENTALES DE LOGICA ´ MATEMATICA

Estudiaremos brevemente un lenguaje no contradictorio ni ambivalente que nos permitir´a introducirnos a la Matem´atica: la L´ogica Matem´atica, que estudia las leyes que regulan el razonamiento. Por fines did´acticos la dividimos en a) l´ogica proposicional, b) l´ogica funcional.

1.1.

´ LOGICA PROPOSICIONAL

En la l´ogica proposicional consideraremos dos elementos b´asicos: Proposiciones, Conectivos. 1.1.1.

Proposiciones

Son “frases” sobre las cuales podemos decidir, un´ıvocamente, sobre la verdad (V ) o falsedad (F ) de ellas. As´ı entonces, una proposici´on es una frase que es V o F , no existiendo la posibilidad de obtener ambas decisiones conjuntamente (Principio del tercero excluido). Las proposiciones las denotamos por letras min´ usculas p, q, r, etc., que resumir´an, en si mismo, el significado particular que tengan al interior de una situaci´on concreta. Ejemplo 1.1.1. 1. “p” resumir´ a, al interior de ´este ejemplo, a la proposici´ on: “Hoy es Martes 10 de Mayo“, y denotamos p: “Hoy es Martes 10 de Mayo”. 1


Turn static files into dynamic content formats.

Create a flipbook
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.
Lógica Matemática by Cristy JS - Issuu