Está en la página 1de 27

DESARROLLO DE LA LOGICA MATEMATICA:

<< Giuseppe Peano dio el nombre de Lgica


Matemtica a este apartado de las
matemticas. Est basado en la lgica
filosfica de Aristteles, pero con una
visin ms moderna aplicado a la nueva
notacin matemtica
Donde la lgica aparece aliada al algebra y
separada de la filosofa.
A partir de este momento comienza una
estrecha relacin entre la lgica y las
matemticas. En la cual se utilizar para
estudiar la validez de las deducciones
matemticas y ser sometida a un proceso
de formalizacin simblica.

Es la disciplina que estudia mtodos


de anlisis y razonamiento;
utilizando el lenguaje de las
matemticas como un lenguaje
analtico.

QUE NOS AYUDA A:


establecer
criterios
de verdad

equivalencias
lgicas tales
como el
silogismo

hacer
demostraciones
de teoremas que
participan en el
anlisis de
argumentos
planteados

El objetivo de la lgica matemtica es cuestionar con el


mayor rigor los conceptos y las reglas de
DEDUCCION utilizados en matemticas, constituyendo la
lgica por ello una verdadera matemtica

Matemtico y lgico britnico.


Profesor de matemticas en el Colegio
Universitario de Londres (1828 1866).
Primer presidente de la sociedad de
matemticas de Londres .
La lgica formal o el clculo de inferencias necesarias y
probables (1847).

AUGUSTUS DE MORGAN

Aplico el calculo a la lgica, fundando el


algebra de la lgica .

Dio un mtodo general para formalizar la


inferencia deductiva, representando
complicados raciocinios mediante sencillos
sistemas de ecuaciones.
Su obra principal es Investigacin de
leyes del pensamiento en las que se
fundan las teoras matemticas de la
lgica y la probabilidad (1854).

Parte de la
lgica

se
encarga

Estudio de
las
proposiciones.

Y la

Relacin entre
ellos

LA LOGICA MATEMATICA

En cuatro subcampos

teora de modelos

teora de la
demostracin

teora de
conjuntos

teora de la
recursin.

frase
Es toda
Oracin

interrogativos

Qu hora es ?
Cmo estas ?

exclamativas o
admirativas

desiderativas

Qu bien !
Auxilio!

Como
quisiera ir
a cusco .

imperativas o
exhortativas

cierra
puerta.

la

son

EJEMPLO:
X+2=9
Anlisis :
X=5
(F )
X=7
(V )

Expresiones

que

Contienes
variables

Verdad

Falso

p: Ollanta Humala es presidente de Per.

q: Tacna capital de Per.

es todo

Simblicamente
se representa
con letras
minsculas:
p,q,r,s,

Enunciado

Puede ser

Ejemplo:

NOTA: No toda oracin aseverativa es proposicin...

Es
aquella

carecen de
conectivos lgicos.

Proposicin

Que
tiene

Ejemplo :
: =

Un solo
significado

(V )

q: El volcn Misti queda en Arequipa. ( V )


r: 10 es menor que 5 .

(F )

Son
aquellas

Ejemplos:

Proposiciones

Conjunciones
gramaticales y las que
contienen el adverbio de
negacin NO.

8 es mayor que 5 y 3 es menor que 7.


p
q
No es cierto que 5 por 4 sea 20.

Dos o ms
Que
tienen

significados
Unidas
por

Son

Smbolos

Que

Remplazan

a las

Conjunciones
gramaticales
Adverbio de
negacin NO.

Es posible que sus


miembros
componentes sean
aceptados a la vez.

que
se

el

que
se

el

PARA SEPARAR
PROPOSICINES
BASICAS

PARENTESIS:( )

EJEMPLO:
Si hay calor y humedad , entonces hay lluvia. :

(p
2

CORCHETES: [ ]

q)

Son los que se usan para para separar


las propiedades moleculares de
acuerdo a la jerarqua que le da el
sentido lgico .

LLAVES:{ }

r
PARA SEPARAR
FORMAS LOGICAS
MENORES

EJEMPLO :
Si hay calor y humedad , entonces hay lluvia
siempre y cuando se trate de la regin andina :

PARA SEPARAR
FORMAS
LOGICAS
MAYORES

EJEMPLO:
Es absurdo que; si hay calor y
humedad, entonces hay lluvia
siempre y cuando se trate de
la regin andina :

JERARQUIA EN EL ESQUEMA MOLECULAR :


Dentro de la estructura de un esquema
molecular solo uno de los conectivos lgicos es
de mayor jerarqua, el cual va dar el nombre al
esquema molecular. Para ello se debe tener en
cuenta el correcto uso de los signos de
coleccin entre las diferentes variables
proposicionales .

TAUTOLOGIA
Es todo proposicin cuyo valor
es siempre verdadero(v) ,
`para cualquier combinacin
de los valores de verdad de
sus componentes , se le
denota por v.
EJEMPLO:

CONTRADICCION

CONTINGENCIA

Es toda proposicin cuyo valor


de verdad es siempre falso (F)
, cualquier combinacin de los
valores de verdad de sus
componentes . Se le denotan
por F.
EJEMPLO:

Es toda proposicin lgica


cuyo valor de verdad tiene al
menos un verdadero (V)y un
falso (F).

EJEMPLO: