Está en la página 1de 3

LOGICA MATEMATICA

1.0 INTRODUCION:
Con seguridad usted se ha preguntado alguna vez, que es pensar con
lgica, un pensamiento es lgico cuando este tiene sentido y coherencia
con lo que se sabe y es libre de ambigedades, lo lgico con sacar
conclusiones siempre verdaderas a partir de la relacin de proposiciones
verdaderas
1.1 CONCEPTOS FUNDAMENTALES DE LA LOGICA MATEMATICA
Esta etapa se caracteriza por el resurgimiento de la formalizacin
rigurosa de las matemticas, que en la etapa clsica griega fue
representativa el uso de los infinitesimales fue una de las practicas ms
notorias en la poca renacentista por la cual se ofrece una justificacin
GUISEPPE PEANO
1858-1932 Acerca de la lgica matemtica y su aplicacin prctica
quedaron contenidos en su obra formulaire de mathematiques

1.1.1 LA PROPOSICION Y SU PAPEL EN LAS MATEMATICAS.


PROCESO DE VERIFICACION DE LA
VERDAD
DE UNA
PROPOSICION
el clculo proporcional constituye un lenguaje como tantos de los que el
ser humano ha creado, para su construccin parte del lenguaje
ordinario, en nuestro caso el espaol , las llamadas proposiciones se
simbolizan con cualquier letra del alfabeto espaol p,q,r,s,t
PLATON
Los conceptos o ideas en una teora son las representaciones
intelectuales de los objetos del estudio producto de una reflexin, los
conceptos en una teora cientfica puede ser indefinidos o definidos, los
conceptos primitivos no tienen definicin a partir de otros conceptos por
ser los fundamentales, los conceptos definidos son los que pueden
caracterizar a partir de otros

Las leyes de una teora pueden ser indemostrables o demostrables, una


ley indemostrable es una proposicin que se acepta como verdadera sin
demostracin y se construyen a partir de los conceptos primitivos

1.1.2 CONECTIVOS Y OPRECIONES PROPOSICIONALES


Los conectores lgicos clasifican las proposiciones como simples o
compuestas, una proposicin es compuestas si y solo si contienen
conectivos proposicionales mientras que una proposicin es simple
(atmica) si y solo si no contiene conectivos lgicos, existe una nueva
proposicin que llamaremos conjuncin, disyuncin, condicional y
obligacin
1.1.2.1 NEGACION
Negamos una proposicin ante poniendo la letra no es usual tambin
negar una proposicin anteponindose a la proposicin la expresin no
es cierto que o no es verdad que no es el caso que
1.1.2.2 CONJUNCION
La palabra y se usa en nuestro lenguaje cotidiano para adjuntar
proposiciones y formar una nueva proposicin, el sentido de la
conjuncin en matemticas es similar a la de la vida cotidiana
CONJUNCION EN CONTEXTO NO MATEMATICO
La conjuncin es verdadera solamente cuando ambas proposiciones son
verdaderas
CONJUNCION EN CONTESTO NO MATEMATICO
La conjuncin no matemtica son dos esquemas de razonamiento
correcto que toda persona utiliza en sus razonamientos cotidianos
1.1.2.3 DISYUNCION
La operacin disyuncin de dos proposiciones p y q consiste en unir las
dos proposiciones mediante el conectivo lgico, en el lenguaje usual
utilizamos la palabra o en el sentido de plantear una indecisin por una
de dos alternativas
DISYUNCION INCLUSIVA

La disyuncin inclusiva de dos proposiciones es verdadera cuando por lo


menos una de lss dos proposiciones es verdadera
PROPIEDAD DE LA DISYUNCION O LEY DE ADICCION
Una disyuncin es verdadera en tres oportunidades: las dos
proposiciones son verdaderas, una es verdadera y la otra no, es
suficiente 1que por lo menos una proposicin sea verdadera
1.1.2.4 CONDICIONAL O IMPLICACION
El condicional o implicacin es una operacin lgica que enlaza dos
proposiciones con el conectivo lgico
En el lenguaje cotidiano o en el contexto de una ciencia se exige que las
proposiciones tengan una estrecha relacin y solo se aceptan aquellas
proposiciones condicionales en las cuales la segunda proposicin
dependa de la primera
CONDICIONAL O IMPLICACION
Una proposicin condicional es falsa si y solo si el antecedente es
verdadero y el consecuente es falso
FORMAS DE EXPRESAR UN CONDICIONAL
Expresar las proposiciones condicionales
si hay vida entonces hay oxgeno , si hay vida implica que hay oxgeno ,
es suficiente que haya vida para que haya oxgeno , es necesario que
haya oxgeno para que haya vida , hay oxigeno si hay vida , hay oxigeno
siempre que haya vida , hay oxigeno cuando hay vida
1.1.2.5 BICONDICIONAL O EQUIVALENCIA
La equivalencia o bicondicional es una operacin lgica que consiste en
unir dos proposiciones simples con el operador lgico
Un bicondicional es verdadero si y solo si ambas proposiciones son
verdaderas o ambas falsas

También podría gustarte