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".
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.
Historia de la
Lgica
Matemtica
1.- ENUNCIADOS SIMPLES: Los cuales se subdividen de
la siguiente manera:

a) ENUNCIADO EXCLAMATIVO
Expresa de forma intensa una emocin o sentimiento
NOCIONES BSICAS DE LGICA

ENUNCIADOS
Es toda expresin verbal o escrita (oraciones o frases)
y se clasifica en:
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: J uan estudia matemtica
PROPOSICIN COMPUESTA
Es aquella que contiene al menos un conectivo que
une dos o ms proposiciones simples.
Ejemplos: J uan 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 Smbolo Se lee
Conjuncin
^
y
Disyuncin
Inclusiva

o
Disyuncin
Exclusiva

O o .
Condicional

Si entonces
Bicondicional

si y solo si