Lgica & conjuntos

para MATG

Por
Ing. Carlos Cifuentes Cruz

5/19/17 Ing. 1
PROGRAMA MATG-2017
UNIDADES HORAS DOCENCIA

1. LOGICA Y CONJUNTOS 12

2. EXPRESIONES ALGEBRAICAS 15

3. GEOMETRIA 12
4. FUNCIONES DE VARIABLE REAL 9

BIBLIOGRAFIA
BASICA FUNDAMENTOS DE MATEMATICAS PARA
BACHILLERATO , 2016. ESPOL
COMPLEMENTARIA PRECALCULO, JAMES STEWART,2007 QUINTA
EDICION
5/19/17 Ing. 2
 Lgica
Ciencia que trata sobre los principios formales del razonamiento
Posee lenguaje exacto (no hay dudas) y simblico donde nos
ayuda a comprender el lenguaje matemtico.
No hay ninguna rama de la matemtica, por abstracta
que sea, que no pueda aplicarse algn da a los
fenmenos del mundo real
Nikoli Lobachevski
El mundo orgnico es tan matemtico como
el inorgnico, la base matemtica de los
seres vivos, sin embargo, es mas sutil, mas
flexible y esta profundamente oculta.
D Arcy Wentworth Thompson

5/19/17 Ing. 3
Proposicin y su Definicin
Es una oracin (unidad semntica) a la cual se le
puede asignar un valor de certeza sea FALSO (F) o
VERDADERO (V).
1796 -
Construccin de tablas de verdad. 1874
Las proposiciones tienen dos principios
fundamentales al cual obedecen: principio de no
contradiccin y el principio del tercero excluido.
Quetelet conceptualiz la influencia de
la probabilidad en los acontecimientos
humanos.
5/19/17 Ing. 4
 Proposicin y sus Principios

Principio de no
Principio del tercero
contradiccin: excluido:
La proposiciones no Las proposiciones no
pueden ser falsas o pueden ser discutibles
verdaderas al mismo Entre el ser y no ser no
tiempo ni bajo el mismo hay trmino medio
respecto. pp
(pp)

5/19/17 Ing. 5
Proposiciones y su clase
Cada proposicin tiene su forma lgica donde hay dos
clases de proposiciones :
Simples (Atmicas)
* oracin completa, es la forma bsica
* no tiene trminos de enlace (operadores lgicos)
* pensamiento en el cual se afirma o se
niega algo.

Compuestas (Moleculares)
* Combinacin de proposiciones atmicas enlazadas
con operadores lgicos

Las matemticas sirven para resolver problemas cotidianos, modelar algunas

situaciones, predecir y concluir problemas relacionados con seres vivos.

5/19/17 Ing. 6
 Operadores Lgicos
Los operadores lgicos se los denominan tambin, conectivos o
trminos de enlace, existen 6 clases de conectivos:
NOMBRE CONECTIVO SIMBOLO
1. Conjuncin y
2. Disyuncin o
3. Condicional Si
entonces
4. Bicondicional si y solo si
5. Negacin No o~
6. Disyuncin exclusiva Ov
5/19/17 Ing. 7
Tablas de Certeza
CONJUNCIN
a b ab Para que una conjuncin sea verdadera es
0 0 0 necesario que las dos proposiciones sean
verdaderas.
0 1 0 a pero b. Nern era malvado pero cruel.
1 0 0
1 1 1
Para que una disyuncin sea falsa es
necesario que las dos proposiciones sean
DISYUNCIN INCLUYENTE
o DBILES falsas caso contrario es verdad.
a b ab
Ir de vacaciones a menos que tengas
dinero.
0 0 0
0 1 1 La obesidad es una enfermedad crnica, compleja
pero multifactorial prevenible.
1 0 1
1 1
5/19/17 1 Ing. 8
En nuestro lenguaje la conjuncin podemos emplear como:
p pero q An cuando p no obstante q
p Sin embargo q Al igual que p aunque q
Adems Tanto como Ms an
A la vez Siempre Tambin
ambos..con..
Incluso ..con..los dos a la vez Es compatible
con
As como No solosino As mismo
tambin
Del mismo p a pesar de q De la misma
modo forma que

5/19/17 Ing. 9
En nuestro lenguaje la disyuncin inclusiva o dbil podemos emplear como:
p a menos que q O En todo caso

p excepto que q O tambin

p salvo que q O incluso

p a no ser que q O bien

Y bien o tambin Al menos uno de los

dos..o..

O sino Alternativamente

5/19/17 Ing. 10
DISYUNCIN La disyuncin exclusiva (excluyente) se refiere a lo
EXCLUSIVA o
FUERTES
uno o a lo otro pero no los dos a la vez, para que sea
verdadero es necesario que tengan valores de certeza
a b av diferentes.
b
0 0 0
0 1 1
1 0 1
1 1 0
NEGACIN La negacin de
a a algo verdadero es
falso y viceversa.
0 1
Mondico
1 0
5/19/17 Ing. 11
En nuestro lenguaje la disyuncin exclusiva o fuerte podemos emplear como:
O o no equivale a

O Bien o bien No es cierto que equivale a

No es equivalente O solo. O solo.

con

a menos que salvo que nicamente

solamente

excepto que slo o bien necesariamente

no es lo mismo Salvo que . O .
que
o exclusivamente no es idntico a
5/19/17 Ing. 12
En nuestro lenguaje la negacin podemos emplear como:
No es cierto que Nadie que sea Jams
Es falso que No es el caso que Es inconcebible
que
Nunca No es verdad que Es imposible
que
No ocurre que.. Es absurdo que Es errneo
que
Es mentira que.. No acaece que De ningn
modo
No es el caso Es inadmisible que Es incierto
que que
Es refutable Es falaz que En modo
que alguno
5/19/17 Ing. 13
 CONDICIONA
L Para que la condicional sea falsa
a b ab
es necesario que la hiptesis
0 0 1
(antecedente o premisa) sea
0 1 1 verdad y la tesis (consecuente o
1 0 0 conclusin) sea falsa las dems
1 1 1 son verdad. Me duelen los odos
BICONDICIONAL porque t cantas (causa).
a b ab
Para que una bicondicional sea
0 0 1
verdad es necesario que las dos
0 1 0
tengan el mismo valor de verdad.
1 0 0
1 1 1
5/19/17 Ing. 14
Trabajar en cuaderno de trabajo
a b ab a b ab a b ab a b ab
a a
0 0 0 0 0 0 0 0 1 0 0 1
0 1 0 0 1 1 0 1 1 0 1 0 0 1
1 0 0 1 0 1 1 0 0 1 0 0 1 0
1 1 1 1 1 1 1 1 1 1 1 1
a b av
b
0 0 0
0 1 1
1 0 1
1 15/19/17
0 Ing. 15
Negacin de proposiciones
Recomendacin: Proposicin Negacin
Se deber tener cuidado
al negar proposiciones Todos... Algunos... No
que contengan las
palabras: Todos,
Algnos Ninguno
ninguno o algunos. Algunos...no Todos
Ninguno Algunos
Todo nutricionista es biotico en el tratamiento de sus pacientes.

Ninguna tecnologa es remplazada por un nutricionista hbil para

comunicarse con sus pacientes.

5/19/17 Ing. 16
Condicin necesaria y suficiente

Una condicin necesaria es otro nombre para la tesis.

Una condicin suficiente es otro nombre para la hiptesis.

Figuras geomtricas

Paralelogramos

Cuadrados

5/19/17 Ing. 17
 Traducciones de la condicional Es fcil darse cuenta de la
() tiene las siguientes formas equivalentes: importancia cuantitativa del Ca
si se piensa que el cuerpo de un
q si p q se deduce de p
recin nacido contiene unos 28
p solo si q p por lo tanto q gr. de dicho metal.
p es suficiente para q Bioqumica de la nutricin.
p por Por: Francisco Grande Covian
q es necesaria para p
consiguiente
p por ende q q Coleccin Ensayos Fundacin
q con la condicin que p Juan March (Madrid)
q cuando p p por conclusin
Desde la aparicin del hombre
q siempre que p q
Dado que p por sobre la tierra, el tipo de alimentos
q debido a que p eso
q q vez que p
cada
que ste ha tenido que ingerir para
su sustento, ha variado a travs del
Cuando p, q tiempo, debido a que se vio obligado
q dado que p
q puesto que p a adaptar a aquellos que tena ms
q porque p q se concluye de p prximos y le era ms fcil obtener
con las escasas herramientas que
q pues p q supone que p posea.
q ya que p De, Wikipedia, la enciclopedia
q sigue de p libre, Nutricin.
5/19/17 Ing. 18
 Variaciones de la
condicional
Dada la condicional p q, se
definen:
1. La recproca: qp
2. La inversa: p q
3. La contra recproca: q p
Ley de la contra

reciproca
Una proposicin puede ser remplazada
por su contrarrecproca sin que se afecta
su valor de verdad.

5/19/17 Ing. 19
Tautologa, implicacin y equivalencia

Una proposicin es tautolgica si

y solo si permanece cierta para
todas los valores de certeza de las
proposiciones simples que la
componen. Una tautologa
tambin se conoce como una
frmula vlida.

Una implicacin es una

condicional tautolgica.
Una equivalencia es una
bicondicional tautolgica.
5/19/17 Ing. 20
 Leyes de Inferencia
El paso lgico de las premisas a la conclusin es
Lgica

una deduccin.
Tautologa Forma Simblica
1. Tautologa trivial p p
2. Ley de la doble negacin p (p)
3. Ley del medio excluido p (p)
4. Razonamiento directo [( p q) p] q
5. Razonamiento indirecto [( p q) q] p
6. Ley de transitividad [(p q) (q r)] (p r)
7. Ley de la contra recproca (p q) (q p)
8. Silogismo disyuntivo [(p q) p] q
9. Implicacin y disyuncin (p q) (p q)
10. Ley de no contradiccin [p (p)]

El paso lgico de las premisas a la conclusin es una deduccin.

5/19/17 Ing. 21
MTODOS DE DEMOSTRACIN
Una demostracin (razonamiento vlido) por el proceso deductivo puede
realizarse de 2 maneras:

1. Por el mtodo directo o hiptesis auxiliar (Modus

Ponens), aqu contamos con un conjunto de hiptesis,
los cuales debemos encadenar lgicamente utilizando
las reglas de inferencia, para llegar a la tesis
(demostraciones directas del clculo proposicional).

2. Por el mtodo indirecto o reduccin al absurdo
(demostracin por contradiccin o contrarrecproca,
Modus Tollens). Es una demostracin que se realiza
suponiendo que las hiptesis son verdaderas y que la
tesis es falsa y utilizando los teoremas establecidos
previamente.
5/19/17 Ing. 22
 Razonamientos
El razonamiento lgico es un conjunto de
juicios que mantienen entre s relaciones
lgicas de tal forma que partiendo de
algunos juicios dados, a los que se
denominan premisas podemos llegar
deductivamente a un juicio que no se tena
y que se denominar conclusin.
En un razonamiento no se afirma que la
tesis es verdadera.
Un razonamiento es vlido por su forma y
no por su contenido.
5/19/17 Ing. 23
Si un razonamiento se cumple, es vlido (tautolgico), en caso contrario, no es vlido (falacia).

En un razonamiento vlido se dice a

veces, que la conclusin resulta de las
hiptesis.
NO SE AFIRMA QUE LA TESIS ES
VERDADERA. Slo se afirma que si se
satisfacen las hiptesis, entonces se
asegura la conclusin.
UN RAZONAMIENTO ES VALIDO POR
SU FORMA Y NO POR SU CONTENIDO.

5/19/17 Ing. 24
 Criterios para pasar al lenguaje formal:
1. Identificar las premisas o
hiptesis y la conclusin. Por
lo general las premisas se
encuentran separadas por
puntos, si hay varios de ellos;
o por un punto y coma, o
palabras como: y, ms, pero.
La conclusin se encuentra
despus de expresiones como:
en conclusin, por
consiguiente, es as que, por
lo tanto, de ah que, entre
otras.
2. Asignar a las proposiciones
atmicas letras del alfabeto
5/19/17 Ing. 25
de aqu que generalmente se
3. Simbolizar las hiptesis y la tesis con las
variables proposicionales asignadas en el
paso anterior.
4. Estructurar el razonamiento siguiendo la
caracterstica mencionadas anteriormente.

5. Aplicar cualquier mtodo de

p1 p2 p3 ... pn q
demostracin.

5/19/17 Ing. 26
 Conjuntos
Un conjunto es cualquier agregado o
coleccin bien definidos de objetos o entes
de cualquier ndole, con o sin relacin entre
ellos.
Hay dos mtodos:
1. Mtodo de enumeracin (tabulacin o
extensin)
2. Mtodo descriptivo o comprensin.

5/19/17 Ing. 27
 Cardinalidad
Dos conjuntos
cualesquiera son
equivalentes
(coordinables) si entre
sus elementos puede
efectuarse una
correspondencia
biunvoca.
Adems si estos
conjuntos son finitos,
decimos que tienen el
mismo nmero de
elementos o que tienen
5/19/17 Ing. 28
 Cuantificador

universal es
Cuantificador

Lo representa
Expresiones
comunes:
Para cada x
Cada
Para todo x
Valor de verdad
Cuantificador
existencial
Lo representa x
Expresiones
comunes:
Existe un x tal que
...
Hay un x tal que...
Cuando menos uno...
5/19/17 Ing. 29
Valor de verdad
Axioma de extensionalidad

Sean A y B dos conjuntos, entonces

A y B son iguales si y solo si tienen
los mismos miembros y la misma
Georg
1845

cardinalidad.
A = B (xA x B) (x B x A)
A = B (x A x B).
Representacin grfica de conjuntos.
John Venn (1834 1923)
Matemtico y lgico Ingls, fu ministro
Augustus De Morgan
anglicano. (1806 1871)

Euler (1707 1783) matemtico suizo

5/19/17 Ing. Ngj/v2008 30
3. Con
 Clases de Conjuntos

Subconjunto: (A B)
en lenguaje formal (A B) ( A B)
Subconjunto propio: A B
lenguaje formal:
(A B) (A B) (B A)
Conjunto potencia: P(A)
Lenguaje formal: 2n(A) = {/ A}
XP(A) X A
Conjunto finito .- Aquel que se puede contar hasta
llegar a su ltimo elemento.
Conjunto infinito.- aquel que se pude poner en
correspondencia biunvoca con un subconjunto de
s mismo.

5/19/17 Ing. 31
Conjunto potencia de A, es la coleccin de todos
los subconjuntos de A.
PROPIEDADES DEL CONJUNTO

POTENCIA
1) P ()={}

2) A B P (A) P(B)

3) A=B P (A)=P (B)

4) Si n es el nmero de elementos de A,
entonces P(A) tiene 2n subconjuntos.

5/19/17 Ing. 32
Dar el valor de certeza de las siguientes
proposiciones

A
5 5

4 1,4 ; 2,4
IRe
2,4 2 ; 4
1,2,a,b
3 3,5
5/19/17 M.Sc. Carlos Cifuentes Cruz Ing. 33
Operaciones con Conjuntos
Unin de conjuntos (A Interseccin de conjuntos (A
B) B)
(A B) ( A) ( B) o (A B) (A) ( B ) o
(A B) = { /( A) (B)} (A B) = { /( A) ( B)}
Propiedades Propiedades
1. (A B) = (B A) 1. (A B) = (B A)
2. A = A, Para todo A 2. AB intersecantes
3. A A = A, Para todo A 3. AB= disjuntos
4. AB= A= B= 4. A = para todo A
5. A (B C) = (A B) C 5. A IRe = A para todo A
6. A B C K 6. A A = A para todo A
7. A (B C) = (A B) C
8. ABC K
9. (A B) (A B)

5/19/17 Ing. 34
 Operaciones con Conjuntos
Complementacin Ac
Diferencia de conjuntos (A
B)
IRe A = Ac (A B) ( A) ( B) o
(A B) = { /( A) ( B)}
Propiedades
Ac = {/( IRe) ( A)} 1. (A B) (B A)
2. (A B) A y (B A) B
Propiedades 3. (A B ) (B A) =
4. (A B) (A B) =
1. c = IRe IReC = (A B) (A B) =
(B A) (A B) =
2. (Ac)c = A . Diferencia simtrica
3. A AC = A U A = IRe
C
A B ={ / ( A) ( B)}
O
A B = (A B) U (B A)

5/19/17 Ing. 35
 LEYES DEL ALGEBRA DE CONJUNTOS
UNION INTERSECCIN
Conmutativida
d

Asociatividad

Identidad

Absorcin

Propiedades distributivas

5/19/17 Ing. 36
Cardinalidad de conjuntos y aplicaciones
La Cardinalidad es el numero de elementos que tiene un conjunto como
resultado del proceso de contar.
PROPIEDADES DE LA
CARDINALIDAD

5/19/17 Ing. 37
5/19/17 Ing. 38
"La persona que no est en paz consigo misma, ser una
persona en guerra con el mundo entero".
5/19/17
Mahatma Gandhi Ing. 39