1

CONTENIDO DE LA ASIGNATURA DE MATEMTICA PARA INGENIERAS

1. LOGICA MATEMATICA

1.1. RESEA HISTRICA

Los principios formales de las matemticas se desarrollan en Grecia. Platn, Aristteles y Euclides
proponen las primeras ideas hacia la lgica: Platn propone ideas o abstracciones. Aristteles
resuelve el razonamiento deductivo y sistematizado. Euclides es el autor que establece el mtodo
axiomtico.


El trabajo de Aristteles contiene el primer tratado sistemtico de las leyes de pensamiento para la
adquisicin de conocimiento. Representan el primer intento serio que funda la lgica como ciencia.


Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero
presentaron un sistema matemtico para modelar operaciones lgicas. La lgica tradicional
aristotlica fue reformada y completada, obteniendo un instrumento apropiado para investigar
sobre los fundamentos de la matemtica.


2

La disciplina de la lgica matemtica recibi este nombre gracias a Giuseppe Peano, quien reform
y complement la lgica tradicional Aristotlica, obteniendo un instrumento apropiado para
investigar sobre los fundamentos de la matemtica. El tradicional desarrollo de la lgica enfatizaba
su centro de inters en la forma de argumentar, mientras que la actual lgica matemtica lo centra
en un estudio combinatorio de los contenidos.

LGICA MATEMTICA.-

La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas
determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa,
matemticas, computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o
no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber
el significado correcto. En las matemticas para demostrar teoremas e inferir resultados
matemticas que puedan ser aplicados en investigaciones. En la computacin para revisar
programas. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza
tiene un procedimiento lgico, por el ejemplo; para ir de compras al supermercado un ama de casa
tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona
desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si
antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte
alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o derecho, l
puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la
aplicacin de la lgica.

QUE PRETENDE LA LGICA MATEMTICA.-

La lgica matemtica es el intento de dar una forma universal al pensamiento, expresndolo por
un sistema unvoco de signos (estos quiere decir, un sistema en el que cada signo tenga un solo
significado en un mismo contexto), con un sistema de relaciones entre esos signos comparable al
clculo matemtico, para alcanzar as todas las verdades.

La lgica matemtica pretende hacer que todas las relaciones reales se vuelvan formales; pretende
reducirlas a una expresin matemtica que pueda ser calculada como en las matemticas.

Por esa razn es que se le llama tambin lgebra de la lgica.

1.2. PROPOSICIONES.

ENUNCIADOS ABIEROS Y ENUNCIADOS CERRADOS.-

Un enunciado: es un conjunto de smbolos por medio de los cuales expresamos lo pensado en un
juicio, ya sea en formal, oral o escrita.

Enunciados Abiertos o simples: son aquellos que tiene un nico valor de verdad. Es el que no tiene
otro enunciado como parte componente. Ejemplo: Las rosas son rojas.
3


Enunciados Cerrados o compuestos: un enunciado compuesto contiene otro enunciado como
componente. Ejemplo: Las rosas son rojas y las violetas son azules.

PROPOSICIONES LGICAS.-

Se entiende como tal a una frase en la que se declara algo y a la que podemos asignar un valor de
verdadero o falso; pero no ambos al mismo tiempo.

Las proposiciones son el lenguaje formal de la lgica simblica por el cual estn regidas todas las
leyes de esta matemtica que utiliza la simbologa como su principal fuente de estudio.
En si las proposiciones son oraciones literarias o matemticas en la cual tiene sentido establecer un
valor de verdad o falsedad. Es decir una proposicin puede ser verdadera o falsa y no ambas a la
vez. Y por lo tanto una oracin que no tenga sentido o carezca de valor no ser considerada
proposicin.

Hay dos clases de proposiciones: simples y compuestas, tambin llamadas atmicas y moleculares
respectivamente.

a. Proposiciones Simples.- Tambin denominadas atmicas. Son aquellas proposiciones que no se
pueden dividir. Ejemplo:
El cielo es azul. (verdadero)
Nomenclatura: p

b. Proposiciones Compuestas.- Tambin denominadas moleculares. Son aquellas que estn
formadas por dos o ms proposiciones simples unidas por los operadores lgicos. Ejemplo:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jvenes o universitarios.
Si el mircoles prximo me saco la lotera entonces te regalar un auto.

Oraciones que no son consideradas Proposiciones.-

Las siguientes Oraciones nunca sern consideradas proposiciones:

a) Oraciones Interrogativas (?)
Este tipo de Oraciones llamadas "Interrogativas" indican alguna pregunta dentro del
lenguaje literario y por este motivo estas oraciones carecen de un valor de verdad es decir
no pueden ser ni verdaderas ni falsas. Al no ser consideradas ni falsas ni verdaderas no
pueden ser proposiciones.
Ejemplos:
1.- Cmo te llamas? No tiene sentido afirmar si es verdadero o falso
2.- A dnde Vas? No tiene sentido afirmar si es verdadero o falso
4.- Que te gusta tomar? No tiene sentido afirmar si es verdadero o falso
5.- Cuntos aos tienes? No tiene sentido afirmar si es verdadero o falso
4


Por lo tanto llegamos a la conclusin de que cualquier oracin interrogativa no puede ser
considerada una proposicin.

b) Oraciones de Admiracin (!)
Estas oraciones de "Admiracin" tampoco son consideradas proposiciones ya que este tipo
de oracin indica algo admirable y por ende no tiene sentido afirmar si dicha oracin es
verdadera o falsa. Al tener estas caractersticas no podrn ser consideradas proposiciones
Ejemplos:
1.- Viva Ecuador! No tiene sentido afirmar si es verdadero o falso
2.- Viva La Mama Negra! No tiene sentido afirmar si es verdadero o falso
3.- es Linda mi tierra! No tiene sentido afirmar si es verdadero o falso
4.- Que sin das flores! No tiene sentido afirmar si es verdadero o falso

c) Oraciones de Deseo
Estas oraciones de "Deseo" tambin no son consideradas proposiciones ya que cuando uno
expresa un deseo este deseo puede ser falso y verdadero al mismo tiempo. Al tener esta
caracterstica no pueden ser consideradas proposiciones
Ejemplos:
1.- Deseo helados
2.- Quiero ir a la plaza
3.- Quiero que gane la seleccin
4.- Quiero darte un beso

d) Oraciones de Orden
Es otro tipo de oraciones las cuales entran en el grupo de las no pertenecientes a las
proposiciones ya que una oracin literal de orden no tendr sentido afirmar si es verdadera
o falsa por el mismo hecho de que se trata de una oracin de orden al tener esta
caracterstica no ser considerada Proposicin.
Ejemplos:
1.- Treme una silla
2.- Bscame un lpiz
3.- Traigan todos los documentos
4.- Acomoden en aula

1.3. OPERADORES LGICOS.

Son elementos que sirven de enlace entre las proposiciones, para formar otra, denominada
proposicin molecular.
Conectivos lgicos ms empleados son:

5


NEGACIN.- Es un elemento lgico que acta independientemente de la proposicin.
Regla.- La negacin de una proposicin verdadera es falsa. La negacin de una proposicin falsa es
verdadera.
Nomenclatura: Se lee no p.

Ejemplo:
p.- Juan conversa
-p.- Juan no conversa



CONJUNCIN.- Es la unin de dos o ms proposiciones mediante el conectivo lgico y, pero,
tambin, sin embargo, adems, etc.
Regla.- Es verdadera la proposicin conjuntiva nicamente cuando las dos proposiciones son
verdaderas (p y q), en cualquier otro caso es falsa.
Nomenclatura: Se lee p y q.
6


Ejemplo:
P: La casa est sucia.
Q: La empleada la limpia maana
P Q: La casa est sucia y la empleada la limpia maana



DISYUNCIN.- Une proposiciones mediante el conectivo lgico o.
Regla.- Una proposicin disyuntiva es verdadera cuando por lo menos uno de sus componentes es
verdadero. Es falsa slo cuando todos sus componentes son falsos (p o q).
Nomenclatura.- Se lee p o q.

Ejemplo:
P: Pedro juega bsquet
Q: Mara juega ftbol
PvQ: Pedro juega bsquet o Mara juega ftbol.

7



CONJUNCIN NEGATIVA.- Es la unin de dos o ms proposiciones por ni.
Regla.- El resultado es verdadero nicamente cuando las dos proposiciones son falsas (ni p ni q), en
cualquier otro caso es falsa.
Nomenclatura.- Se lee ni p ni q.

Ejemplos:
ni 3 + 2 = 5, ni 2 + 4 = 6
Simblicamente tenemos:
p
+
q
p: 3 + 2 = 5 V (p) = V
q: 2 + 4 = 6 V (q) = V
Consecuentemente tenemos que:
V (p
+
q) = F
p: 3 + 2 = 5 V ( p) = F
q: 2 + 4 = 6 V ( q) = F;
Consecuentemente:
V ( p . q) = F
Entonces se deduce que:
(p
+
q)

( p . q )
Su tabla de verdad es:
p q
( p
+
q )
V
V
F
F
V
F
V
F
F
F
F
V
8


DISYUNCIN EXCLUSIVA.- Es la unin de dos o ms proposiciones mediante el conectivo lgico
o.
Regla.- Es verdadera la proposicin cuando la primera proposicin es verdadera y la segunda es
falsa o cuando la primera proposicin es falsa y la segunda verdadera.
Nomenclatura.- Se lee o p o q, pero no ambos.

Ejemplos:
Carmen es hija de Jos de Vicente

Simblicamente tenemos:
p: Carmen es hija de Jos V(p) = V
q: Carmen es hija de Vicente V (q) = V

En consecuencia: V (p v q) = F
(p v q) que se lee: p q, pero no ambas.

25
= 6 o 3 + 9 = 7
p:
25
= 6 V (p) F
q: 3 + 9 = 7 V 8q) = F

En consecuencia: V (p v q) = F

DISYUNCIN NEGATIVA.-
Regla.- El enunciado es falso cuando las proposiciones simples que la forman son verdaderas.
Nomenclatura.- p / q; que se lee no no q.
Ejemplo: No eres pintor o no eres artista p / q
p: eres artista V (p) = V
q: eres pintor V ( q) = V

En consecuencia:
V (p / q) = F
9


p: no eres artista V (p) = F
q: no eres pintor V (q ) = F

Consecuentemente:
V (p v q) = F

Luego: p / q
~
(p v q )

Su tabla de verdad es:
p q ( p / q )
V
V
F
F
V
F
V
F
F
V
V
V

CONDICIONAL.- Viene a ser la combinacin de dos proposiciones con si entonces.
Regla.- Una proposicin condicional es falsa cuando la primera proposicin es verdadera y la
segunda es falsa. Es verdadera en cualquiera de las otras formas
Nomenclatura.- Se lee si p entonces q.

Ejemplo:
P: Si me saco la lotera
Q: Te regalar un carro
P Q: Si me saco la lotera entonces te regalar el carro.



10

BICONDICIONAL.- Es la unin de dos proposiciones por si y slo si.
Regla.- Una proposicin bicondicional es verdadera cuando, o sus dos componentes son
verdaderos o sus dos componentes son falsos.
Nomenclatura.- Se lee p si y slo si q.

Ejemplo
P: Simn Bolvar vive
Q: Montalvo est muerto
P Q: Simn Bolvar vive si y solo si Montalvo est muerto.

Tabla resumen:

11

1.4. POLINOMIOS BOOLEANOS.

VARIABLES LGICAS

Si las letras p, q, r, etc. Designan un elemento cualquiera del conjunto de proposiciones, es decir
pueden designar indistintamente a cualquier elemento, entonces se dice que p, q, r, etc. Son
variables lgicas.

EJEMPLO:
p: Quito es la capital del Ecuador
q: Quito es Luz de Amrica
r: Todo tringulo tiene cuatro lados
p: Todo tringulo tiene cuatro lados
q: Quito es la capital del Ecuador
r: Quito es Luz de Amrica

Como podemos observar si las letras p, q, r, con o sin subndices, designan a cualquier proposicin,
entonces se llaman Variables Lgicas

Podemos construir Polinomios Booleanos, coordinando proposiciones mediante los operadores o trminos
lgicos.

EJEMPLO:

1. P ~q
2.(p v q) ~ (~ p)
3.(p v q) (p q)
4.(p v q) (q p)
5.p q ~ p v q
6.P p q q p

En general, los polinomios booleanos se construyen combinando las variables lgicas con los operadores o
trminos lgicos.

Es decir, al polinomio booleano se le conoce tambin como proposicin compuesta o con el nombre de
frmula.
FUENTE: http://cafpolinomiosbooliano.blogspot.com/2013/05/booliano-variables-logicas-si-las.html

1.5. TABLAS DE VERDAD.

Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms popular es el
que introdujo Ludwig Wittgensteinen su Tractatus logico-philosophicus, publicado en 1921.

La tabla de los "valores de verdad", es usada en el mbito de la lgica, para obtener la verdad (V) o
falsedad (F), de una expresin o de una proposicin. Adems sirven para determinar si es que un
determinado esquema de inferencia es formalmente vlido como un argumento, llegando a la
12

conclusin de que ste es una tautologa (cuando todos los valores de la tabla mencionada son "V"
o sea verdadero).

Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos como: no, o, y,
sientonces, s y slo si. La interpretacin corresponde al sentido que estas operaciones tienen
dentro del razonamiento.
Ejemplo: Video.
p ^ q --> p
p q p^q p^q-->p
V V V V
V F F V
F V F V
F F F V
TAUTOLOGA
Ejercicio: Juan partir para Japn, si Mara se queda en Venecia. Rosa viajar a Luxemburgo o Juan
no partir para Japn. O Mara no se queda en Venecia o Rosa no viajar a Luxemburgo. Por
consiguiente, Mara no se queda en Venecia.
Juan Japn: p
Mara Venecia: q
Rosa Luxemburgo: r
((q -> p) & (r v p)) & (q v r) -> q

( ( q -> p ) & ( r v p ) ) & ( q v r ) -> q

V V V

V

V V F V

F

F V F F V

V F V

V V V

F

F F F V

F

F V V V F

V F V

F V V

V

V V F V

V

V F V F V

V V F

F V V

F

F F F V

F

V F V V F

V V F

V F F

F

V V V F

F

F V F F V

V F V

V F F

F

F V V F

F

F V V V F

V F V

F V F

V

V V V F

V

V F V F V

V V F

F V F

V

F V V F

V

V F V V F

V V F
TAUTOLOGA

Ejercicios para resolver:
13

1. p ^ q --> p
2. p v p --> r
3. p v (q --> r)
4. (p --> q) ^ (q --> r) --> (p --> r)
5. p --> (q --> r)
6. p v q --> (r v s --> p)
7. p ^ q --> q ^ p
8. (p --> q) ^ p --> q
9. (p --> q) ^ p ^ q
10. (p --> q) ^ (p --> q)
11. (p --> q) ^ q --> p
12. (p --> q) ^ q --> p
13. (p --> q) ^ p --> q
14. (p ^ q) <--> p ^ q
15. (p ^ q) <--> p v q
16. [(p --> q) ^ (q --> r)] ^ (p --> r)
17. p --> (q ^ r) --> q)
18. (p v q) <--> r v q
19. (p v q) <--> p v r
20. (p --> q) <--> p ^ r)

1.6. ORDEN DE LOS OPERADORES LGICOS.

OPERADOR LGICO LGICA SIMBLICA TERMINOLOGA LGICA
Negacin no
Conjuncin . y
Disyuncin v o
Disyuncin exclusiva v o en sentido excluyente
Conjuncin negativa + ni.ni
Disyuncin negativa / nono
Condicional Si., entonces
Bicondicional Si y slo si
14


1.7. TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA

TAUTOLOGA.- Son los polinomios booleanos cuyos valores de verdad en la columna de la respuesta
son todos verdaderos, se le conoce tambin como verdad lgica.

CONTRADICCIN Son los polinomios booleanos cuyos valores de verdad en la columna de la respuesta
son todos falsos, se le conoce tambin como antitautologa, contradiccin, falsedad lgica o falacia.

CONTINGENCIA Son los polinomios booleanos cuyos valores de verdad en la columna de la respuesta son
verdaderos y falsos.

FUENTE: http://cafpolinomiosbooliano.blogspot.com/2013/05/booliano-variables-logicas-si-las.html
http://auladefilosofia.net/2008/10/25/ejercicios-resueltos-de-tablas-de-verdad-y-formalizacion/

1.8. EQUIVALENCIA E IMPLICACIN LGICA

Existe un conjunto de equivalencias e implicaciones lgicas que pueden utilizarse como esquemas
de sustitucin en procesos de razonamiento, o como esquemas de razonamientos vlidos
respectivamente. A continuacin se muestra un breve resumen de las ms importantes:
15




1.9. LEYES DEL LGEBRA DE LAS PROPOSICIONES

ALGEBRA PROPOSICIONAL.
Una proposicin es una declaracin la cual puede ser verdadera o falsa, por ejemplo: 5 > 4, 2+2=5,
Pedro comi a las 3, Me gusta la sopa. Algunas veces es ms difcil que otras determinar si la
declaracin o proposicin es verdadera o falsa, en otras palabras, si toma el valor de verdad o
falsedad. Sin embargo, esto no cambia el hecho de que existe slo una posibilidad, ya sea que la
propuesta puede que sea verdadera o sea falsa.
16


Algunas declaraciones que no califican con este criterio son Tu sweater es bonito, = 9, Cmo
dijiste?.

Esta definicin propuesta es una definicin formal, esto es, una definicin que se ha hecho
cuidadosamente para que todas las posibilidades queden cubiertas; se ha hecho de este modo con
el fin de que no existan ambigedades ni malentendidos. En muchas ocasiones, se utilizan letras
para representar las proposiciones. Se dice que una proposicin es simple o atmica, si no est
compuesta por otra proposicin. Las Proposiciones compuestas se pueden crear combinando
conectores con proposiciones simples.

LEYES DEL ALGEBRA DE PROPOSICIONES

Las leyes de la algebra de proposiciones son equivalencias lgicas que se pueden demostrar con el
desarrollo de las tablas de verdad del bicondicional. Las leyes del algebra de proposiciones son las
siguientes:
1. EQUIVALENCIA
PP
2. INDEPOTENCIA
PP P
P P P
3. ASOCIATIVA
PQ R (PQ) R P(QR)
PQ R (PQ) R P(QR)
4. CONMUTATIVA
PQ QP
PQ QP
5. DISTRIBUTIVAS
P(QR) (PQ)(PR)
P(QR)(PQ)(PR)
6. IDENTIDAD
PF F
PV P
PF P
PVV
7. COMPLEMENTO
PPF
PPV
(P)P
FV
VF
8. DE MORGAN
(PQ) PQ
(PQ)PQ
17

9. ABSORCION
P(PQ)P
P(PQ)P


FUENTE: http://lgicaepn.blogspot.com/2011/12/leyes-del-algebra-de-proposiciones.html


18

1.10. APLICACIONES

CUANTIFICADOR EXISTENCIAL Y UNIVERSAL (VIDEO)

Cuantificadores: En lgica, teora de conjuntos y matemticas en general,los cuantificadores son smbolos utilizados
para indicar cuntos elementos de un conjunto dado cumplen con cierta propiedad.

Cuantificadores Existenciales: La cuantificacin existencial de P(x) Es la proposicin en que existe un
elemento x en el universo de discurso tal que P(x) es verdad.

Se denota con el smbolo x y se lee de las siguientes maneras: hay un x tal que), hay al menos un x tal que..." o
"para algn x...".

Ejemplo:

Sea A= {1,2,3,4,5} Determine el valor de verdad de cada uno de los enunciados siguientes:

a) ( x A)(x+3=10)
sol: es falso porque ningn nmero de A es una solucin de x+3=10.

b) ( x A)(x+3<10)
sol: es Verdadero. cualquier nmero de A cumple que x+3<10

Cuantificadores Universales: Indican que algo es cierto para todos los individuos.
Sea A una expresin y sea x una variable. Si deseamos indicar que A es verdadero para todos los posibles valores de x,
escribiremos (x) A.
Ejemplos:
- Todos los humanos respiran
( x) (H(x) R(x)) donde el predicado H significa humanos, R respiran y x es un elemento de un dominio general que
podra ser el de las personas o cualquier subconjunto deseado.
- Todos los alumnos son estudiosos
( x) (A(x) E(x)) donde el predicado A significa alumno, E estudioso y x es un elemento de un dominio general que
podra ser el de las personas o cualquier subconjunto deseado.
Representacin de cada cuantificador
- Cuantificador Universal ()
- Cuantificador Existencial ()


19

FUENTES.-
http://estructuradiscretaunerg.blogspot.com/2013/06/cuantificadores-cuantificadores.html
ANLISIS MATEMTICO: Jorge Lara y Jorge Arroba, Centro de Matemtica Universidad Central del
Ecuador.
LGICA MATEMTICA: http://lgicaepn.blogspot.com/2011/12/logica-matematica.html
RESEA HISTRICA: http://logicamatematica1.wordpress.com/2010/08/07/historia-de-la-logica-
matematica/
PROPOSICIONES: http://www.monografias.com/trabajos81/algebra-logica-introduccion-
proposiciones/algebra-logica-introduccion-proposiciones.shtml
ALGEBRA PROPOSICIONAL: http://lgicaepn.blogspot.com/2011/12/leyes-del-algebra-de-
proposiciones.html, http://lgicaepn.blogspot.com/2011/12/logica-matematica.html