Lógica y conjuntos

LOGICA Y FUNCIONES
INDICE
INTRODUCCIN
OBJETIVOS ESPECFICOS
RESUMEN GRAFICO
1. LOGICA PROPOSICIONAL
2. Proposiciones
3. Clases de Proposiciones
4. Formalizacin en la Lgica Proposicional
5. Funciones Veritativas Tablas de Verdad
6. Principios Lgicos
Pg.
2. DIAGRAMAS DE CONJUNTOS
2.1. Definiciones Bsicas.
2.2. Diagramas de Conjuntos
2.2.1. Diagramas de Venn
2.2.2. Diagramas de Euler
2.2.3. Diagramas de Carroll
PROFESOR: Ing. DIEGO TUME RUIZ
LOGICA Y FUNCIONES
INTRODUCCIN
Se entiende por lgica matemtica a la disciplina intermedia entre las ciencias formales: Lgica
y matemtica, que trata de resolver los problemas de la lgica mediante un simbolismo de tipo
algebraico.
En el proceso de comunicacin, el hombre utiliza el lenguaje en sus diversas formas; siendo el
signo una parte del lenguaje. La misin fundamental del lenguaje, es la comunicacin. Sin
embargo no siempre es directa, adems, cada pas, cada comunidad y cada rama de las
ciencias, ha establecido sus propias formas de comunicacin, implementando su propio
sistema de signos y mtodos.
Si bien es cierto el clculo, es un proceso que dotado de un conjunto de reglas o convenciones,
opera basndose en tales reglas precisas, utilizando signos tambin precisos. El clculo, no
slo es propio de las matemticas, sino que tambin en la lgica se realizan clculos y
operaciones utilizando sus propios signos y reglas.
El lenguaje lgico, como el lenguaje ordinario, es un sistema de signos, con la particularidad,
de que son; precisos, nicos y con reglas rgidas. Es un lenguaje perfecto.
Por otro lado, la idea de conjunto se adquiere en los comienzos de la vida, al manifestarse una
de las virtudes primordiales del espritu, la diferenciacin. Se empieza a percibir distintamente
los objetos del mundo exterior, y a tener conciencia de la propia personalidad, originndose
estos conceptos primarios, desarrollaremos aqu, en forma breve y explcita, lo que suele
llamarse teora intuitiva de conjunto. Es bueno precisar que George F.L.P. Cantor (Ruso) fue
el primero en desarrollar y formalizar la Teora de Conjuntos.
En este mdulo se darn alcances bsicos de la teora de conjuntos y sus propiedades, para
aplicarlos a problemas prcticos haciendo uso de los diagrama de Venn, Euler y Carroll.
OBJETIVOS ESPECIFICOS
Al concluir el estudio del presente mdulo, el participante:
Estar en capacidad de deducir una inferencia lgica a partir de leyes,

estructurando esquemas lgicos con mtodos adecuados y aplicando estos
principios en situaciones practicas de la vida diaria.
Graficar e Interpretar situaciones de la vida diaria a travs de los
diagramas de Venn, Euler y Carroll.
Resolver situaciones problemticas de la vida diaria utilizando
correctamente el lenguaje lgico y la nocin de conjuntos.
LOGICA Y FUNCIONES
LGICA PROPOSICIONAL
1.
DEFINICIN: Es llamada tambin lgica de las proposiciones sin analizar, tiene por
objeto de estudio a las proposiciones y su formalizacin con la finalidad de determinar
sus valores lgicos.
2.
PROPOSICION (ENUNCIADO): Se denomina as a las expresiones lingsticas de las

cuales se puede afirmar que son verdaderas o falsas.
Caractersticas:
Toda proposicin es una oracin aseverativa, pero no toda oracin es una
proposicin.
Toda proposicin o es verdadera (V) o falsa (F) (no puede ser ambas a la vez).
Dentro del razonamiento, la proposicin puede ser premisa o conclusin.
La proposicin verdadera o falsa se puede afirmar o negar.
Los enunciados matemticos tienen el rango de proposicin.
- Los futbolistas son deportistas.
- Todo africano es asitico.
- La botnica estudia a las plantas.
3.
(V)
(F)
(V)
CLASES DE PROPOSICIONES: Se clasifican bsicamente en: Simples y Compuestas.

3.1. PROPOSICIN SIMPLE O ATMICA: a toda expresin que afirma o niega algo, y
que puede ser verdadera o falsa, pero no ambas a la vez. No se pueden
descomponer.
Pueden ser:
a. Predicativas: Aquellos que presentan, en su estructura, slo un sujeto y un solo
predicado (el sujeto puede hallarse tcito).
Ejemplo:
Los piuranos son alegres.

Las ballenas son mamferos.
b. Relacionales: Presentan en su estructura un vnculo, dos sujetos o ms.

Ejemplo:
Pedro es amigo de Jos.
LOGICA Y FUNCIONES
La Trigonometra es ms completa que la Geometra.
La verdad (V) o falsedad (F) de un enunciado se llama su VALOR DE VERDAD.
Los enunciados simples se simbolizan usando letras minsculas p, q, r, s, t, etc.
3.2. PROPOSICIN COMPUESTA O MOLECULAR: es aquel formado por enunciados
simples.
Por ejemplo: el enunciado 8 es par y 13 es un numero primo, esta formado
por dos enunciados simples. Simbolizando podemos denotar por:
p : 8 es un numero par.
q : 13 es un numero primo.
Estos enunciados simples estn unidos mediante un conectivo lgico. Lo que en
forma simplificada escribiremos p y q.
Se puede observar que el enunciado p esta conectado con el enunciado q mediante

el conectivo de la conjuncin y, que estudiaremos mas adelante.
LOS PRINCIPALES CONECTIVOS QUE USA LA MATEMTICA SON CINCO:

empecemos a describir a cada uno e ellos:
a) NEGACIN: se presenta la negacin no , no es cierto que, es falso que,
es mentira que, no ocurre que, etc.
Ejemplo:
* Rosa no es menor de edad.

* Es falso que el sol y la luna son planetas
b) DISYUNCIN: presenta como conectiva a la O, u, o o , es de dos tipos:

Inclusiva o Dbil: cuando de las alternativas que se proponen se cumplen todas
ellas, ya sea al mismo tiempo o de manera alternada.
Ejemplo:
* Juan es pescador o abogado.

* La mesa es un mueble o es de madera.
Exclusiva o Fuerte: cuando de las alternativas que se proponen se cumple slo

una y se excluye la otra.
Ejemplo:
* Jess muri en la cruz o en el santo sepulcro.

* O corremos o caminamos.
c) CONJUNCIN: presenta como conectiva a la y. Puede hallarse tcita, o puede

ser reemplazada por sus sinnimos: Como, pero, a la vez, adems, incluso,
tambin, aunque, a pesar, sin embargo, ni, etc.
Ejemplo:
* Diego y Lus son profesores.

* Marcela es lingista tambin literata.
LOGICA Y FUNCIONES
d) Condicional o Implicativa: presenta como conectiva la palabra Entonces o
sus equivalentes: luego, por lo tanto, en conclusin, en consecuencia, de ah,
etc. Esta proposicin indica una relacin de causa efecto, (antecedente
consecuente).
La condicional se puede hallar tcita, sobreentendida.
Su esquema bsico es:
si ... entonces ...

Antecedente
(A)
Consecuente
(C)
Se divide en:
Condicional Directo: Aqu se presenta primero el antecedente y luego el
consecuente (causa efecto).
Ejemplo:
si
estudio
entonces
Antecedente
(A)
aprendo
Consecuente
(C)
Condicional Inverso: Aqu se presenta primero el consecuente luego el

antecedente. Se usan las conectivas: dado que, puesto que, ya que, porque, si,
siempre que, cada vez que, etc.
Ejemplo:
Rosamelia trabaja porque necesita dinero

Consecuente
(C)
Antecedente
(A)
e) Bicondicional o doble implicacin: presenta como conectiva Si y slo si . O

sus equivalentes: cuando y slo cuando, entonces y slo entonces, etc.
Ejemplo:
-
Hctor juega si y solo si Lus esta lesionado.

Maria prepara su material cuando y slo cuando va a dictar.
ACTIVIDAD PROPUESTA
PROPOSICIONES Y CONECTIVOS LGICOS
1.
Una proposicin es elemental cuando:

a) Carece de oraciones.
d) Tiene una sola oracin.
b) Contiene implicacin
e) Se divide en dos o ms significados
c) Posee un solo significado.
LOGICA Y FUNCIONES
2.
En las siguientes expresiones, marque aquellas que es una proposicin bsica

relacional:
a)
Todos los mamferos son vertebrados.
b)
Diego y Lus viajaron al norte
c)
Tanto Per como Chile estn al sur de Amrica
d)
Enrique y Marcela son contemporneos.
e)
Diego y Carmen son primos; pero no trabajan juntos.
3.
La Lgica Proposicional tambin es conocida como lgica:

a) De clases.
b) De predicados.
c) Cuantificacional.
d) De las proposiciones analizadas
e) De las proposiciones sin analizar.
4.
Las proposiciones atmicas:

a) Presentan operadores.
b) Pueden ser negativas.
d) Son divisibles
e) No son relacionales
c) Pueden ser Falsas.
5.
Willy trabaja, adems, estudia ingls; es una proposicin.

a) Simple.
b) Coligativa.
c) Compuesta.
d) Molecular
e) Todas menos la a.
6.
Son aquellas proposiciones que carecen de enlaces lgicos o conjunciones

gramaticales, se refiere:
a) Conjuntiva.
b) Disyuntiva.
c) Simple.
d) Bicondicional.
e) Negativa.
7.
Alberto y Jos son hermanos; es ejemplo de proposicin:

a) Atmica.
b) Conjuntiva.
c) Molecular.
d) Disyuntiva.
e) Condicional.
8.
Moro no fue romntico ni modernista. Por ello, no sigui una potica

tradicional. Qu conectores se indican?
a)
Negacin conjuncin condicional.
b)
Negacin disyuncin condicional.
c)
Negacin condicional conjuncin.
d)
Negacin conjuncin bicondicional.
e)
Negacin conjuncin disyuncin.
9.
Proposicin molecular que establece una relacin de antecedente y

consecuente:
a) Conjuncin.
b) Disyuncin.
c) Condicional.
d) Bicondicional.
e) Negacin.
10.
Diego vendr hoy, solo si su hermano se queda en casa. Es una

proposicin:
a) Condicional.
b) Disyuncin.
c) Bicondicional.
d) Negativa.
e) Conjuntiva.
4.
FORMALIZACION EN LA LOGICA PROPOSICIONAL (SIMBOLIZACION)
LOGICA Y FUNCIONES
La simbolizacin de proposiciones consiste en la representacin del lenguaje ordinario
mediante el lenguaje artificial (convencional). Formalizar, significa reemplazar cada
proposicin por una variable y cada conectivo (trmino de enlace) o modificadores (la
negacin) por un operador lgico, todo ello correctamente jerarquizado mediante signos
de agrupacin.
1)
VARIABLES
Se utilizan para representar a las proposiciones simples. Son las letras minsculas:
p, q, r, s, t, , etc.
Ejemplo:
a)
Augusto Polo Campos es compositor.

p
b)
Diego es empresario as como profesor universitario

p
2)
OPERADORES LGICOS
Son de dos tipos:
a)
Conectiva
Operador
Didicos: Se utilizan para representar a las conectivas (trminos de

enlace).
y
Oo
Si entonces
si y slo si
Operadores en el sistema Scholz

Ejemplo:
Si practicamos los ejercicios de lgica, entonces aprendemos.
Los leones son salvajes y carnvoros
b)
Mondico: Sirve para reemplazar al modificador no o sus expresiones

equivalentes (no es cierto, es falso que, no es el caso que, etc.).
Modificador
No
Operador
Ejemplo:
El zapallo no es un tubrculo.
LOGICA Y FUNCIONES
No es cierto que, las gallinas tengan 2 patas y no sean aves.
3)
SIGNOS DE AGRUPACION: Se utilizan para agrupar a las variables y

operadores as como, darles jerarqua. Son los siguientes:
Parntesis ( )
a)
Corchetes
Llaves
Barras
JERARQUIZACIN: Jerarquizar significa agrupar las variables y los

operadores dentro de los signos de coleccin, llamados tambin de
agrupacin.
Para jerarquizar hay que tener en cuenta los siguientes requisitos:
Se debe tener en cuenta los signos de
puntuacin del texto a jerarquizar, en
cuanto ellos indican la ubicacin de los
signos de coleccin.
Slo presentan jerarqua los

conectivos lgicos (y, o, entonces,
si y solo si, etc.).
El punto seguido tiene mayor jerarqua, le sigue

en 2do. lugar el punto y coma, y en 3er. lugar la
coma.
b)
REGLAS PARA JERARQUIZAR

1.
2.
3.
4.
5.
Donde est ubicado el signo de puntuacin ms importante del texto,

ah se encuentra ubicado el conectivo principal.
Donde se encuentra un signo de puntuacin ah se abre o cierra un
signo de coleccin (parntesis, corchete o llave)
El conectivo que se encuentra fuera o en la parte ms externa de los
signos de coleccin es el que tiene mayor jerarqua.
Si encontramos un texto donde se presente una sucesin de
idnticos signos de puntuacin, ser mayor el que presente como
conectivo entonces, luego o cualquiera de sus sinnimos.
La negacin antecede a la variable (~p), no enlaza proposiciones,
pues no es conectivo: (p ~ q).
Ejemplo: Diana estudia fsica y qumica, o estudia lgica. Sin embargo

estudia matemtica.
Solucin:
p: Diana estudia fsica q: qumica
s: estudia matemtica.
Reemplazando proposiciones:
Reemplazando conectivos:
r: estudia lgica
p y q, o r. Sin embargo s
pq
r . s
LOGICA Y FUNCIONES
Jerarquizando: (p q) r s
4)
FORMULAS: Es el resultado de
jeraquizacin de las proposiciones o inferencias.
la
correcta
formalizacin
Ejemplo:
a) El camote es un tubrculo y alimento.
Reemplazando proposiciones
p: El camote es un tubrculo
Reemplazando conectivos :
Frmula
:
Nombre
:
q: alimento
pq
pq
Frmula Conjuntiva.
b) Si el agua del ro es dulce, entonces puede ser para el consumo humano o

servir para regar los sembros del tomate.
p : el agua del ro es dulce
q: puede ser para el consumo humano
r : servir para regar los sembro del tomate
Reemplazando conectivos :
p,qr
Frmula
:
p (q r)
Nombre
:
Frmula Condicional.
Nota: Si al formalizar, encontramos al condicional inverso, se debe
permutar las proposiciones que conforman el condicional.
Ejemplo: Mara Luisa participa en el curso de actualizacin porque tiene

dinero.
p: Mara Luisa participa en el curso de actualizacin q: tiene dinero
Reemplazando conectivos
Frmula
Nombre
5)
:
:
:
qp
qp
Frmula Condicional inverso.
FRMULAS BIEN FORMADAS (fbf)

Obedece a las siguientes reglas de formacin:
I.
Cada variable proposicional es una fbf

Ejemplo: p, q, r, .
II.
Si A es una fbf entonces ~ A es una fbf
10
LOGICA Y FUNCIONES
Ejemplo:
a) p
entonces
~p
b) q
entonces
~q
Si A y B son fbf entonces A B, A B, A B, A B, A B
III.
son fbf.
Ejemplo:
a) p q
b) p q
c) p q
IV.
d) p q
e) (p q) r (p q)
f) ( p q ) r
g) ( p q ) ( r s )
h) p q r
i) p q r
Ninguna otra es una fbf, en caso contrario son formulas

mal formadas (fmf).
Es una fmf porque la negacin no es un operador didico.
Ejemplo:
p~q
:
Es una fmf porque el operador , no es gondico
y debe estar entre variables. Ejm. p q
pq:
Es una fmf porque no se puede determinar cul de

los operadores tiene mayor jerarqua, dado que le
falta el signo de agrupacin. Ejm. ( pq ) r
pqr:
6)
JERARQUIZACIN DE FRMULAS
En cualquier frmula lgica, el operador que tiene mayor jerarqua es aquel
operador didico fuera o en la parte ms externa de los signos de agrupacin
(divide a la frmula en dos) o en todo caso la negacin libre.
Ejemplo:
(
Mayor jerarqua
Menor jerarqua
Mayor jerarqua
Menor jerarqua
11
LOGICA Y FUNCIONES
(
Mayor jerarqua
( q
Mayor jerarqua
ACTIVIDAD PROPUESTA
1.
Simbolizar:
El avin despegar a las 5 de la maana a menos que la neblina cubra el
aeropuerto.
a) p q b) p q
c) q p
d)
pq
e) p q
2.
Simbolizar:
O Luisa estudia alemn y portugus o va a la biblioteca y busca informacin.
a) (p q) (r s)
b)
(p q) (r s)
c)
p q (r s)
d) p (q s) r
e)
(p q) (r s)
3.
La camisa de Lus est arrugada por que no la plancho, adems est

usada.
Formalizando resulta:
a)
(p q) r
d)
pq
b) ( q p) r
e) ( q r) q
c)
pq
4.
Simbolizar:
Enrique come yuca o camote; sin embargo, no come camote. De ah que, come
yuca.
a)
(p q) r s
b) (p q) q p
c)
(p q) q p
d)
(p q) r
e) (p q) ( q p)
5.
Formalizar lo siguiente:
Mara tiene 15 o 16 aos de edad, as como estudia Derecho o Ingeniera de
Sistemas. Luego, es mayor de edad o tiene DNI.
a) (p q) (r s) (t w)
b) (p q) (r s) (t w)
c) (p q) (r s) (t w)
d) p (q r) s
e) No se puede formalizar
12
LOGICA Y FUNCIONES
6.
Simbolizar la siguiente expresin:

Si la neblina aumenta, la visibilidad disminuye y si disminuye la visibilidad,
pueden ocurrir accidentes.
(Donde p = la neblina aumenta, q = la visibilidad disminuye; r = ocurren accidentes)
a) (p q) (r s)
b)
(p q) (q r)
c)
(p q) (r s)
d) (p q) (r s)
e)
(p q) (q r)
7.
Formalizar lo siguiente:
No es cierto que seas mujer y hombre, ya que eres hombre. Por lo tanto no eres
mujer.
a)
~ (p q) q ~ p
b) q ~ (p q) ~ p
c)
p ~ (p q) ~ q
d) ~ (p q) p ~ q
e)
~ (p q) p ~ q
8.
Represente formalmente el siguiente enunciado:

Es falso que hace calor si la temperatura no ha aumente
(Sabiendo que p = hace calor y q = la temperatura aumenta
a)
~p~q
b) ~ (p ~ q)
c)
~q~p
d)
~ (~ q p)
e) p ~ q
9.
Si Lus es matemtico y Diego ingeniero, entonces ambos trabajarn en

la UNFV.
La simbolizacin correcta es:
a)
(p q) r
b)
p (q r)
c)
(p q) (r s)
d)
(p q) (r s)
e)
(p q) (r s)
10.
Formalizar:
Si llueve al medioda, no secar la ropa; si no llueve, secar y te iras a la fiesta.
Por lo tanto, si vas a la fiesta, no llovi.
a) (p q) ~ (p q)} (s r)
b) (p q) (r s) ~ p
c) (p ~ q) ~ r (q s)} (r ~ q)
d) (p q) ~ (p r) (p ~ r)
e) (p ~ q) ~ p (q r)} (r ~ p)
FUNCIONES VERITATIVAS TABLAS DE VERDAD
6.
a)
Negacin: Se
antepuesto a
no , no es
mentira que,
denota por el smbolo ~ que,

un enunciado simple, significa:
cierto que, es falso que, es
no ocurre que, etc.
Tabla de Verdad
p
V
F
~p
F
V
Tabla de Verdad
b)
Disyuncin inclusiva o dbil: Se denota por el

smbolo , que significa o.
pqp qVVVVFVFVVFFF
13
LOGICA Y FUNCIONES
c)
Disyuncin exclusiva o fuerte: Se denota por el

smbolo , que significa O o .
Tabla de Verdad
d)
Conjuncin o producto lgico: se denota por el

smbolo , que significa y.
pqp qVVFVFVFVVFFF
Tabla de Verdad
pqpqVVVVFVFVVFFF
e)
Tabla de Verdad
pqp qVVVVFFFVVFFV
Condicional o Implicativa: La regla es: Una

proposicin condicional es falsa slo
cuando el antecedente es verdadero y el
consecuente es falso, siendo verdadero en
los dems casos.
Se denota por el smbolo , que significa
si . . . entonces, o tambin implica.
Tabla de Verdad
pqp qVVVVFFFVFFFV
f) Bicondicional o doble implicacin: La regla es:

una proposicin bicondicional es verdadera cuando
sus dos componentes tienen valores iguales, y es falsa
cuando sus dos componentes tienen valores
distintos.
se lee p si y slo si q.
Ejemplo:
Si: p = F; q = V y r = F; indicar el valor de verdad (verdadero o falso) de la siguiente
frmula: (q p) (r p)
Solucin:
a)
Pasos a seguir:
Asignar los valores correspondientes a cada variable.

(q p) (r p)
V
F
F
F
b)
Evaluar las frmulas de acuerdo a las reglas de las funciones veritativas:

(q p) (r p)
V
F
F
F
14
LOGICA Y FUNCIONES
c)
El valor final se obtiene del operador principal (mayor jerarqua)

Resultado = V (verdadero).
Ejemplo:
Si la frmula (p q) (p r), es falsa, halle los valores de p, q y r,
respectivamente:
Solucin:
Pasos a seguir:
a) El valor de verdad de la frmula se ubica en el operador principal (mayor
jerarqua).
(p q) (p r)
F
b) Evaluar las frmulas de acuerdo a las reglas de las funciones veritativas:
(p q) (p r)
V FF
V F F
F
c) Luego obtenemos el valor de cada variable.
p=V
q=F
r=F
Resultado: VFF.
TABLAS DE VERDAD: Llamadas tambin de valores, tablas veritacionales, mtodo de las
matrices. Son grficos en los que se representan todos los valores de verdad o falsedad
que pueden asumir las distintas interpretaciones de un esquema o frmula lgica.
Wittgenstein (1889 1951), filsofo viens, padre de la Filosofa Neopositivista y Analtica,
es el que propone las tablas de verdad.
FRMULAS: C = 2n
C = Nmero de lneas o arreglos que tendr las tablas.
2 = Constante numrica
n = Nmero de variables
Numero de posibilidades:
Si en la proposicin compuesta intervienen 2, 3, 4, 5, .... n proposiciones simples
diferentes, entonces el numero de posibilidades para n variables es: 2n.
P
P
P
P
(p)
(p, q) =
(p, q, r)
(p, q, r, s)
=
22
=
=
21
=
23
24
=
4
=
=
2
8
16
15
LOGICA Y FUNCIONES
Este criterio es bsico para la construccin de las tablas de verdad.
PASOS A SEGUIR PARA EVALUAR LAS FRMULAS LGICAS

1)
2)
3)
4)
Ubicar la frmula en el lugar correspondiente de la Tabla.

Jerarquizar la Frmula.
Determinar el nmero de arreglos mediante la frmula respectiva.
Evaluar la frmula de acuerdo a las reglas de las funciones veritativas,
procediendo de la matriz de menor jerarqua, hasta llegar a la matriz de mayor
jerarqua.
Ejemplos:
Determinar la matriz principal de las siguientes frmulas:
A) p q
B) (p q) (r p)
de arreglos:
C = 2n
2
C=2 =4
Solucin:
A)
p
V
V
F
F
V
F
V
F
V
F
V
V
2
B)
(p
q)
(r
p)
Matriz Principal
de arreglos:
Ejemplo:
C = 2n
C = 23 = 8
Construir la tabla de verdad de la proposicin: ~ ( ~ p ~ q)
Paso 1: Se niega p y q, para obtener los valores de verdad de ~ p y ~ q.

Paso 2: Usando la tabla de la conjuncin, se halla los valores de verdad de ~ p~q.
Paso 3: Finalmente se halla los valores de verdad de la negacin de: ~ ( ~ p ~ q).
Tabla de Verdad
16
LOGICA Y FUNCIONES
p
V
V
F
F
q
V
F
V
F
~p
F
F
V
V
1
Pasos:
~q
F
V
F
V
1
~p
~q
~(~p
V
V
V
F
3
F
F
F
V
2
~ q)
Existe un segundo mtodo, que abrevia el trabajo. Veamos en qu

consiste, presentndolo por partes. Volvamos a la tabla de verdad de la
proposicin ~ (p ~ q) del ejemplo. Se traza primero la tabla del modo
siguiente:
p
V
V
F
F
q
V
F
V
F
q )
Pasos:
Escribimos la proposicin en la fila superior, a la derecha de p y q, teniendo en cuenta
que cada proposicin y conectivo encabeza una columna. Se anota luego los valores de
verdad en varios pasos, del modo siguiente:
Paso 1:
p
q
V
V
V
F
F
V
F
F
Pasos:
p
V
V
F
F
1
Paso 2:
p
q
V
V
V
F
F
V
F
F
Pasos:
( p
V
V
F
F
1
Paso 3:
p
V
V
F
F
q
V
F
V
F
Pasos:
~ ( p
V
V
F
F
1
Paso 4:
p
V
V
F
F
q
V
F
V
F
Pasos:
~
V
F
V
V
4
( p
V
V
F
F
1
q )
V
F
V
F
1
F
V
F
V
2
F
V
F
F
3
F
V
F
F
3
q )
V
F
V
F
1
F
V
F
V
2
q )
V
F
V
F
1
F
V
F
V
2
q )
V
F
V
F
1
17
LOGICA Y FUNCIONES
Como puedes ver, la tabla de verdad queda concluida con el paso 4. Se han desdoblado
los pasos que se han de seguir en varios cuadros para facilitar la explicacin del
procedimiento. Realmente, el trabajo debe hacerse en un solo cuadro.
ESQUEMAS LGICOS (E.L.): Son frmulas lgicas (proposiciones formalizadas) las
cuales pueden asumir funciones veritativas determinadas.
Pueden ser:
TAUTOLOGA es una proposicin compuesta, cuya matriz principal
nicamente valores de VERDAD. Se le llama tambin Ley Lgica.
Ejemplo: Demostrar que ~ (p q) (~ p ~ q) es una tautologa.
Solucin:
p
q
V
V
F
F
V
V
F
F
Pasos:
F
V
V
V
3
~ ( p
V
V
V
F
F
F
F
F
1
2
Tabla de Verdad
q ) ( ~
p
V
V
F
V
F
V
F
V
V
V
V
F
F
V
V
F
1
4
2
1
~
F
V
V
V
3
q)
F
V
F
V
2
contiene
V
F
V
F
1
Esquema Lgico Bicondicional Tautolgico

Es una tautologa, porque su tabla de verdad esta compuesta por V
solamente, en la ultima columna.
CONTRADICCIN cuando la matriz principal de su tabla de verdad slo contiene valores
FALSOS.
Ejemplo: Demostrar que la proposicin p ~ p es una contradiccin.
Solucin:
Tabla de Verdad
p
~p
p ~p
V
F
F
F
V
F
Esquema Lgico Conjuntivo Contradictorio
Todos los valores de verdad del conectivo lgico de la ltima columna son F (Falsos);
luego, la proposicin es una contradiccin.
CONTINGENCIA es una proposicin compuesta, que en la matriz principal de su tabla de
verdad se encuentran ALGUNOS VERDADEROS y otros FALSOS.
Ejemplo: Demostrar que la proporcin ~ (p ~ q) es una contingencia.
Solucin:
Tabla de verdad
p
q
~ ( p
V
V
V
V
F
V
F
F
V
V
F
V
V
F
F
F
F
V
F
F
Pasos:
4
1
3
~
F
V
F
V
2
q)
V
F
V
F
1
Esquema Lgico Negativo Contingente

18
LOGICA Y FUNCIONES
Los valores de verdad correspondientes al conectivo lgico principal ~, en el paso 4
muestran una V y tres F: podemos, entonces, afirmar que la proposicin es una
contingencia.
7.
PRINCIPIOS LGICOS:
Un Principio Lgico es el fundamento de toda verdad lgica (Tautologa). De un Principio
Lgico Podemos generar tautologas indefinidamente, y, a la vez, cualquier tautologa del
universo lgico puede reducirse a un principio lgico.
Son conocidos los tres principios lgicos:
Principio de Identidad: Establece que si se afirma una proposicin, se concluye la
misma; si una proposicin es verdadera, entonces es verdadera, una proposicin
slo es idntica a s misma. En el plano de la realidad, toda cosa es idntica a s
misma.
Simblicamente se expresa por:
A A; A A
Ej.:
pp;pp
Ejemplo: Si el libro es de matemtica se deduce que el libro es de matemticaPrincipio de no Contradiccin: Establece que inadmisiblemente una cosa sea y
no sea a la vez. Es imposible que una proposicin sea verdadera y falsa a la vez, que
una cosa exista y no exista al mismo tiempo. Su formulacin simblica es:
(A A)
Ej.:
( p p)
Ejemplo: Es falso que la jirafa sea mamfero y no sea mamfero.
Principio del Tercio Excluido: Fue planteado por Aristteles. Establece que una
cosa es o no es, no existe una tercera posibilidad. Una proposicin es verdadera o
falsa, no existe una tercera posibilidad.
Simblicamente se expresa por:
AA
Ej.:
pp
Ejemplo: Augusto Salazar Bondy es peruano o no es peruano.
7.1.
LEYES LOGICAS: Equivalencias Notables

Leyes Equivalentes
Doble Negacin
Idempotencia
Conmutativa
Asociativa
Distributiva
De Morgan
Definicin del Condicional
Con variables proposicionales

~~pp
~~~p~p
ppp
ppp
pqqp
pqqp
pqqp
p (q r) (p q) r p q r
p (q r) (p q) r p q r
p (q r) (p q) (p r)
p (q r) (p q) (p r)
~ (p q) ~ p ~ q
~ (p q) ~ p ~ q
pq~pq
p q ~ (p ~ q)
19
LOGICA Y FUNCIONES
p q (p q) (q p)
p q (p q) (~ p ~ q)
p (p q) p
p (p q) p
p (~ p q) p q
p (~ p q) p q
p q ~ q ~ p)
Bicondicional
Absorcin
Transposicin
Dos o ms PROPOSICIONES son EQUIVALENTES si tienen la misma tabla de

verdad.
Ejemplo: Demostrar que la proposicin ~ (p q) es equivalente a p ~ q.

Solucin:
Tablas de verdad
p
q
V
V
V
F
F
V
F
F
Pasos:
pq
V
F
V
V
1
p
q
V
V
V
F
F
V
F
F
Pasos:
~q
F
V
F
V
1
~ (p q)
F
V
F
F
2
p
~q
F
V
F
F
2
Usando smbolos, se escribe de esta forma: ~ (p q)

El smbolo se lee: es equivalente a.
p ~ q.
ACTIVIDAD PROPUESTA
1.
2.
3.
4.
5.
6.
7.
8.
9.
Seale la matriz principal del siguiente esquema molecular: (p q) q p

Si el esquema es F, seale el valor de cada variable: (p q) p (r q)
Si el esquema es V, seale el valor de cada variable: ( (p q) r (r p) s
Si el esquema no es V, seale el valor de cada variable: (p q) q (r s
Si el esquema (p q) (s r) es falso, hallar el valor de p,q,r y s respectivamente.
Si se sabe que: p r es F
r q es V
q t es F
Determinar los valores de verdad de p,q,r y t
En la tabla de verdad del siguiente esquema: ~ p q, el valor de la primera y cuarta fila,
respectivamente es:
a. V y F b. F y V
c. F y F
d. Indeterminado
e. V y V
Hallar la tabla de Verdad de la siguiente formula: ~ (p q) (p q)
Luego de simplificar el siguiente esquema: ~ ~ ( ~ p q) p q
a. q p
b. p q
c. ~ p ~ q
d. ~ p ~ q
e. ~ p q
20
LOGICA Y FUNCIONES
10.
Utilizando las equivalencias notables, reducir: ~ ~ (p q) ~ (~ q ~ p)

b. p q
c. p q
e. ~ p q
La siguiente proposicin: No se da el caso que Pepe sea mdico y no sea cirujano. Es
equivalente a:
a) Pepe es mdico de ah que es cirujano.
b) Pepe no es mdico o es cirujano.
c) Si Pepe no es cirujano entonces no es mdico.
d) Pepe es cirujano o no es mdico.
Seale la expresin equivalente a la siguiente afirmacin: No es cierto que viajes en taxi y no
llegues temprano.
a. No viajas en taxi y llegas temprano.
b. Viajas en taxi y llegas temprano.
c. No viajas en taxi y llegas tarde.
d. Si no viajas en taxi, no llegas temprano.
e. No viajas en taxi o llegas temprano.
a. q p
d. p q
11.
12.
21
LOGICA Y FUNCIONES
TEORIA DE CONJUNTOS
2.1. DEFINICIONES
CONJUNTO: Es una agrupacin o coleccin bien definida de objetos, donde cada objeto es un
elemento o miembro del conjunto
NOTACION
Conjuntos: Se denota con una letra mayscula: A, B, C, ..., o enumerando sus elementos
separados por comas y delimitndolos por llaves: { }
Elementos: Se denotan con letras minsculas, a menos que dichos elementos sean a su vez
conjuntos. (Familia de Conjuntos).
Nocin de pertenencia: Sea x un elemento cualquiera y A un conjunto. Si es cierto que x es
un elemento de A, se dice que x pertenece a A y se denota: x A
Si no es cierto que x es un elemento de A, se dice que x no pertenece a A y se denota como:
xA
Definicin de Cardinalidad: El nmero de elementos o tamao de un conjunto A se llama
cardinalidad de A, y se denota como |A|.
Es claro que para un conjunto finito A, |A| = n, donde nN y, para un conjunto infinito A, |A|
= .
Definicin de Conjunto Universal o Conjunto Universo: Es aquel conjunto dado explicita o
implcitamente del cual se toman los elementos para describir un conjunto particular de
inters. Se denota convencionalmente como U.
22
LOGICA Y FUNCIONES
Definicin de Conjunto Vaco: Es el conjunto que no tiene elementos, el cual se denota como
(se lee phi).
De esta definicin podemos deducir que = { }
y adems
|| = 0
As, cada elemento que pertenece al universo no pertenece al vaco.
x [x U x ]
Descripcin de un Conjunto: Un conjunto cualquiera A se puede describir por extensin o
por comprensin.
La descripcin por EXTENSIN consiste en dar explcitamente los elementos que pertenecen
al conjunto, esto es, enumerar los elementos del conjunto.
La descripcin por COMPRENSIN consiste en dar una especificacin implcita de los
elementos del conjunto mediante una funcin proposicional y una variable libre. El conjunto
as descrito, se define tomando aquellos elementos del universo del discurso que hacen la
funcin verdadera.
Un conjunto A cualquiera se define por comprensin de la siguiente manera:
A = {x / x U P(x)}
IGUALDAD
Dos conjuntos A y B son iguales si y solo si tienen los mismos elementos, es decir, si todo
elemento de A es elemento de B y todo elemento de B es elemento de A.
Expresado formalmente:
A = B x x A x B
Nota: En un conjunto no puede haber elementos repetidos.
INCLUSIN
Sean A y B dos conjuntos. Se dice que A es subconjunto de B, y se denota como A B, si todo
elemento de A es elemento de B.
Tambin se dice que A esta incluido o contenido en B que B contiene a A.
A B x x A x B
Inclusin propia
Sean A y B dos conjuntos. Se dice que A es subconjunto propio de B, y se denota como A B,
si todo elemento de A es elemento de B y existe al menos un elemento de B que no es elemento
de A.
A B x x A x B x x B x A
Entonces, la inclusin propia plantea la situacin de que A B, pero A B.

23
LOGICA Y FUNCIONES
2.2. DIAGRAMAS DE CONJUNTOS

2.2.1. DIAGRAMAS DE VENN
Son esquemas que nos permiten hacer la representacin

grafica de los conjuntos.
El conjunto universo U, se representa por un rectngulo o
por un cuadrado.
Los conjuntos que se encuentran en el universo, se representan por lneas curvas cerradas que
demarcan los elementos del conjunto.
2
1
OPERACIONES CON CONJUNTOS

Sean dos conjuntos A y B, se definen las siguientes operaciones entre ellos:
UNION
La unin de A y B se define como el conjunto de los elementos que pertenecen a A o a B o a
ambos conjuntos a la vez. El operador de la unin se denota por: .
A B = {x / x A x B}
Expresado de otra forma:
U
A
x [x (A B) (x A x B)]
AB
INTERSECCION
La interseccin de A y B se define como el conjunto de los elementos que pertenecen a ambos
conjuntos a la vez. Se denota por: .
A B = {x / x A x B}
24
AB
LOGICA Y FUNCIONES
x [x (A B) (x A x B)]
Los conjuntos cuya interseccin es vaci (A B = ), se llaman conjuntos disjuntos.
COMPLEMENTO
A , AC, se
Para cualquier conjunto A, tal que A U, el complemento de A, denotado por A,
define como el conjunto de los elementos que pertenecen a U y no pertenecen a A.
A = {x / x U x A}
U
A
x [x A (x U x A)]
DIFERENCIA
La diferencia de dos conjuntos A y B es el conjunto de todos los elementos de A que no
pertenecen a B. Se denota por: A B = {x / x A x B}
U
A

x [x (A B) (x A x B)]
DIFERENCIA SIMETRICA
La diferencia simtrica de dos conjuntos A y B es el
conjunto de todos los elementos de A o los elementos
que pertenecen a B menos los elementos que
pertenecen a la interseccin de A y B. Se denota por:
.
A-B
U
A
A B = {x / x (A B) x (A B)}
A B
Diagramas de tres conjuntos
25
LOGICA Y FUNCIONES
Los diagramas de tres conjuntos fueron los
ms corrientes elaborados por Venn en su
presentacin
inicial.
Las
distintas
intersecciones de los tres conjuntos A, B y
C definen ocho reas diferentes, cuyas
posibles
uniones
suponen
256
combinaciones distintas de los tres
conjuntos iniciales.
Nota: 1 : Slo A
5 : A, B y C
4; 5 : B y C
2 : Slo A y B
6 : Slo A y C
5; 6 : A y C
3 : Slo B
7 : Slo C
4 : Slo B y C
2; 5 : A y B
EJEMPLO:
Un grupo de jvenes fue entrevistado sobre sus preferencias por ciertos medios de transporte
(bicicleta, moto y auto). Los datos de la encuesta fueron los siguientes: Moto solamente: 5,
Moto: 38, No gustan de auto: 9, Moto y bicicleta, pero no auto: 3, Moto y auto pero no bicicleta:
20, No gustan de bicicleta: 72, Ninguna de las tres cosas: 1, No gustan de la moto: 61
(a)
(b)
(c)
(d)
(e)
Cul fue el nmero de personas entrevistadas?

A cuntos le gustaba la bicicleta solamente?
A cuntos le gustaba el auto solamente?
A cuntos les gustaba las tres cosas?
A cuntos le gustaba la bicicleta y el auto pero no la moto?
Solucin
Dibujamos un diagrama de Venn para visualizar ms
ordenadamente los datos, los nmeros en negrita son
los que deducimos del problema.
Hay que tener sumo cuidado con algunas cosas. Por
ejemplo, al decir que a 9 personas no les gusta el auto,
deducimos que a ellas les gusta la bicicleta o la moto,
pero no debemos olvidar a la persona que no le gusta
ninguno.
As, concluimos que a nadie le gusta solamente la bicicleta.
(a)
(b)
(c)
(d)
(e)
99
A ninguno
46
10
14
2.2.2. DIAGRAMAS DE EULER

Ya en el siglo XVIII, Euler utiliz Crculos para expresar grficamente las relaciones entre los
trminos o nombres comunes de una proposicin categrica.
26
LOGICA Y FUNCIONES
Los diagramas de Euler son similares a los de Venn, pero no
necesitan todas las posibles relaciones.
Por ejemplo, en el representado a la derecha un conjunto (el A)
est totalmente incluido en otro (el B), mientras que otro (el C) no
tiene ninguna relacin con los dos anteriores.
Supongamos que el conjunto A representa todos los tipos de queso que pueden encontrarse en
el mundo, y el B representa a todos los comestibles existentes en el mundo. Segn el diagrama,
se ve claramente que todos los quesos son comestibles, pero no todos los comestibles son
quesos. Si definimos el conjunto C como el de las cosas hechas de metal, el diagrama nos
permite representar de forma evidente dos afirmaciones adicionales: los comestibles no estn
hechos de metal, y las cosas hechas de metal no son comestibles.
Los Diagramas de Euler se explican de la siguiente manera:
1.
Un Crculo pequeo dentro de otro crculo mayor

sera la imagen normal de TODO S es P. Y es que en una
proposicin universal afirmativa, lo normal es que la extensin del
predicado sea mayor que la extensin del sujeto, como cuando
decimos: Todo tringulo es una figura. De todos modos, la
presentacin grfica de Euler sobre las proposiciones universales
afirmativas, presenta problemas que los diagramas de Venn
solucionan mejor.
2.
Mediante la presentacin de dos Crculos

separados, uno representando S en la proposicin y otro P
de tal proposicin, se intentaba sealar que nada tenan que
ver el uno con el otro y as expresar las proposiciones
universales negativas del tipo NINGN S es P.
3.
Mediante la interseccin de dos crculos, Euler

representaba las proposiciones particulares. Con el objeto
de expresar una proposicin particular afirmativa del tipo
ALGN S es P; S-P se encontraban en la zona de
interseccin.
4.
Con el objeto de expresar una proposicin

particular negativa, del tipo ALGN S no es P; S-P se
encuentran separados cada uno en la zona de no
interseccin.
En determinados casos, las proposiciones universales afirmativas enlazan dos trminos de

igual extensin, como cuando se dice: Todo tringulo es un polgono de tres lados. En este
27
LOGICA Y FUNCIONES
caso, el Modelo grfico debera ser un Crculo significando la superposicin de otros dos
crculos concntricos de igual radio.
EJEMPLO: En una reunin, 30 personas toman agua mineral y 48 toman gaseosas, 5

personas prefieren no tomar ninguna de estas bebidas. Cuntas personas asisten a la reunin
si 16 bebieron ambas bebidas?
Solucin:
La mayora de problemas de este tipo suelen resolverse
utilizando un grfico (diagramas de Venn). Primero
interpretaremos el grfico ya construido, ms adelante
nosotros mismos construiremos los respectivos
grficos a partir de los datos.
Como son 16 las personas que bebieron ambas bebidas, colocamos el

16 justamente en la interseccin de los dos conjuntos.
Como son 30 personas las que bebieron agua mineral, entonces
colocamos el 14 tal como se muestra en la figura. Esto significa que 14 slo bebieron
agua mineral y 16 bebieron adems de agua mineral, gaseosa.
Como son 48 personas las que bebieron gaseosa, entonces colocamos
el 32 tal como se muestra en la figura. Esto significa que 32 bebieron slo gaseosa y 16
adems de gaseosa, bebieron agua mineral.
Como son 5 las personas que no bebieron ninguna de estas dos
bebidas, el nmero 5 lo colocamos fuera de la unin de estos dos conjuntos.
Este razonamiento nos permite ordenar nuestros datos y responder a varias preguntas.
Por ejemplo:
Cuntas personas estuvieron en la reunin?
Para responder a esta pregunta, determinamos el nmero de personas que forman el conjunto
universal U . Tenemos: 5 +14 +16 + 32 = 67 . Por lo tanto, son 67 personas en la reunin.
Cuntas personas bebieron slo agua mineral?
Para responder a esto, basta observar el nmero de personas que estn solamente en el
conjunto
de Agua mineral. Por lo tanto, son 14 personas que bebieron slo agua mineral.
Cuntas personas bebieron slo gaseosa?
Para responder a esto, basta observar el nmero de personas que estn solamente en el
conjunto de Gaseosa. Por lo tanto, son 32 personas que bebieron slo gaseosa.
Cuntas personas bebieron una sola bebida?
Para responder a esto, basta sumar el nmero de personas que estn solamente en el conjunto
de Agua mineral y el nmero de personas que estn solamente en el conjunto de Gaseosa.
Por lo tanto, son 14 + 32 = 46 personas.
EJEMPLO: Un conjunto X tiene 25 elementos y otro conjunto Y tiene 20 elementos,
suponiendo que hay 15 elementos en X Y. Cuntos elementos hay en X U Y?
28
LOGICA Y FUNCIONES
Solucin:
Entonces:
X U Y = 10 + 15 + 5 = 30
EJEMPLO: Representar cada una de las expresiones siguientes, por medio de Diagramas de
Venn (Sombrear las reas indicadas).
a)
A (B U C)
b)
(A B)c
c)
(A U B) (A U C)
Solucin:
a)
b)
A (B U C)
(A B)c
(A U B) (A U C)
EJEMPLO: En un conjunto de 20 Cadetes, 8 beben t y no beben caf y, a 13 les gusta el t.

Cuntos beben caf pero no beben t?
Solucin:
8 + 5 + X = 20
X = 20 13
X=7
EJEMPLO: De un conjunto de 20 profesores, 10 ensean matemticas, 9 fsica y 7 qumica; 4

ensean matemticas y fsica, pero ninguno ensea matemticas y qumica.
a) Cuntos ensean qumica y fsica?
29
LOGICA Y FUNCIONES
b) Cuntos ensean slo fsica?
Solucin:
Se debe hallar el valor de X
6 + 4 + (5 X) + X + (7 X) = 20
6 + 4 + 5 X + X + 7 X = 20
- X = 20 22
-X=-2
X=2
a) Ensean qumica y fsica 2
b) Slo fsica:
5X=52=3
2.2.3. DIAGRAMAS DE CARROLL

Es un diagrama usado para agrupar cosas de una manera
s/no. Nmeros y objetos son categorizados como x
(teniendo una cualidad x) o no x (no teniendo este
atributo). Son llamados as en alusin a Lewis Carroll, el
seudnimo de Charles Lutwidge Dodgson, el famoso autor
de Alicia en el Pas de las Maravillas quien era tambin
matemtico.
Figura 1.
Un Diagrama Simple de Carroll
UN DIAGRAMA SIMPLE DE CARROLL

Aunque los diagramas de Carroll pueden ser simples como
el mostrado en la Figura 1., los ms conocidos son como
el mostrado en la Figura 2., donde dos atributos son
mostrados. El universo de un diagrama de Carroll se
contiene dentro de las cajas en el diagrama, como
cualquier nmero u objeto tiene que, o tener una
cualidad, o no tenerla.
Figura 2.
Un Diagrama ms Complejo de Carroll
Los diagramas de Carroll son frecuentemente aprendidos por escolares, pero pueden ser
usados tambin fuera de este campo. Por ejemplo, representan una manera muy ordenada y
til de categorizar y exhibir ciertos tipos de informacin.
30
LOGICA Y FUNCIONES
EJEMPLO:
En una caja hay 60 caramelos, de los cuales 28 son redondos y 18 son de menta. Si 11
caramelos de menta son tambin redondos, se desea averiguar:
1) Cuntos caramelos redondos son de menta?
2) Cuntos caramelos de menta no son redondos?
3) Cuntos de los caramelos de la caja no son redondos?
Solucin:
Esta sencillo realizar el diagrama, espero que esto te sirva. Saludos.
NM
M
Total
R
28
11
39
NR
3
18
21
Total
31
29
60
1)
2)
3)
11 caramelos redondos son de menta

18 caramelos de menta no son redondos
21 de los caramelos de la caja no son redondos
EJEMPLO: En un aula hay 30 varones, 8 mujeres son de provincia, 40 son de Lima y el

nmero de mujeres limeas excede en 12 al nmero de mujeres de provincia. Cuntos
estudiantes hay en esta aula?
Solucin:
Este tipo de problemas pueden ser resueltos usando lo que se denomina,
Diagramas de Carroll.
Primero ubicamos la informacin en un cuadro de doble entrada:

Varones
Provincia
Lima
Total
Mujeres
8
20
Total
40
30
Primero observamos que el nmero de varones de Lima debe ser 20, pues en total son 40
estudiantes de Lima. De modo anlogo, completamos la anterior tabla, hasta obtener:
Provincia
Lima
Total
Varones
10
20
30
Mujeres
8
20
28
Total
18
40
58
El total de varones y mujeres suman 58, el cual coincide con el total de alumnos de Provincia y
de Lima en conjunto, como era de esperarse. Por lo tanto, respondiendo a la pregunta, son 58
estudiantes en el aula.
EJEMPLO: En la procesin del Seor de los Milagros, se sabe que 7000 profesores del
magisterio salieron a manifestar su fe, 1000 profesores universitarios y 23000 alumnos. Si se
sabe que en un momento:
31
LOGICA Y FUNCIONES
2000 personas estn en la Plaza de Armas.

4000 profesores del magisterio estn en la Av. Tacna, no se vio a ninguno de ellos en la
Av. Huancavelica y se divisaron 2000 en el Jr. de la Unin.
No se vio ningn profesor universitario en la Av. Tacna, pero s se vieron a 400 de ellos
en la Av. Huancavelica y 200 en el Jr. de la Unin.
8000 alumnos se divisaron en la Av. Tacna y 9000 de ellos en el Jr. de la Unin.
Cuntos profesores del magisterio estn actualmente en la Plaza de Armas? Dnde est la
segunda menor agrupacin de alumnos? Cuntas personas hay en el Jr. de la Unin en estos
momentos?
Solucin:
Hacemos un diagrama (tabla) para ordenar toda la informacin:
Av. Tacna
Jr. de la
Unin
Av.
Huancavelica
Profesores del
Magisterio
4000
2000
7000
Profesores
Universitarios
400
200
1000
Alumnos
8000
Plaza de
Armas
Total
9000
Total
23000
2000
Luego, procedemos a llenar los dems datos:
Av. Tacna
Jr. de la
Unin
Av.
Huancavelica
Plaza de
Armas
Total
Profesores del
Magisterio
4000
2000
1000
7000
Profesores
Universitarios
400
200
400
1000
Alumnos
8000
5400
9000
600
23000
Total
1200
5800
11200
2000
Seguidamente, procedemos a responder las preguntas formuladas:

Cuntos profesores del magisterio estn actualmente en la Plaza de Armas?
1000 profesores
Dnde est la segunda menor agrupacin de Alumnos actualmente?
En el Jr. de la Unin, hay 5400 alumnos
32
LOGICA Y FUNCIONES
Cuntas personas hay en el Jr. de la Unin en estos momentos?

En total, son 5800 personas entre profesores universitarios y alumnos, observe
que no hay en ese Jirn ningn profesor del magisterio.
ARITMTICA BSICA
Como ya sabemos, las operaciones aritmticas bsicas se representan por los smbolos
siguientes:
+
Ms o suma. Ejemplo: 2 + 5 = 7.
=
Igual a o mismo valor.
Menos o resta. Ejemplo: 6 - 4 = 2.
x
Multiplicacin. Ejemplo: 2 x 4 = 8.
Divisin. Ejemplo: 6 2 = 3.
Multiplicacin. Ejemplo: 2 4 = 8.
()
Parntesis; las operaciones dentro de parntesis se hacen primero.
Ejemplo: (7-2) + 4 = 5 + 4 = 9.
SISTEMA Y UNIDADES DE CONVERSION

MEDIDAS DE MAGNITUDES: EL S. INTERNACIONAL
33
LOGICA Y FUNCIONES
QU ES MEDIR?
En las Ciencias de la Naturaleza realizamos medidas de muchas caractersticas o propiedades:
temperatura, velocidad, peso, longitud, superficie, tiempo que un cuerpo tarda en caer o en
hervir, etc. Cada una de estas caractersticas es una magnitud.
Se llama MAGNITUD a toda propiedad de los cuerpos que se pueda medir. Son magnitudes
la longitud, el tiempo, la temperatura, el volumen. etc. No son magnitudes la belleza, la
simpata, el amor etc.
Antes de dar una definicin de lo que es medir, realizaremos una actividad muy simple que
aparece al margen.
MEDIR es comparar una magnitud con otra similar que tomamos como unidad, y
comprobar cuntas veces contiene la magnitud a dicha unidad. El resultado de una
medida es siempre un nmero y una unidad, ya que el primero sin la segunda carece de
sentido.
Por ejemplo, no basta con decir que una habitacin mide 3 de ancho por 4 de largo, hay que
concretar qu unidad hemos utilizado en la medicin: 3 m de ancho por 4 m de largo.
Para medir una magnitud se pueden seguir dos mtodos:
Medida directa. La medida es directa si la magnitud se compara directamente con la unidad
adecuada de esa magnitud. Si queremos medir la longitud de nuestro lpiz la compararamos
con las unidades de medida grabadas en la regla.
Medida indirecta. En una medida indirecta, el valor de la magnitud se obtiene a travs de una
frmula que la relaciona con otras magnitudes que s se han medido directamente. La mayora
de las medidas son indirectas.
Por ejemplo, la superficie del tringulo de la figura, se puede medir de dos formas:
directamente, contando los cuadraditos del papel milimetrado que contiene, o indirectamente,
midiendo con la regla la base y la altura y utilizando la frmula siguiente: S = (b x h)/2
Una unidad es una cantidad que se adopta como patrn para comparar con ella cantidades de
la misma magnitud. Una unidad, para ser adecuada, debe ser:
Constante en todos los lugares y en todo momento.
Universal, de modo que todos la puedan utilizar.
Fcil de reproducir.
OJO: Definir una unidad adecuada es un proceso complicado y ha ido variando con el tiempo.
MAGNITUDES FUNDAMENTALES Y DERIVADAS.

No es necesario inventar ni definir una unidad para cada magnitud. Es posible elegir por
convenio unas pocas magnitudes, que llamaremos magnitudes fundamentales, que
presentan la particularidad de que de ellas pueden deducirse todas las dems.
34
LOGICA Y FUNCIONES
A lo largo de la historia de la ciencia ha habido diferentes sistemas de unidades dificultando la

comunicacin de datos entre distintos sistemas (por ejemplo entre el sistema ingls y el
nuestro)
EL SISTEMA INTERNACIONAL. (S.I.)
Para evitar estos problemas los cientficos han creado el Sistema Internacional (SI). En 1960 se
tomo un acuerdo internacional que especifica las unidades bsicas que deben utilizar todos los
cientficos. Estas unidades constituyen el Sistema internacional (SI). En Espaa, el SI fue
adoptado oficialmente en 1967.
En la tabla aparecen las magnitudes fundamentales y sus correspondientes unidades en el SI.
MAGNITUDES Y UNIDADES FUNDAMENTALES DEL SI
MAGNITUD
UNIDAD
SIMBOLO
Longitud
Metro
M
Masa
Kilogramo
Kg
Tiempo
Segundo
S
Temperatura
Kelvin
K
Intensidad de la Corriente Electrica
Amperio
A
Se ha de tener en cuenta que los smbolos de las unidades fundamentales se expresan en
letras minsculas; no obstante, si los smbolos se derivan de nombres propios, se utilizan
letras maysculas. Los smbolos no irn seguidos de un punto.
Cada una de las unidades fundamentales del SI tiene una definicin que ha ido cambiando a lo
largo de los aos y en la que no entraremos.
El metro se define como la longitud que recorre la luz en un tiempo de1/299.792458 segundos
(3,335641 10-8 s). Es, muy aproximadamente, la diezmillonsima parte del cuadrante del
meridiano terrestre. O sea, cualquier meridiano (o el ecuador) mide 40 millones de metros.
El kilogramo es la masa de un cilindro metlico que se guarda en la Oficina Internacional de
Pesos y Medidas de Svres. Es la masa de 1 dm3 de agua destilada, es decir, pura, libre de
sustancias disueltas.
El segundo es la duracin de 9.192.631.770 perodos de la radiacin emitida por el tomo de
cesio-133. Es, muy aproximadamente, 1/86400 de 1 da solar medio.
Al combinar las unidades fundamentales del SI se pueden obtener una multitud de unidades
derivadas, as por ejemplo, la unidad de densidad en el SI, teniendo en cuenta que la densidad
se calcula como el cociente de la masa y el volumen de un cuerpo:
D = Masa / Volumen, ser el kg/m3
Utilizaramos la misma unidad para medir las masas de una persona, de una tiza, de la
Tierra, y de una molcula de agua? Evidentemente, la respuesta es no.
35
LOGICA Y FUNCIONES
A la hora de realizar una medida debemos elegir una unidad adecuada a la cantidad que
estamos midiendo, de manera que el resultado de la medida no sea ni un nmero muy grande
ni un nmero muy pequeo. As pues, surge la necesidad de utilizar mltiplos y submltiplos
de las unidades fundamentales del SI. Dichos mltiplos y submltiplos se nombran mediante
prefijos.
CIFRAS SIGNIFICATIVAS.
En la realizacin de una medida hay dos aspectos importantes:
Siempre se debe expresar el resultado con el nmero de cifras que permita el aparato de
medida. Es decir, hay que tener en cuenta la precisin.
De esas cifras, la ltima es incierta porque est afectada por el inevitable error propio
de la precisin del instrumento de medida.
Pues bien, llamaremos cifras significativas de una medida directa a todas aquellas que
expresan correctamente el resultado de esa medida.
Cuando el cero aparece a la izquierda de la coma decimal, no se considera cifra significativa.
Tampoco cuando aparece tras la coma decimal si delante no tiene algn nmero distinto de
cero.
Con frecuencia tendrs que efectuar operaciones aritmticas con nmeros que procedan de
diferentes medidas directas y, por tanto, con un nmero distinto de cifras significativas. En
estos casos, el criterio fundamental es comunicar exactamente lo que se conoce, ni una cifra
ms ni una menos.
Fjate bien en las reglas y ejemplos siguientes:
El resultado debe tener el mismo nmero de cifras significativas que la medida directa
que menos tenga, eliminando las siguientes.
Si la primera cifra eliminada es un 5 o superior, se redondea aumentando en una
unidad la ltima cifra significativa del resultado.
Si en la operacin que hay que realizar intervienen nmeros exactos, no se consideran
a efectos de cifras significativas.
Si en la operacin aparece el nmero , se toma con una cifra significativa ms que la
de la medida que menos tenga, para que no influya en el resultado.
Ejemplo de Cifras Significativas
MEDIDA
328 mm.
24.90 g.
102.6 ml.
2.1820 g.
13.0 cm.
0.025 m.
0.0001 kg.
N DE CIFRAS
SIGNIFICATIVAS
3
4
4
5
3
2
1
Ejemplo. Calcular el permetro de un

cuadrado de 12.4cm de lado.
12.4 x 4 = 49.6 m (tres cifras
PROFESOR: Ing.significativas)
DIEGO TUME RUIZ
Ejemplo. Sumar 3.2 m con 4.72 m.

3.2 + 4.72 = 7.92 m
7.9 m (dos cifras significativas)
Ejemplo. Dividir 13.26 g entre 2.3 cm3.

13.26/2.3 = 5.765217391 g/cm3
5.8 g/cm3 (dos cifras significativas)
Ejemplo. Longitud de una

circunferencia de 2.36 m de radio
L =2 r = 2 x 3.141 x 2.36 = 14.82552
14.83 m
36
LOGICA Y FUNCIONES
NOTACIN CIENTFICA
A veces, al dar el resultado de algunas medidas aplicando el SI, obtenemos nmeros muy
grandes o muy pequeos, como veremos a continuacin:
Velocidad de la luz:
Radio de la tierra:
Longitud de una
mosca ordinaria:
Masa de un tomo de
hidrgeno:
Notacin estndar
300000,000 mis
6380,000 m
0.005 m
0.00000000000000000000000000167 kg
Notacin cientfica
3 108 m/s
6.38 106 m
5 10-3 m
1.67 10-27kg
Estos nmeros, como vemos, son difciles de escribir y de leer. Para expresar cmodamente
nmeros grandes o pequeos se utiliza la llamada notacin cientfica, que consiste en escribir
un nmero comprendido entre 1 y 10 multiplicado por una potencia de 10. As, las cantidades
anteriores se podan haber escrito: (ver tabla)
CONVERSIN DE UNIDADES
Con frecuencia, necesitamos convertir medidas expresadas en una unidad en otra unidad
diferente. Para ello utilizaremos el mtodo del factor de conversin.
Un factor de conversin es una fraccin en cuyo numerador y denominador aparecen
unidades distintas de una misma magnitud y la relacin entre ellas.
37
LOGICA Y FUNCIONES
Por ejemplo, supongamos que queremos transformar la masa 250 gramos a kg. Lo primero
que deberemos hacer es escribir un factor de conversin que relacione g con kg. Estos pueden
ser:
ACTIVIDAD DE APRENDIZAJE
Mltiplos y submltiplos
1. A qu es igual 1 kg?
a) 10 t
b) 1000 t
c) 1000 g
d) 0,001 g
e) 0,01 t
2. A qu es igual 1 l?
a) Un decmetro cbico.
b) Un metro cbico.
c) Un centmetro cbico.
d) Un kilogramo.
e) 100 mililitros.
3. A qu es igual 1 h?
a) 0,01 das.
b) 120 s
c) 0,60 min
d) 3600 s
4. A qu es igual 1 m?
a) 10 km
b) 100 km
c) 1000 km
d) 100 cm
e) 10 cm
f) 100 mm
----------Clave---------1. (c)
2. (a)
3. (d)
4. (d)
38
LOGICA Y FUNCIONES
DEFINICIONES BSICAS:
1.
PAR ORDENADO Y PRODUCTO CARTESIANO
Notacin: un par ordenado se denota escribiendo sus elementos entre parntesis y separados por una coma.
As por ejemplo:
Si escribimos (a,b) se lee: El par ordenado a b
Donde: - a es la primera componente ( coordenada) del par (a,b)
- b es la segunda componente ( coordenada) del par (a,b).
Observacin: como vemos, si decimos que en un par ordenado mucho tiene que ver el orden, entonces podemos
darnos cuenta que (a,b) (b,a)
IGUALDAD DE PARES ORDENADOS: Diremos que los pares ordenados (a,b) y (m,n) son iguales, si y slo si,
la primera componente del par (a,b) es igual a la primera componente del par (m,n) y la segunda componente del par
(a,b) es igual a la segunda componente del par (m,n).
Usando Notaciones diremos: (a,b) = (m,n)
a=m
b=n
PRODUCTO CARTESIANO: Sean A y B dos conjuntos diferentes del vaco, llamamos Producto Cartesiano de A
por B y denotamos por AxB, al conjunto formado por todos los pares ordenados que tienen como primera
componente a los elementos de A y como segunda componente a los elementos de B.
Definicin Simblica:
1.
AxB = (a,b)/aA bB
Si A y B son conjuntos finitos, entonces n(AxB) = n(A) n(B)
n(A) : es el nmero de elementos de A

donde: n(B) : es el nmero de elementos de B
n(AxB) : es el nmero de elementos de AxB
1. Los conjuntos A y B pueden ser finitos o infinitos. Infinitos numerables e infinitos no numerables.
Por ejemplo:
Si A = N y B = N
NxN = (m,n)/mN nN
Si A = Z y B = Z
ZxZ = (x,y)/xZ yZ
39
LOGICA Y FUNCIONES
Si A = R y B = R
RxR = (x,y)/xR yR
Se llama plano cartesiano
Si A = Z+ y B = R
Z+xR = (n,r)/nZ+ rR
El Producto Cartesiano Z+xR es muy importante para definir una sucesin.
Por ejemplo la sucesin Sn =
que escrito por extensin sera:

nZ+
Sn = 1, , 1/3, , , .
Ejemplo de Producto Cartesiano

1)
Si A= 1,2 , B = 2,4,6 ; entonces AxB= (1,2),(1,4),(1,6),(2,2),(2,4),(2,6)
Como vemos aqu: n(AxB) = n(A) n(B)
(2) (3) = 6

Tambin tenemos que: BxA = (2,1),(2,2),(4,1),(4,2),(6,1),(6,2)
n
Adems, podemos apreciar que AxB BxA

PROPIEDADES:
1. En general AxB BxA
2. AxB = BxA A = B (A = B = )
3. Ax =
4. Ax(BC) = (AxB) (AxC)
5. Ax(BC) = (AxB) (AxC)
6. Si AB
AxB BxB
AxA AxB
7. (AB) x (EF) = (AxE)(BxF)
8. (AxE)(BxF) (AB) x (EF)
9. Si AB ED AxE BxD
10. Ax(E-B) = (AxE) (AxE)
DIAGONAL DE UN CONJUNTO:
Si A , entonces el conjunto IA = (x,y) AxA/ y = x se denomina diagonal del conjunto A.
Ejemplo:
Sea A = 1, , 3 ,
Donde: AxA = (1,1),(1,1/2),(1,3),(1/2,1),(1/2,1/2),(1/2,3),(3,1),(3,1/2),(3,3)

Entonces:
IA = (1,1),(1/2,1/2), (3,3)
Ejemplos de Aplicacin
1. Sean los conjuntos: A = xZ/ (x3 x)(x2 4) = 0
B = xZ/ x - 1 = 2
C = xZ/ 2x - 1 < 2
Hallar: i) AxB ii) (BC)xA
iii) (AB) x (BC)
40
LOGICA Y FUNCIONES
Solucin:
Resolviendo en A:
(x3 x)(x2 -4) = 0
x(x2 1)(x - 2)(x + 2) = 0

x(x - 1)(x + 1)(x 2)(x + 2) = 0
A = 0,1,-1,2,-2
Resolviendo en B:
x - 1 = 2
x1=2
x=3
B = 3,-1
Resolviendo en C:
2x - 1 < 2
-2<x1<2
- 1 < 2x < 3
- < x < 3/2
C = 0,1
x1=-2
x=-1
Luego:
i) AxB = (0,3),(0,-1),(1,3),(1,-1),(-1,3),(-1,1),(2,3),(2,-1),(-2,3),(-2,-1)
ii) (BC)xA = xA =
iii) (AB)x(BC) = -1 x 3,-1,0,1 = (-1,3),(-1,-1),(-1,0),(-1,1)
2. Hallar los valores reales, si existen, de x e y sabiendo que (x y, xy) = (0,1)
Solucin:
(x y , xy) = (0,1)
De ( I ) despejamos x:
xy=0
x y = 0 . ( I )
xy = 1 . ( I I )
x = y ( III )
Reemplazamos ( III ) en ( II ) : yy = 1 y2 = 1
xy = 1
y=1
Si
y=1
Si
y = -1
Por tanto: Cs = (1,1),(-1,-1)
x=1
x = -1
RELACIONES BINARIAS
Definicin: Sean A y B dos conjuntos diferentes del vaco, decimos que el conjunto R es una relacin binaria de A
en B, si R es un subconjunto del producto cartesiano AxB.
Simblicamente tenemos:
R es una relacin de A en B, si R AxB con A = , B =
Conjunto de Partida y Conjunto de Llegada de una Relacin:
Si R es una relacin de A en B (es decir si R AxB),
entonces:
A se llama conjunto de Partida

B se llama conjunto de Llegada
REPRESENTACION GRAFICA DE LAS RELACIONES
41
LOGICA Y FUNCIONES
Una relacin puede representarse grficamente usando diagramas de Venn o usando dos rectas perpendiculares.
Si Usamos Diagramas de Venn
a)
Una relacin R de A en B, se representara como sigue:
Dom( R )
Im( R )
Conjunto de Partida
Conjunto de Llegada
R Ax B
Dom( R ): Dominio de R
Im( R ): Rango de R
b)
Una relacin S de B en A, se representara como sigue:
Im( R )
Dom( S )
Conjunto de Partida
Conjunto de Llegada
SBxA
Dom( S ): Dominio de S
Im( S ): Rango de S
Si Usamos Dos Rectas Perpendiculares
a)
Una relacin R1 de M en N, se representara como sigue:
.
R1 M x N
a , b = Dom (R1)
c , d = Im (R1)
42
LOGICA Y FUNCIONES
b)
Una relacin S1 de X en Y, se representara como sigue:
S1 M x N
0 , a = Dom (S1)
0 , b = Im (S1)
Sea R una Relacin de A en B (R AxB), entonces:

El Dominio de R: es el conjunto formado por las primeras componentes de los pares (x,y) que
pertenecen a R.
El Rango de R: es el conjunto formado por las segundas componentes de los pares (x,y) que
pertenecen a R.
Definicin Simblica:
Si R AxB, entonces:
Dom(R) = xA/ y B (x,y) R

Rg(R) = yB/ x A (x,y) R
RELACION DE EQUIVALENCIA
xRy
Se lee x esta en relacin con y
mediante R
y = R(x)
Se lee y es relacin de x
o y depende de x por la
relacin R
(x,y) R
Se lee el par ordenado
(x,y) pertenece a la
relacin R
LAS RELACIONES MATEMATICAS MAS USUALES SON:

Relacin
Smbolo
Ejemplo de Relacin de R en R
Relacin de Igualdad
=
x2 + y2 = 4
Relacin de Orden menor estricto
<
x2 + y2 < 4
Relacin de Orden mayor estricto
>
x2 + y2 > 4
Relacin de Pertenencia
(2,1) S, donde S: 2x-y-5 = 0
43
LOGICA Y FUNCIONES
Relacin de Equivalencia:
Se dice que R es una relacin de equivalencia sobre un conjunto E , a toda relacin de E en E que goza de las
tres siguientes propiedades:
1. Para todo x E se cumple que (x,x) R (Propiedad Reflexiva)
xRx
2. Cualquiera que sea x z de E se tiene que
Si (x,z) R
(z, x) R
xRx
zRx
3. Cualesquiera que sean x,z,t de E se tiene que:

Si (x,z) R
(z, t) R
xRz
(Propiedad Simtrica)
zRt
(x,t) R
(Propiedad Simtrica)
xRt
Antes de poder aplicar las matemticas a la solucin de problemas reales, hay que formular estos problemas en el
lenguaje de las matemticas. Este proceso se conoce como modelacin matemtica. Un modelo matemtico puede
describir con precisin el problema en cuestin, o lo ms probable, proporcionar una aproximacin aceptable del
mismo; por ejemplo la velocidad se calcula como el espacio recorrido sobre el tiempo empleado, que est dada
exactamente por la frmula (modelo) :
v = e/t
FUNCIONES:
Muchos modelos matemticos se describen mediante el concepto de funcin. Un fabricante desea conocer la
relacin o correspondencia entre las ganancias de su compaa y su nivel de produccin, un bilogo se interesa en el
cambio de tamao de cierto cultivo de bacterias con el paso del tiempo, un psiclogo quisiera conocer la relacin o
correspondencia entre el tiempo de aprendizaje de un individuo y la longitud de una lista de palabras, un qumico le
interesa la relacin o correspondencia entre la velocidad inicial de una reaccin qumica y la cantidad de sustrato
utilizado, a un comerciante la relacin o correspondencia entre cada artculo de un estante con su precio, etc. En
cada caso la pregunta es la misma:cmo depende una cantidad de otra?. Esta dependencia entre dos cantidades es la
correspondencia entre diversos tipos de fenmenos y se describe convenientemente en matemticas mediante una
funcin.
Funcin
Una funcin es una regla que asigna a cada elemento de
un conjunto A uno y slo un elemento de un conjunto B.
El conjunto A es el dominio de la funcin, y el conjunto B es el contra-dominio de la funcin.
RELACIN:
En la seccin anterior se hizo la pregunta, cmo depende una cantidad de otra ?, que puede ser reformulada como :
qu tienen en comn todos los ejemplos de relacin o correspondencia?. Cada uno intenta formar pares de
44
LOGICA Y FUNCIONES
elementos de un primer conjunto A que ya se defini como dominio de correspondencia, con los elementos de un
segundo conjunto B, llamado contra-dominio de la correspondencia. Por lo que una funcin f tambin se puede
entender como una asociacin o relacin en que un elemento x en el dominio de f se asocia con un nico elemento
f(x) en B.
Relacin
1.- Una relacin es una correspondencia entre un primer conjunto llamado dominio y
un segundo conjunto llamado contra-dominio de modo que a cada elemento del
dominio corresponde uno o ms elementos del contra-dominio.
2.- Una relacin, en general, es cualquier conjunto de pares ordenados de nmeros
reales.
Con esto en mente, se puede redefinir la funcin:

Funcin
Una funcin es una relacin con la restriccin agregada de que a cada valor del
dominio corresponde uno y solamente un valor del contra-dominio.
Todas las funciones son relaciones, pero muchas relaciones no son funciones.
Ejemplos :
a)
b)
c)
Correspondencia o relacin entre el nombre de un estudiante y su vivienda

Correspondencia o relacin entre el nombre de un estudiante y las materias que cursa
Correspondencia o relacin entre el nombre de un estudiante y su nmero de telfono
Formas de especificar las Relaciones y Funciones

Generalmente una relacin se representa por el Mtodo de la flecha, en forma de tabla, como conjunto de pares
ordenados, en forma grfica y en forma de Ecuacin. El primero como su nombre lo dice se traza una flecha del
dominio al contra-dominio. En forma de tabla se escribe el dominio en la primera columna y el contra-dominio en la
segunda. Como conjunto de pares ordenados de nmeros reales, se escribe el conjunto de puntos separados por una
coma. Y en forma grfica, se marcan los correspondientes puntos del conjunto en el plano cartesiano esta recibe el
nombre de grfica de la relacin. Cuando se representa en forma de ecuacin, se evala la funcin con el valor de x.
Ejemplos:
Correspondencia o relacin entre los elementos del conjunto
F = {(1, 5), (2, 7), (3, 9), (4, 11),}
1. En forma de Ecuacin. En los datos no se proporcion ecuacin alguna, por lo que en ocasiones no se
puede representar en forma de ecuacin. Sin embargo en este caso es fcil obtenerla, siendo: y = 2x
+3
2. Mtodo de la flecha
45
LOGICA Y FUNCIONES
3.Como conjunto de pares ordenados de nmeros reales. El conjunto lo proporcionaron como dato F = {(1,
5), (2, 7), (3, 9), (4, 11),}
4. En forma de tabla
11
5. En forma grfica.
6.- Es la relacin una funcin?.Explique.
Es una funcin porque un nmero real del dominio va a un nmero real del contra-dominio.
RELACIONES Y FUNCIONES ESPECIFICADAS POR ECUACIONES

Estas relaciones ya se mencionaron anteriormente, pero ahondaremos en ellas. Son las que se especifican mediante
ecuaciones, donde para cada entrada x se obtiene una salida y. Los valores de entrada son valores del dominio y los
valores de salida son valores de contra-dominio. Cualquier variable que tome valores del dominio se llama variable
independiente, en caso contrario si toma valores del contra dominio se llama variable dependiente. Se puede
concluir que si para cada valor de la variable independiente (entrada) corresponde exactamente un valor de la
variable dependiente (salida), entonces la ecuacin especifica una funcin. Si existe ms de una salida para una
entrada, por lo menos, entonces la ecuacin no especifica una funcin.
Ejemplos:
Las siguientes relaciones:
a) y = 2x + 6
1.En Forma de Ecuacin
y = 2x + 6; si x = -2 corresponde a y = 2(-2)+ 6 = 2
si x = 0 y = 2(0) + 6 = 6
su x = 2 y = 2(2) + 6 = 10
2.Mtodo de la flecha
3.Como conjunto de pares ordenados de nmeros reales

S = {(-2, 2), (0, 6), (2, 10)}
4.Forma de tabla
x
-2
0
2
y
2
6
10
46
LOGICA Y FUNCIONES
5.Forma grfica
6.Es la relacin una funcin?. Explique.
Es una funcin porque un nmero real del dominio va a un nmero real del contra-dominio.
b) y = 5x2 - 3
1.En forma de Ecuacin
y = 5x2 - 3; si x = -5 y = 5(-5)2- 3 = 122
si x = -4 y = 5(-4)2 - 3 = 77;
si x = -3 y = 5(-3)2 - 3 = 42
2
si x = -2 y = 5(-2) - 3 = 17 ;
si x = -1 y = 5(-1)2 - 3 = 2
si x = 0 y = 5(0)2 - 3 = -3 ;
si x = 1 y = 5(1)2 - 3 = 2
si x = 2 y = 5(2)2 - 3 = 17 ;
si x = 3 y = 5(3)2 - 3 = 42
2
si x = 4 y = 5(4) - 3 = 77 ;
si x = 5 y = 5(5)2 - 3 = 122
2.Mtodo de la flecha

S = {(-5, 122), (-4, 77), (-3,42 ), (-2, 17),(-1, 2), (0, -3), (1, 2), (2, 17), (3, 42), (4, 77), (5, 122)}
4. En forma de tabla
5.En forma grfica
x
-5
-4
-3
-2
-1
0
1
2
3
4
5
Y
122
77
42
17
2
-3
2
17
42
77
122

Es una funcin porque un nmero real del dominio va a un nmero real del contra-dominio. Y es perfectamente
aceptable hacer corresponder el mismo valor de y a ms de un valor de x.
c) y2 = x2 + 9
47
LOGICA Y FUNCIONES
1.En forma de Ecuacin:
Se despeja y de: y2 = x2 + 9
Ahora si:
x = -5
Si:
x=0
Si:
x=7
2. Mtodo de la flecha

S = {(-5, 2), (-5, -2), (0, 3), (0, -3), (7, 4),(7, -4)}
4.En forma de tabla
5.En forma grfica

Esta correspondencia o relacin no es una funcin porque para cada valor del dominio le corresponden dos
elementos del contra- dominio.
Notacin de funcin
Retomando de la definicin de funcin, el conjunto A es el dominio de la funcin. Se acostumbra denotar una
funcin mediante una letra del alfabeto, como la letra f. Si c es un elemento del dominio de una funcin f, entonces,
el elemento en B que f asocia a x se escribe f(x) (se lee f de x) y se llama valor de f en x. O bien puede denotarse
como:
f:
y = ecuacin.
Ejemplos 1
a)
Si f y g son dos funciones:
f: y = 3x + 5
g: y = 2x2 + 5x + 8
pueden escribirse como:
f(x) = 3x + 5
g(x) = 2x2 + 5x + 8
b)
Si f y g son dos funciones:
f: y = 1/2x -3
g: y = x2 - 7x + 3
pueden escribirse como:
f(x) = 1/2x -3
g(x) = x2 - 7x + 3
48
LOGICA Y FUNCIONES
c)
Si f es una funcin y x = 2, evaluarla funcin
f: y = 3x + 5
f: y = 3(2) + 5
f: y = 11
o bien:
f(x) = 3x + 5
f(2) = 3(2) + 5
f(2) =11
d)
Si g es una funcin y si x = 0:
g: y = 2x2 + 5x + 8
g: y = 3(0)+ 5
g: y = 5
o bien:
g(x) = 2x2 + 5x + 8
g(0) = 5
g(0) = 3(0)+ 5
Ejemplo 2
Sean f(x) = 3x - 2; g(x) = 2x2 + 5x+ 8 y h(x) = 1 + x, evaluar cada funcin.
a)
f(x) = 3x -2
Si x = 2
f(2) = 3(2) -2
g(x) = 2x2 + 5x + 8
g(2) = 8 + 10 + 8
g(2) = 2(2)2+ 5(2) + 8

g(2) = 26
h(x) = 1+ x
h(2) = 1+ 2
b)
f(2) = 4
h(2) = 3
Cul es el dominio de f, de g, y de h?
Dominio de f(x) = 3x - 2 es el conjunto de todas las x tales que (,)
Dominio de g(x) = 2x2 + 5x + 8 es el conjunto de todas las x tales que (,)
Dominio de h(x) = 1 + x es el conjunto de todas las x tales que (,)
Ejemplo 3
Sea f(x) =
a)
X 3 evaluar y detectar si es una funcin.
Si x = 0:
X 3
f(x) =
03
f(0) =
f(0) =
No es una funcin, es una relacin.

b)
Cul es el dominio de f ?
Dominio de f(x) =
X 3 es el conjunto de todas las x tales que -3 x o bien, -3,).
Ejemplo 4
Sea f(x) =
a)
f(x) =
evaluar y detectar si es una funcin.
Si x = 6:
x3
b)
f(x) =
9
x3
f(x) =
9
63
f(x) = 1
f(x) =
9
03
f(x) = 3
Si x = 0:
9
x3
49
LOGICA Y FUNCIONES
c)
Si x = -12:
x3
f(x) =
d)
e)
9
12 3
f(x) = -1
f(x) =
9
3 3
f(x) = 0
Si x = -3:
9
x3
f(x) =
f(x) =
Indeterminado.
Cul es el dominio de f ?
Dominio de f(x) =
9
es el conjunto de todas las x tales que (-3 < x < -3), o bien todos los nmeros reales
x3
excepto x = -3. En los ejercicios anteriores se vislumbr la necesidad de hacer una:
Convencin respecto de los dominios y contra-dominios

Si una relacin o funcin se especifica mediante una ecuacin y no se indica el
dominio, entonces se supondr que el dominio es el conjunto de todos los nmeros
reales que pueden tomar la variable independiente (entradas), que producen valores
reales de la variable dependiente (salidas). El contra-dominio es el conjunto de todas
las salidas que corresponden a los valores de entrada.
OPERACIONES CON FUNCIONES

Suma de funciones
Sean f y g dos funciones reales de variable real definidas en un mismo intervalo. Se llama suma de ambas
funciones, y se representa por f + g, a la funcin definida por
(f + g)(x) = f(x) + g(x)
Resta de funciones
Del mismo modo que se ha definido la suma de funciones, se define la resta de dos funciones reales de variable real
f y g, como la funcin
(f - g)(x) = f(x) - g(x)
Para que esto sea posible es necesario que f y g estn definidas en un mismo intervalo.
Producto de funciones
Sean f y g dos funciones reales de variable real, y definidas en un mismo intervalo. Se llama funcin
producto de f y g a la funcin definida por
(f . g)(x) = f(x) . g(x)
Cociente de funciones
50
LOGICA Y FUNCIONES
Dadas dos funciones reales de variable real, f y g, y definidas en un mismo intervalo, se llama funcin cociente de f
y g a la funcin definida por:
(La funcin f/g est definida en todos los puntos en los que la funcin g no se anula).
Producto de un nmero por una funcin

Dado un nmero real a y una funcin f, el producto del nmero por la funcin es la funcin definida por:
(a . f)(x) = a . f(x)
Ejercicio:
1.
Sean las funciones f(x) = 3x + 1, y g(x) = 2x - 4.
Definir la funcin f + g y calcular las imgenes de los nmeros 2, -3 y 1/5.
Solucin:
La funcin f + g se define como
(f + g) (x) = f(x) + g(x) = 3x + 1 + 2x - 4 = 5x - 3
(f + g) (2) = 5 (2) - 3 = 7
(f + g) (-3) = 5(-3) - 3 = -18
(f + g) (1/5) = 5 (1/5) - 3 = -2
Obsrvese que si se calculan las imgenes de f y g por separado y se suman, el resultado es el mismo.
Por ejemplo, para la imagen del 2,
f(2) = 3(2) + 1 = 7
(f+g)(2) = 7 + 0 = 7
g(2) = 2(2) 4 = 0
2.
Dadas las funciones f (x) = x2 - 3, y g(x) = x + 3, definir la funcin (f - g)(x).
Calcular las imgenes de 1/3, -2 y 0 mediante la funcin f - g.

Solucin:
(f - g)(x) = f(x) g(x) = x2 3 (x + 3) = x2 3 x 3 = x2 x 6
(f g)(1/3) = (1/3)2 1/3 6 = - 56/9
(f g)(-2) = (-2)2 (-2) 6 = 0
(f g)(0) = (0)2 0 6 = -6
Calculando las imgenes de los nmeros mediante las funciones f y g por separado, y efectuando la resta, se obtiene
el mismo resultado.
3.
Dadas las funciones f(x) =
x
3 y g(x) = 2x + 1, definir la funcin f.g.
2
Solucin:
(f.g)(x) = f(x) . g(x) = (
x
11
x- 3
- 3) (2x + 1) = x2 2
2
51
LOGICA Y FUNCIONES
Calculando las imgenes de los nmeros mediante las funciones f y g por separado, y multiplicando despus, se
obtienen los mismos resultados.
4.
Dadas las funciones f(x) = -x - 1, y g(x) = 2x + 3, definir f/g.
Calcular las imgenes de los nmeros -1, 2 y 3/2 mediante f/g.

Solucin:
f
f ( x) x 1
( x)
g
g ( x) 2 x 3
La funcin f/g est definida para todos los nmeros reales, salvo para x = -3/2, donde la funcin g se anula.
f 3
5/ 2 5
f
f
3
0
( 2)
( 1) 0
g
2
6
12
1
7

g
g
Calculando por separado las imgenes de los nmeros mediante las funciones f y g, y despus efectuando su
cociente, se obtienen los mismos resultados.
5.
Dada la funcin f(x) = x2 + x 2, calcular 3.f y 1 . f
Obtener las imgenes de los nmeros 2, 1 y 0 mediante la funcin 3f.

Solucin:
(3.f)(x) = 3.f(x) = 3.(x2 + x 2) = 3x2 + 3x - 6
1
1 2
1
. f ( x ) . f ( x ) ( x x 2)
3
3
3
Las imgenes pedidas son:
(3.f)(2) = 3(22) + 3(2) 6 = 12
(3.f)(1) = 3(12) + 3(1) 6 = 0
(3.f)(0) = 3(02) + 3(0) 6 = -6
Funciones compuestas
Las funciones compuestas estn formadas por 2 funciones mnimo. As, la funcin h est definida para todos los
valores del contra-dominio de "g" que estn en el dominio de "f", esto se visualiza en la siguiente figura:
Ejemplos
1.
Para
a)
b)
c)
f(x) =
f[g(6)]
f[g(a)]
f[g(x)]
x y g(x) = x + 2. Evaluar:
Solucin:
52
LOGICA Y FUNCIONES
a)
Evaluar f[g(6)]
P1.- Evaluamos a g(x) = x + 2, con x = 6 g(6) = 6 + 2 g(6) = 8
P2.- Ahora se evala f(g(6)) =
b)
x f(8) =
8 f(8) = 2
Evaluar f[ g(a)]
P1.- Evaluamos a g(x) = x + 2, con x = a g(a) = a + 2
P2.- Ahora se evala f(g(a)) =
2.
a2
Para f(x) = | x | y g(x) = x - 2. Evaluar

a)
f[g(-2)]
b)
f[g(2x)]
Solucin:
a)
f[g(-2)]
P1.- Evaluamos a g(x) = x - 2, con x = -2 g(-2) = -2 + 2 g(-2) = 0
P2.- Ahora se evala f[g(-2)] = | x | f[0] = | 0 | f[0] = 0
b)
3.
f[g(2x)]
P1.- Evaluamos a g(x) = x - 2, con x = 2x g(2x) = 2x - 2
P2.- Ahora se evala f[g(2x)] = | x | f[2x - 2)] = |2x - 2|
Para f(x) = 2x - 3 y g(x) = x2 - 2.Evaluar

a)
f[ g(-2)]
b)
f[ g(5)] - g(3)
Solucin:
a)
b)
f[g(-2)]
P1.- Evaluamos a g(x) = x2 - 2, con x = -2 g(-2) = (-2)2 - 2 = 2
P2.- Ahora se evala f[g(-2)] = 2x -3 f[2] = 2(2) - 3 = 1
f[ g(5)] - g(3)
P1.- Evaluamos a g(x) = x2 - 2, con x = 3 g(3) = (3)2 - 2 = 7
P2.- Evaluamos a g(x) = x2 - 2, con x = 5 g(5) = (5)2 - 2 = 23
P3.- Ahora se evala f(x) = 2x 3 f[g(5)] = 2x 3 f[23] = 2(23) 3 = 43
P3.- Ahora se evala f[g(5)] - g(3) = 43 - 7 = 36
Funcin Inyectiva:
Una funcin f es inyectiva (uno a uno) si se cumple que:
f(x1) = f(x2)
x1 = x2
x1,x2 D(f) o equivalentemente,
x1 x2 f(x1) f(x2) x1,x2 D(f)
En otras palabras, una funcin f es 1-1, si para cada x en el dominio f, existe exactamente una y en el rango, y,
ninguna y en el rango es imagen de mas de una x en el dominio.
Existe tambin un criterio sencillo para determinar si la grfica de una ecuacin corresponde a una funcin 1-1. Este
criterio se conoce como:
Criterio de la recta horizontal.
Si toda recta horizontal corta a la grfica de una funcin f en uno y solo un punto, entonces f es 1-1
53
LOGICA Y FUNCIONES
As por ejemplo, en la fig. (a), aparece la grfica de la funcin y =
f(x) = x2 + 1 la cual, de acuerdo al criterio de la recta horizontal no
corresponde a una funcin 1-1.
Ntese que la recta y = 2, corta la grfica en ms de un punto: P 1(1, 2) y P2(1, 2).
Fig. (a)
Igualmente, en la fig. (b), aparece la grfica de la funcin y = x 3
1, la cual, de acuerdo al criterio de la recta horizontal, corresponde
a una funcin 1-1.
Ntese que toda recta horizontal, corta a la grfica en uno y solo
un punto.
Fig. (b)
Funcin Inversa:
Sea f : A B una funcin 1-1.
La inversa de f, denotada f1, es la funcin: f1 : B A
tal que: f1 (f(x)) = x para cada x A (Dominio de f)
f(f-1 (x)) = x para cada x B (Dominio de f-1)
x f-1(x)
Ntese que D(f) = r(f-1) r(f) = D(f-1)

Se debe tener cuidado con el (-1) usado en f-1. El (-1) no es un exponente, es simplemente un smbolo para denotar la
inversa.
Como ejemplo ilustrativo, considere nuevamente la funcin definida por la ecuacin:
y = f(x) = x3 1. se tiene:
f:
x f(x) = x3 1
f es 1-1
f-1 :
x f-1(x) =
x 1
f y f 1 son inversas una de la otra. Adems,

f-1(f(x)) = f-1(x3 1) =
( x 3 1) 1= x
f(f-1(x)) = f( 3 x 1) = ( 3 x 1)3 1 = x
x f(x) = x2 + 1
no tiene inversa (pues f no es 1 1).
Sin embargo, dicha funcin genera dos funciones:
f : (- ,0 1,+)
x f(x) = x2 + 1
y g : 0,+) 1,+)
54
LOGICA Y FUNCIONES
x g(x) = x2 + 1
que son 1 1 en sus respectivos dominios y en consecuencia tienen inversa.
Problema 01:
El costo C(x) de x discos a S/. 4 cada uno. (el costo depende del nmero de discos vendidos). Escriba una ecuacin
que especifique la funcin.
Solucin:
Sea C(x) el costo de los discos vendidos, y sea x el nmero de discos.
C(x) = 4x
Problema 02:
Funcin de costo.
El costo C(x) de la fabricacin de x pares de patines si los costos fijos son S/. 400 por da y los costos variables son
S/. 70 por par de patines fabricados. (El costo por da depende del nmero de patines fabricados diariamente).
Escriba una ecuacin que especifique la funcin.
Solucin:
Sea C(x) el costo de fabricacin, y sea x el nmero de pares de patines
C(x) = 400 + 70x
Problema 03:
La temperatura en grados Celsius C(F) se puede determinar a partir de la temperatura en grados Fahrenheit F
restando 32de la temperatura Fahrenheit y multiplicando la diferencia por 5/9. Escriba una ecuacin que especifique
la funcin.
Solucin:
Sean C(F) la temperatura en grados Celsius y sean F los grados Fahrenheit.
C(F) = 5/9(F - 32)
Problema 04:
Cierta marca de videocasetes tiene como funcin de demanda (d(x)), a la cantidad demandada cada semana (x) al
cuadrado, menos el doble producto de a la cantidad demandada cada semana ms 7. Escriba una ecuacin que
especifique la funcin.
Solucin:
Sea d(x) la funcin de demanda y sea x la cantidad demandada cada semana.
55
LOGICA Y FUNCIONES
d(x) = x2 - 2x + 7
Problema 05:
La presin P(d) en el ocano, en libras por pulgada cuadrada, depende de la profundidad d. Para encontrarla presin
se divide la profundidad entre 33, se suma 1 al cociente y el resultado se multiplica por 15. Escriba una ecuacin que
especifique la funcin.
Solucin:
d + 1)
Sean P(d) la presin en el ocano, y d la profundidad: P(d) = 15(
33
Problema 06:
Para cercar un patio rectangular se emplean 100 m. de alambre, el rea resultante del patio cercado est dado por la
siguiente funcin: El rea del patio es iguala a la diferencia de 50 menos el largo del rectngulo en metros y el
resultado de esta diferencia es multiplicada por el largo del rectngulo. Escriba una ecuacin que especifique la
funcin.
Solucin:
Sean A(x) el rea del patio en m2., y sea x el largo del rectngulo en metros:
A(x) = x(50 - x)
Una recta es la representacin grfica de una funcin de primer grado.

Toda funcin de la forma y = ax + b de en representa una lnea recta.
La x y la y son las variables de la ecuacin, siendo x la variable independiente ya que puede tomar cualquier valor,
mientras que y se llama variable dependiente, ya que su valor est determinado por el valor que tome x.
Si un par de valores (x,y) pertenece a la recta, se dice que ese punto satisface la ecuacin.
Ejemplo:
El punto (7,2) satisface la ecuacin y = x - 5, ya que al reemplazar queda 2 = 7 5 lo que resulta verdadero.
Cada punto (x,y) que pertenece a una recta se puede representar en un sistema de coordenadas x , siendo x el
valor de la abscisa e y el valor de la ordenada.
(Abscisa, Ordenada)
Ejemplo: El punto (-3,5) tiene por abscisa -3 y por ordenada 5.
La ecuacin de la recta puede ser reprentada en dos formas:
Forma General:
ax+by+c=0
Forma Principal:
y= mx+n
PENDIENTE DE UNA RECTA
En la ecuacin principal de la recta y = mx + n, el valor de m corresponde a la pendiente de la recta y n es el
coeficiente de posicin.
La pendiente permite obtener el grado de inclinacin que tiene una recta, mientras que el coeficiente de posicin
seala el punto en que la recta interceptar al eje de las ordenadas.
Ejemplo: La ecuacin y = 4x + 7 tiene pendiente 4 y coeficiente de posicin 7, lo que indica que interceptar al eje
y en el punto (0,7).
56
LOGICA Y FUNCIONES
Cuando se tienen dos puntos cualesquiera (x1,y1) y (x2,y2), la pendiente queda determinada por el cuociente entre
la diferencia de las ordenadas de dos puntos de ella y la diferencia de las abscisas de los mismos puntos, o sea
Una recta que es paralela al eje x, tiene pendiente 0.
En la ecuacin general de la recta, la pendiente y el coeficiente de posicin quedan determinados por:
Demostrmoslo: Transformemos la ecuacin general de la recta en una ecuacin principal.

Ax + By + C = 0
Ax + By = - C
By = -Ax C
y=
Ax C
B
y=
Ax C
B
B
donde se demuestran los valores de m y n antes dado.

Ejemplo: Cul es la pendiente y el coeficiente de posicin de la recta 4x - 6y + 3 = 0?
m =2/3
n=
ECUACIN DE LA RECTA QUE PASA POR DOS PUNTOS

Sean P(x1,y1) y Q(x2,y2) dos puntos de una recta. En base a estos dos puntos conocidos de una recta, es posible
determinar su ecuacin.
Para ello tomemos un tercer punto R(x, y), tambin pertenciente a la recta.
Como P, Q y R pertenecen a la misma recta, se tiene que PQ y PR deben tener la misma pendiente. O sea
y
Luego, la ecuacin de la recta que pasa por dos puntos es:

que tambin se puede expresar como:
Ejemplo:
Determina la ecuacin de la recta que pasa por los puntos P(1,2) y Q(3,4)
y-2=x1
x-y+1=0
57
LOGICA Y FUNCIONES
ECUACIN DE LA RECTA DADO PUNTO-PENDIENTE

La ecuacin de la recta que pasa por dos puntos est determinada por
pero
luego
despejando, obtenemos que:
y - y1 = m(x - x1)
Ejemplo: Determina la ecuacin general de la recta de pendiente - 4 y que pasa por el punto
(5,-3).
y - y1 = m(x - x1)
y - (-3) = - 4(x - 5)
y + 4 = -4x + 20
Luego la ecuacin pedida es 4x + y - 16 = 0.
RECTAS PARALELAS, COINCIDENTES Y PERPENDICULARES

Dos rectas son paralelas cuando sus pendientes son iguales y sus coeficientes de posicin distintos, o sea:L1:
m1x + n1
L2: y = m2x + n2,
Entonces L1 // L2 s y slo si m1 = m2
Ejemplo: Las rectas y = 4x + 5 ; y = 4x - 2 son paralelas.
Dos rectas son coincidentes cuando sus pendientes son iguales y sus coeficientes de posicin iguales, o sea:
L1: y = m1x + n1
L2: y = m2x + n2,
Entonces L1 coincidente con L2 s y slo si m1 = m2 y n1 = n2
Dos rectas son perpendiculares cuando el producto de sus pendientes es -1, o sea:
L1: y = m1x + n1
L2: y = m2x + n2,
Entonces L1 L2 s y slo si m1 m2 = -1
Ejemplo:
L1: y = -2x + 3
L2: y = 0,5x - 4
Entonces: L1 L2 ya que -2 0,5 = -1
58
y =

Lógica y conjuntos

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lógica y conjuntos

Cargado por

Copyright:

Formatos disponibles

LOGICA Y FUNCIONES

PROFESOR: Ing. DIEGO TUME RUIZ

Al concluir el estudio del presente mdulo, el participante:

Estar en capacidad de deducir una inferencia lgica a partir de leyes,

PROFESOR: Ing. DIEGO TUME RUIZ

PROPOSICION (ENUNCIADO): Se denomina as a las expresiones lingsticas de las

CLASES DE PROPOSICIONES: Se clasifican bsicamente en: Simples y Compuestas.

Los piuranos son alegres.

b. Relacionales: Presentan en su estructura un vnculo, dos sujetos o ms.

Pedro es amigo de Jos.

PROFESOR: Ing. DIEGO TUME RUIZ

Se puede observar que el enunciado p esta conectado con el enunciado q mediante

LOS PRINCIPALES CONECTIVOS QUE USA LA MATEMTICA SON CINCO:

* Rosa no es menor de edad.

b) DISYUNCIN: presenta como conectiva a la O, u, o o , es de dos tipos:

* Juan es pescador o abogado.

Exclusiva o Fuerte: cuando de las alternativas que se proponen se cumple slo

* Jess muri en la cruz o en el santo sepulcro.

c) CONJUNCIN: presenta como conectiva a la y. Puede hallarse tcita, o puede

* Diego y Lus son profesores.

PROFESOR: Ing. DIEGO TUME RUIZ

si ... entonces ...

Condicional Inverso: Aqu se presenta primero el consecuente luego el

Rosamelia trabaja porque necesita dinero

e) Bicondicional o doble implicacin: presenta como conectiva Si y slo si . O

Hctor juega si y solo si Lus esta lesionado.

Una proposicin es elemental cuando:

PROFESOR: Ing. DIEGO TUME RUIZ

En las siguientes expresiones, marque aquellas que es una proposicin bsica

La Lgica Proposicional tambin es conocida como lgica:

Las proposiciones atmicas:

c) Pueden ser Falsas.

Willy trabaja, adems, estudia ingls; es una proposicin.

Son aquellas proposiciones que carecen de enlaces lgicos o conjunciones

Alberto y Jos son hermanos; es ejemplo de proposicin:

Moro no fue romntico ni modernista. Por ello, no sigui una potica

Proposicin molecular que establece una relacin de antecedente y

Diego vendr hoy, solo si su hermano se queda en casa. Es una

FORMALIZACION EN LA LOGICA PROPOSICIONAL (SIMBOLIZACION)

PROFESOR: Ing. DIEGO TUME RUIZ

Augusto Polo Campos es compositor.

Diego es empresario as como profesor universitario

Didicos: Se utilizan para representar a las conectivas (trminos de

Operadores en el sistema Scholz

Si practicamos los ejercicios de lgica, entonces aprendemos.

Los leones son salvajes y carnvoros

Mondico: Sirve para reemplazar al modificador no o sus expresiones

PROFESOR: Ing. DIEGO TUME RUIZ

No es cierto que, las gallinas tengan 2 patas y no sean aves.

SIGNOS DE AGRUPACION: Se utilizan para agrupar a las variables y

JERARQUIZACIN: Jerarquizar significa agrupar las variables y los

Slo presentan jerarqua los

El punto seguido tiene mayor jerarqua, le sigue

REGLAS PARA JERARQUIZAR

Donde est ubicado el signo de puntuacin ms importante del texto,

Ejemplo: Diana estudia fsica y qumica, o estudia lgica. Sin embargo

PROFESOR: Ing. DIEGO TUME RUIZ

b) Si el agua del ro es dulce, entonces puede ser para el consumo humano o

Ejemplo: Mara Luisa participa en el curso de actualizacin porque tiene

FRMULAS BIEN FORMADAS (fbf)

Cada variable proposicional es una fbf

PROFESOR: Ing. DIEGO TUME RUIZ

Si A es una fbf entonces ~ A es una fbf