TALLER DE LOGICA MATEMATICA

Es la disciplina que estudia mtodos de anlisis y razonamiento; utilizando el

lenguaje de las matemticas como un lenguaje analtico.
La lgica matemtica 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.
Dentro de la misma, se complementa tambin de la heurstica para resolver
problemas y es muy til en matemticas.
Suele dividirse en cuatro subcampos: teora de modelos, teora de la
demostracin, teora de conjuntos y teora de los sistemas formales en relacin
con el modo en el que codifican conceptos intuitivos de objetos matemticos
como conjuntos, nmeros, demostraciones y computacin.
PROPOSICIONES
Una proposicin es un enunciado del cul es posible indicar si es Falso es
Verdadero, ejemplos:
Plutn es un satlite de Jpiter, corresponde a un enunciado, puesto que es
posible asignarle un valor de verdad que es vlido universalmente.
Qu hermoso paisaje expresin o enunciado que no es posible asignarle un
valor de verdad, la validez no es universal.
Proposicin Atmica o Simple:
Es cuando se hace referencia a un nico contenido de verdad o falsedad;
vendra a ser equivalente a la oracin enunciativa simple en la lengua.
El valor de verdad de una proposicin lgica atmica es, por definicin,
verdadero o falso (podemos representarlo como V o F).
Proposicin Molecular o Compuesta: cuando est constituida por varias
proposiciones atmicas unidas por ciertas partculas llamadas "nexos o
conectivas", que establecen relaciones sintcticas como funcin de
coordinacin y subordinacin determinadas entre las proposiciones que la
integran; tal ocurre en la funcin de las conjunciones en las oraciones
compuestas de la lengua.

~DISYUNCIN: Se representan dos enunciados separadas por la

expresin o basta con que una sea verdadera para que se cumpla la
proposicin (pvq). Su smbolo es: V
EJEMPLOS:
Est lloviendo o es de noche.
Est feliz o est enojado.
Est caminando o est lloviendo.
Hay derivadas o hay integrales.
~CONJUNCIN: Es cuando dos proposiciones simples se combinan mediante la
expresin y , la proposicin compuesta resultante se le llama conjuncin (pq).
Su smbolo es: , &,
EJEMPLOS:
La puerta est vieja y oxidada.

Hace fro y est nevando.

Est lloviendo y es de noche.

Tiene gasolina y tiene corriente.

~NEGACIN: Si p es una proposicin fundamental, de sta se puede formar

otra proposicin, que se le llama Negacin de p, escribiendo: Es falso
que antes de p, , cuando es posible, se inserta en p la palabra No, (p) Su
smbolo es: , ~
EJEMPLOS:
No est lloviendo.

La seora no ceno.

Es falso que 52=12.

en Europa.

Es falso que Alemania se encuentra

CONDICIONAL: Es aquella proposicin compleja cuya conectiva dominante es

el condicional, es decir, aquella expresin apofnatica que tiene la forma p q,
y que se lee si p, entonces q o bien p es condicin suficiente de q, donde A
es el antecedente y B el consecuente. Su smbolo es:
EJEMPLOS:
Si est dormido entonces est soando.
hambre.

Si quiere comer entonces tiene

Si Londres est en Inglaterra entonces Pars est en Francia.

Si hay gasolina en mi tanque entonces mi automvil funciona.
2

BICONDICIONAL: Tambin llamado equivalencia o implicacin doble, es una

proposicin de la forma P si y slo si Q, en la cual tanto P como Q son ambas
ciertas o ambas falsas. Tambin se dice que Q es una condicin necesaria y
suficiente para P,(pq). Su smbolo es: ,
EJEMPLOS:
Esta completo si y solo si tienes todas las actividades.
Saldrs si y solo si acabaste tu tarea.
Est lloviendo si y solo si est nublado.
3+2=5 si y solo si 4+4=8

"Cuadro de conectivos lgicos"

EJERCICIOS
E.1 Un lechero dispone nicamente de dos jarras de 3 y 5 litros de capacidad
para medir la Leche que vende a sus clientes. Cmo podr medir un litro sin
desperdiciar la leche?
E.2 Un enfermo debe tomar una aspirina cada media hora. En cunto tiempo
se tomar 10 aspirinas?
E.3 Almorzaban Juntos tres polticos: El seor Blanco, el seor Rojo y el seor
Amarillo; uno llevaba corbata blanca, otro corbata roja y el otro corbata
amarilla pero no necesariamente en ese orden. Es curioso dijo el seor de
corbata roja nuestros apellidos son los mismos que nuestras corbatas, pero
ninguno lleva la que corresponde al suyo. Tiene Ud. razn , dijo el seor
Blanco.
De qu color llevaba la corbata el seor Amarillo, el seor Rojo y el seor
Blanco, respectivamente?