Está en la página 1de 5

LOGICA

COLEGIO TECNICO VICENTE AZUERO


AREA DE MATEMTICAS UNDECIMO
Taller 3
Nombre: _____________________________________________________ Grado _______
l

1. CONCEPTO DE LGICA MATEMTICA


La Lgica estudia la forma del razonamiento. La Lgica Matemtica es la disciplina que trata de mtodos de
razonamiento. En un nivel elemental, la Lgica proporciona reglas y tcnicas para determinar si es o no valido un
argumento dado. El razonamiento lgico se emplea en Matemticas para demostrar teoremas, sin embargo, se usa en
forma constante para realizar cualquier actividad en la vida.
DEFINICIN Y CLASES DE PROPOSICIONES
Una proposicin o enunciado es una oracin que puede ser falso o verdadero pero no ambas a la vez.
Toda proposicin consta de tres partes: un sujeto, un verbo y un complemento referido al verbo. La proposicin es un
elemento fundamental de la Lgica Matemtica.
A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el porqu algunos
enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula, dos puntos y la
proposicin propiamente dicha.
Ejemplos.
p:
Mxico se encuentra en Europa.
q:
156 = 9
r:
2x 3 > 7
s:
Los precios de los telfonos celulares bajarn a fin de ao.
t:
Hola cmo ests?
w:
Cmete esa fruta!
Los enunciados p y q pueden tomar un valor de falso o verdadero, por lo tanto, son proposiciones validas. El inciso r
tambin es una proposicin valida, aunque el valor de falso o verdadero depende del valor asignado a la variable x en
determinado momento. La proposicin del inciso s tambin est perfectamente expresada aunque para decir si es falsa
o verdadera se tendra que esperar a que terminara el ao. Sin embargo, los enunciados t y w no son vlidos, ya que no
pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.
En general, las proposiciones pueden ser:
Simples si slo tienen un sujeto, un verbo y un complemento. En caso contrario, son proposiciones Compuestas.
Cerradas si tienen determinado el sujeto.
Abiertas si no lo tienen determinado.
Afirmativas o Negativas. Segn lo afirmen o nieguen.
Verdaderas o Falsas segn correspondan o no a la realidad.
Ejemplos.
h:
j:
k:
l:
m:
n:

"Ana come pizza y bebe refresco", es una proposicin compuesta, cerrada y afirmativa.
"Ella no nada muy rpido", es una proposicin simple, abierta y negativa.
Cuernavaca no est al norte del D.F. y no hace fro", es una proposicin compuesta, cerrada, negativa y verdadera.
7 + 3 =10 es una proposicin simple, cerrada, afirmativa y verdadera.
x2 x 2 es una proposicin simple, abierta y negativa.
a + b = 6 es una proposicin compuesta, abierta y afirmativa

CONECTORES LGICOS EN PROPOSICIONES COMPUESTAS: Trminos de Enlace.


Existen conectivos o trminos de enlace u operadores lgicos que permiten formar proposiciones compuestas, Los
operadores o conectores bsicos son: Estas palabras por cortas que sean, no deben subestimarse, pues son de gran
importancia. Tanto es as que se estudiaran algunas reglas muy precisas para el uso de esta clase de trminos de enlace.
Los trminos de enlace que estudiaremos en este captulo son las palabras: y, o, no, y si, entonces

ORLANDO MONSALVE AGUILAR

DANIEL MORENO CAICEDO

LOGICA

CONJUNCIN (operador and y)

Smbolo

Se utiliza para conectar dos proposiciones que se deben


cumplir para que se pueda obtener un resultado
verdadero. Se le conoce como multiplicacin lgica y
su smbolo es (and).

Negacin (operador not)

Smbolo

DISYUNCIN (operador or o)

Smbolo

Con este operador se obtiene un resultado verdadero


cuando alguna de las proposiciones es verdadera.
Se conoce como suma lgica y su smbolo es (or).

Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica el
operador not se obtendr su negacin (falso) y viceversa. Este operador se indica por medio del smbolo .
Su tabla de verdad es como sigue:
Ejemplo.
Sean las proposiciones:
p: Ya es tarde.
q: Tengo que dormirme.
r: Me levantar temprano.
El enunciado: "Ya es tarde y tengo que dormirme o no me levantar temprano. Se puede representar simblicamente
de la siguiente manera:
p q r
PROPOSICIONES CONDICIONALES
Una implicacin o proposicin condicional, es aquella que est formada por dos proposiciones simples (o compuesta) p
y q. Se indica de la siguiente manera:
pq (se lee "si p entonces q")
Ejemplo.
Un profesional dice "Si ahorro me podr comprar una casa en tres aos. Una declaracin como esta se conoce como
condicional.
Sean:
p: Ahorro.
q: Podr comprar una casa en tres aos.
De tal manera que el enunciado se puede expresar como: pq
Su tabla de verdad es de la siguiente manera:
La interpretacin de los resultados de la tabla es la siguiente:
Analizando si el profesional minti con la afirmacin del enunciado anterior: Cuando p=v significa que ahorr y q=v
que se compr la casa en tres aos, por lo tanto pq =v (el profesional dijo la verdad).
Cuando p=v y q=f significa que pq =f, el profesional minti, ya que ahorr y no se compr la casa.
Cuando p=f y q=v significa que aunque no ahorr se compr la casa (ya tena los recursos), as que no minti, de tal
forma que pq =v. Cuando p=f y q=f se interpreta que aunque no ahorr tampoco se compr la casa, por lo tanto pq
=v ya que tampoco minti.
PROPOSICIN BICONDICIONAL
Sean p y q dos proposiciones. Una doble implicacin o proposicin es bicondicional cuando p es verdadera si y solo si
q es tambin verdadera. O bien p es falsa si y slo si q tambin es falsa. Se indica de
la siguiente manera:
pq (se lee "p si y slo si q")

ORLANDO MONSALVE AGUILAR

DANIEL MORENO CAICEDO

LOGICA

Ejemplo.
Sea el siguiente enunciado:
"Una persona puede votar, si y slo si, tiene credencial de elector"
p: Una persona puede votar.
q: Tiene credencial de elector.
Su tabla de verdad es.
La interpretacin de los resultados de la tabla es la siguiente:
Cuando p=v significa que una persona puede votar y q=v que tiene credencial, al ser esto cierto, pq =v. Cuando p=v
una persona puede votar y q=f no posee la credencial. Significa que pq =f
Cuando p=f y q=v significa que una persona no puede votar aunque tenga credencial esto es que pq =f. Cuando p=f
y q=f se interpreta como que no puede votar, no tiene credencial, por lo tanto es cierto pq =v.
Ejemplo.
Representar simblicamente el enunciado: "Si no pago la luz, entonces me cortarn la corriente elctrica.
Y Si pago la luz, entonces me quedar sin dinero o pedir prestado. Y Si me quedo sin dinero y pido
prestado, entonces no podr pagar la deuda, si y slo si soy desorganizado"
Solucin
p: Pago la luz.
q: Me cortarn la corriente elctrica.
r: Me quedar sin dinero.
s: Pedir prestado.
t: Pagar la deuda.
w: Soy desorganizado.
(pq)[p(rs)][(rs)t]w
El nmero de lneas de la tabla de verdad depende del nmero de variables de la expresin y se puede calcular por
medio de la siguiente formula.
No de lneas n2 donde n es el nmero de variables distintas.
Ejemplo.
Dada la siguiente proposicin: [(pq)(qr)](rq).
Elaborar su tabla de verdad.
Solucin.
La proposicin tiene 3 variables por tal el numero de lneas es 2 3 = 8
La primera proposicin (p) tendr 4 lneas verdaderas y 4 lneas falsas, la segunda proposicin (q) tendr 2 y 2 lneas
verdaderas y falsas y la tercera proposicin (r) tendr una y una lneas verdadera y falsa, asi:
p

pq

(qr) (pq) (qr)

rq

[(pq)(qr)](rq)

TAUTOLOGA, EQUIVALENCIA Y CONTRADICCIN


Tautologa es aquella proposicin (compuesta) que es cierta para todos los valores de verdad de sus variables. Un
ejemplo tpico es la proposicin contrapositiva cuya tabla de verdad se indica a continuacin.
p

pq

qp (pq)(qp)

ORLANDO MONSALVE AGUILAR

DANIEL MORENO CAICEDO

LOGICA

Ntese que en las tautologas para todos los valores de verdad el resultado de la proposicin es siempre uno. Las
tautologas son muy importantes en Lgica Matemtica ya que se consideran leyes en las cuales se puede apoyar para
realizar demostraciones.
Se dice que dos proposiciones son lgicamente equivalentes, o simplemente equivalentes. Si coinciden sus resultados
para los mismos valores de verdad. Se indican como pq.
En el ejemplo anterior, se puede observar que las columnas de (pq) y (qp) son iguales para los mismos valores
de verdad, por lo tanto se puede establecer que (pq) (qp)
Contradiccin es aquella proposicin que siempre es falsa para todos los valores de verdad, una de las ms usadas y
ms sencilla es pp . Como lo muestra su correspondiente tabla de verdad.
p p pp
010
100
Ejemplo.
Si se tiene p: El coche es verde, la proposicin pp equivale a decir que "El coche es verde y el coche
no es verde". Por lo tanto se esta contradiciendo, es decir, es una falacia.
LEYES NOTABLES EN LGICA

4.- Leyes conmutativas

Las leyes de lgica ms notables son las que se enlistan


a continuacin:

(pq) (qp)
(pq) (qp)
(pq) (qp)

1.- Ley de doble negacin

(p) p

2.- Leyes de idempotencia

5.- Leyes distributivas


[p(qr)] [(pq)(pr)]
[p(qr)] [(pq)(pr)]

(pp) p
(pp) p
3.- Leyes asociativas
[(pq)r] [p(qr)]
[(pq)r] [p(qr)]

ORLANDO MONSALVE AGUILAR

6.- Leyes de De Morgan


(pq)' (p'q')
(pq)' (p'q')

DANIEL MORENO CAICEDO

Nuestros vecinitos Igor, Jons, Len y Simn son unos nios prodigio. Cada uno habla un idioma extico (griego, chino, ruso o sueco) adems de su
lengua natal y toca a la perfeccin un instrumento (tuba, fagot, oboe o violn). El idioma que hablan, el instrumento que tocan y la edad que tienen (5, 6, 7
u 8 aos) son distintos para cada nio. Deduce, para cada uno, el idioma que habla, el instrumento que toca y la edad que tiene asumiendo que las
siguientes afirmaciones son verdaderas.
1.
Si el que habla sueco no toca el oboe, el de 7 aos no toca el violn.
2.
Si el de 7 aos no toca el violn, Len tiene 6 aos.
3.
Si Len tiene 6 aos, Simn no tiene 6 aos.
4.
Si Simn no tiene 6 aos, Len toca el oboe.
5.
Si Len toca el oboe, Len habla sueco.
6.
Si Jons no habla ruso, el que habla sueco no toca el oboe.
7.
Si Jons habla ruso, el de ocho aos habla chino.
8.
Si el de 8 aos no toca el oboe, Len tiene 5 aos.
9.
Si Len tiene 5 aos, el de 7 aos habla ruso.
10. Si el de 7 aos habla ruso, Len toca el oboe.
11. Si Len toca el oboe, Igor no habla griego.
12. Si Len habla sueco, el de 6 aos toca el fagot.

http://profe-alexz.blogspot.com/2011/03/razonamiento-logico-matematico.html
http://www.itchihuahuaii.edu.mx/ServTec/BibliotecaVirtual/MateDiscretas/MateDisVazArm-Cap2Prot.pdf

Geogebra.

Orlando Monsalve Aguilar

Daniel Moreno Caicedo