Logica Matematica

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:

Logica Matematica

Cargado por

Copyright:

Formatos disponibles

Logica Matematica

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica Matematica

Cargado por

Copyright:

Formatos disponibles

DESARROLLO DE LA LOGICA MATEMATICA:

<< Giuseppe Peano dio el nombre de Lgica

Es la disciplina que estudia mtodos

QUE NOS AYUDA A:

El objetivo de la lgica matemtica es cuestionar con el

Matemtico y lgico britnico.

Profesor de matemticas en el Colegio

Aplico el calculo a la lgica, fundando el

Dio un mtodo general para formalizar la

p: Ollanta Humala es presidente de Per.

q: Tacna capital de Per.

NOTA: No toda oracin aseverativa es proposicin...

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

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

Es posible que sus

Son los que se usan para para separar

JERARQUIA EN EL ESQUEMA MOLECULAR :

Es toda proposicin cuyo valor

Es toda proposicin lgica

También podría gustarte