CARATULAA

INDICE
 INTRODUCCION
La lgica matemtica son las leyes del razonamiento en matemticas, pero como
veremos, son las mismas leyes que utilizamos en la vida ordinaria para razonar.
La lgica viene a ser tan antiguo como la filosofa, la palabra LOGICA viene del
griego LOGOS que significa la razn ley y palabra.
Se dice que Aristteles fue el fundador de la lgica y que la defini como una
ciencia que estudia el razonamiento correcto, por la que lo entenda como un
instrumento al servicio de las dems ciencias.
En este estudio de lgica, el principal objetivo ser investigar los diversos
argumentos y un conjunto de enunciados, para sacar una conclusin de las dems
premisas y proposiciones.
Uno se pregunta Qu es la lgica?, digamos que sea as: si una persona deja
caer un vaso de vidrio al suelo, es lgico que se va a quebrar. En la vida diaria en
la investigacin cientfica muchos de los xitos o fracasos de los empresarios se
deben a la eficacia de su razonamiento, y el peor error de un razonamiento, hace
que la persona corrija para no equivocarse.
La lgica se encarga de determinar en qu momento o por qu motivo hay un error
en el razonamiento. Actualmente la lgica es algo ms rigorosa, utiliza lenguajes
con smbolos, para que no se cometan errores en el lenguaje comn, no permite
ambigedades, es decir, actualmente con la lgica simblica no cometemos
errores peligrosos
 DESARROLLO

El razonamiento lgico se emplea en matemticas para demostrar teoremas; en

ciencias de la computacin para verificar si son o no correctos los programas; en
las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las
ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas.
Ciertamente se usa en forma constante el razonamiento lgico para realizar
cualquier actividad. (Murillo, s.f.)
La lgica matemtica es la operacin mental por lo cual una o varias premisas se
deduce en una sola premisa, llamada tambin conclusin, pero qu es una
premisa? Una premisa no es ms que una oracin.
Entonces:
La lgica nos permite ir ms all de la informacin que nos proporcionan nuestros
sentidos y un contexto determinado.
Qu es lgica?
La lgica es una disciplina que usa reglas y tcnicas para estudiar el razonamiento

Lgica Estudia el
Lgica general

dialecto contenido

Lgica Estudia la Lgica proposicional

formal forma
Lgica matemtica

Anteriormente mencionamos lgica proposicional, pero Qu es una proposicin?

O de donde proviene el termino proposicional? Si ya est dicho que la lgica es el
razonamiento, entonces concluimos que la lgica proposicional va a ser el
razonamiento de las proposiciones.
La proposicin: es la expresin hablada o escrita de un juicio de valor definido, en
donde se puede afirmar con absoluta seguridad si es verdadera o es falsa pero no
ambas a la vez. Esta caracterstica de afirmar si es verdadera o falsa se denomina
valor de verdad (RICH)
La proposicin en otras palabras es como una oracin que se le puede asignar un
valor de verdad, ya sea verdadero representado por el 1, o falso representado
por el 0 pero no ambas a la vez.
 Clases de proposicin

Valor de verdad Numero de proposicin

Proposicin abierta Proposicin simple

Proposicin cerrada Proposicin compuesta

CONECTORES LGICOS
Los conectores lgicos son smbolos que nos permiten realizar operaciones
lgicas, conectando 2 o ms proposiciones simples.
La negacin
La negacin no es propiamente una proposicin compuesta, esta cambia el valor
de la verdad de una proposicin su simbologa es o y se lee NO o
NO ES CIERTO QUE, esto quiere decir que, si P es una preposicin, la negacin
se denota con: ~ P y se le NO P; es falso que P; no es verdad que P; no es cierto
que P. Entonces se presentas solo 2 casos de proposicin, dado que es una
proposicin lo que interviene
Su tabla de verdad es
P ~P En la tabla vemos que
V F 1. Si P es V entonces ~P es F
F V 2. Si P es F entonces ~P es V

ejemplo
Si se tiene la proposicin La negacin es
a) Tengo un billete de 5 dlares a) NO tengo un billete de 5 dlares
b) No quiero hacer el viaje b) QUIERO hacer el viaje
La conjuncin
La conjuncin resulta al unir 2 proposiciones con la letra Y utiliza el conector . Si
P y Q son 2 proposiciones, la proposicin compuesta es PQ.
Su tabla de verdad es

P Q PQ
1 1 1 La conjuncin es verdadera solo en el caso de que las
dos proposiciones P y Q son verdaderas, en los otros
1 0 0
casos es falsa. Las conjunciones copulativas se
0 1 0 presentan con los trminos: Y, PERO, MAS,
0 0 0 TAMBIEN y signos de puntuacin: coma, punto y
coma, y el punto.
Ejemplo
P: Luis es soltero Q: Luis es feliz
Luis es soltero Y feliz.
P=1 Q=0

La disyuncin inclusiva
La disyuncin resulta de unir 2 proposiciones con o su smbolo es V.
La disyuncin inclusiva o suma lgica es un conector lgico o una proposicin
lgica didica, que se disea usando la o en el sentido inclusivo con
aclaraciones necesarias. La conjuncin gramatical o seala la disyuncin. Sin
embargo, se nota cierta ambigedad, ya que puede captarse en dos sentidos:
incluyente y excluyente (enciclopedia, 2015)
Su tabla de verdad es:

P Q PvQ
1 1 1
Ntese que P v Q es falsa solo en el caso de que las
1 0 1 dos proposiciones P, Q sean falsas, en los otros
0 1 1 casos es verdadera.
0 0 0