Lgica matemtica

La lgica matemtica es un campo de las matemticas que estudia los sistemas formales.
La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas. La lgica matemtica fue tambin llamada lgica simblica, en oposicin a la lgica filosfica. La lgica matemtica no es la "lgica de las matemticas" sino la "matemtica de la lgica".

Historia de la Lgica Matemtica

Lgica Matemtica fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lgica de Aristteles, pero desde el punto de vista de una nueva notacin, ms abstracta, tomada del lgebra. Fueron George Boole y Augustus de Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemtico para modelar operaciones lgicas.

NOCIONES BSICAS DE LGICA

ENUNCIADOS

Es toda expresin verbal o escrita (oraciones o frases) y se clasifica en:

1.- ENUNCIADOS SIMPLES: Los cuales se subdividen de

la siguiente manera:
a) ENUNCIADO EXCLAMATIVO

Expresa de forma intensa una emocin o sentimiento Ejemplos: Hola ! Viva el Per!

b) ENUNCIADO INTERROGATIVO

Dicese de aquella expresin que denota inquietud Ejemplos: Cmo te llamas? Qu hora es?

c) ENUNCIADO IMPERATIVO

Es toda expresin que indica una orden

Ejemplos: Prohibido detenerse

d) ENUNCIADO DESIDERATIVO

Es toda expresin que denota un deseo o aspiracin Ejemplos: Viajare a Espaa

2.- ENUNCIADO ABIERTOS

Llamaremos enunciados abiertos a las expresiones que presenten variables de tipo matemtico o lingstico.

Ejemplos: x + 12 = 25 l estudia en la UNFV

3. - PROPOSICIONES

Llamaremos proposicin a una expresin, enunciado u oracin a la que se le puede calificar como verdadera o falsa sin ambigedad. Las proposiciones lgicas se denotan generalmente por letras minsculas como: p , q , r, ... , z Las letras del alfabeto que denotan proposiciones lgicas se denominan variables proposicionales. Las proposiciones lgicas se clasifican en: - Proposiciones simples - Proposiciones compuestas

PROPOSICIN SIMPLE

Es aquella que no contiene ningn conectivo o aquella que tiene un slo sujeto y un slo predicado. Ejemplos: Juan estudia matemtica

PROPOSICIN COMPUESTA

Es aquella que contiene al menos un conectivo que une dos o ms proposiciones simples. Ejemplos: Juan estudia y trabaja

CONECTIVOS LGICOS

Son palabras que se utilizan para crear proposiciones compuestas a partir de proposiciones simples. Los conectivos ms usuales son: Conectivo
Conjuncin

Smbolo

Se lee
y o O o . Si entonces

Disyuncin Inclusiva Disyuncin Exclusiva

Condicional

Bicondicional

si y solo si