Unidad I - Logica y Conjuntos

UNIVERSIDAD NACIONAL DE JAEN
JAEN CAJAMARCA PER

LEY DE CREACIN N 29304 RESOLUCIN DE FUNCIONAMIENTO N 647-2011-CONAFU

Matemtica Bsica Lic. Mat. Javier Saldarriaga Herrera Pgina 1
ELEMENTOS DE LOGICA Y CONJUNTOS
I. ELEMENTOS DE LOGICA:
Idea de lgica de proposiciones
La lgica de proposiciones es la parte ms elemental de la lgica moderna o matemtica. En esta primera parte de
la lgica, las inferencias se construyen sin tomar en cuenta la estructura interna de las proposiciones. Slo se
examinan las relaciones lgicas existentes entre proposiciones consideradas como un todo, y de ellas solo se toma
en cuenta su propiedad de ser verdadera o falsa. Por esta razn emplea slo variables proposicionales.
Concepto de proposicin
El lenguaje, en sentido estricto, es un sistema convencional de signos, es decir un conjunto de sonidos y grafas con
sentido, sujeto a una determinada articulacin interna. Sirve para afirmar o negar (oraciones aseverativas o
declarativas); expresar deseos (oraciones desiderativas); formular preguntas (oraciones interrogativas); expresar
sorpresa o admiracin (oraciones exclamativas o admirativas) e indicar exhortacin, mandato o prohibicin
(oraciones exhortativas o imperativas).
De todas estas clases de oraciones la lgica toma en cuenta las declarativas o aseverativas, las nicas que pueden
constituir proposiciones, segn cumplan o no determinados requisitos.
La proposicin, es una oracin aseverativa de la que tiene sentido decir que es verdadera o falsa. Ejemplos:
a) Dolly fue la primera oveja clonada.
b) El tomo es una molcula.
Expresiones lingsticas que no son proposiciones
Todas las proposiciones son oraciones, pero no todas las oraciones son proposiciones. En efecto, las oraciones
interrogativas, las exhortativas, las desiderativas y las exclamativas no son proposiciones porque ninguna de ellas
afirma o niega algo y, por lo tanto, no son verdaderas ni falsas. Asimismo, las oraciones dubitativas, as como los
juicios de valor no obstante afirman algo- no constituyen ejemplos de proposiciones, pues su verdad o falsedad
no puede ser establecida. Ejemplo:
c) El cuadriltero es un polgono de cuatro lados. Proposicin (oracin aseverativa - verdadera)
d) Qu es lgica? No es proposicin (oracin interrogativa)
e) Debemos honrar a nuestros hroes. No es proposicin (oracin imperativa)
f) Sea en hora buena. No es proposicin (oracin desiderativa)
g) Por Jpiter! Casi me saco la lotera! No es proposicin (oracin exclamativa)
h) Quiz llueva maana. No es proposicin (oracin dubitativa)
i) Valentn es bueno. No es proposicin (constituye un juicio de valor)
Finalmente, toda proposicin es una oracin aseverativa, pero no toda oracin aseverativa es una proposicin.
Ejemplos:
j) El tringulo es inteligente.
k) Eduardo es un nmero racional.
l)
m) es capital del Per.
j), k), l) y m) son ejemplos de oraciones aseverativas, mas no de proposiciones. j) y k) son expresiones
lingsticas que tienen apariencia de proposiciones, pero que realmente no lo son porque no tienen sentido decir
de ellas que son verdaderas o falsas. Son pseudoproposiciones, es decir falsas proposiciones. l) y m) son
tambin ejemplos de oraciones aseverativas, pero no de proposiciones; no son verdaderas ni falsas, porque en
ellas figuran una o ms letras sin interpretar, son ejemplos de funciones proposicionales.
n) El principal sospechoso de los atentados del 11 de setiembre de 2001 en los Estados Unidos
o) El actual presidente de la Repblica del Per.
n) y o) no son proposiciones; son descripciones definidas, es decir, frases especiales que pueden ser
reemplazadas por nombres propios. n) puede ser sustituida por Osama Bin Laden y o) por Ollanta Humala.
p) La realidad es duracin (Bergson).
q) La materia se mueve en un ciclo eterno (Engels).
Elementos de la Lgica y Conjuntos Matemtica Bsica

Lic. Mat. Javier Saldarriaga Herrera Pgina 2
r) la ciencia y la religin son, ambas, vas respetables para adquirir creencias respetables, no obstante tratarse
de creencias que son buenas para propsitos muy diferentes (R. Rorty)
p), q) y r) no son proposiciones, sino filosofemas, enunciados filosficos. Ninguna de ellos pueden calificarse
de verdadero o falso. Su verdad o falsedad no puede ser establecida lgica o empricamente.
Para que una expresin lingstica sea proposicin debe cumplir con los siguientes requisitos: a) ser oracin,
b) ser oracin aseverativa, y c) ser o bien verdadera o bien falsa.
Clases de proposiciones
Estas pueden ser de dos clases: atmicas y moleculares.
Las proposiciones atmicas (simples o elementales) carecen de conjunciones gramaticales tpicas o conectivas
(y, o, si entonces, si y solo si) o del adverbio de negacin no. Ejemplos:
a) San Marcos es la universidad ms antigua de Amrica.
b) La Lgica es distinta de la Matemtica.
Las proposiciones atmicas de acuerdo a sus elementos constitutivos pueden clasificarse en predicativas y
relacionales.
Las proposiciones predicativas constan de sujeto y predicado. Ejemplos:
c) El nmero 2 es par.
d) El espacio es relativo.
Las proposiciones relacionales constan de dos o ms sujetos vinculados entre s. Ejemplo:
e) Silvia es hermana de Anglica.
f) 5 es mayor que 3.
Las proposiciones moleculares (compuestas o coligativas) contienen alguna conjuncin gramatical tpica o
conectiva o el adverbio negativo no. Ejemplos:
g) La Lgica y la Matemtica son ciencias formales.
h) El tiempo es absoluto o es relativo.
i) Si dos ngulos adyacentes forman un par lineal, entonces son suplementarios.
j) Este nmero es par si y solo s es divisible por dos.
k) El Inca Garcilaso de la Vega no es un cronista puneo.
Ejercicios N 01
Cuestionario:
1. Qu es una proposicin?

2. Qu requisitos debe cumplir una expresin lingstica para que sea considerada proposicin?

3. Qu expresiones lingsticas no constituyen ejemplos de proposicin?


4. Por qu las oraciones interrogativas, imperativas, desiderativas, admirativas y las dubitativas no constituyen
ejemplos de proposicin?

5. Qu semejanzas y diferencias existen entre las pseudoproposiciones y las funciones proposicionales?

6. Los filosofemas o enunciados filosficos, son o no ejemplos de proposiciones? por qu?

7. Qu clases de proposiciones hay y cules son las diferencias que existen entre ellas?

8. Cmo se clasifican las proposiciones atmicas?

9. Qu diferencia existe entre proposicin predicativa y proposicin relacional?

Reconocimiento de proposiciones
10. Analice las siguientes expresiones lingsticas e indique si son o no proposiciones:
a) La nueva constitucin del Per fue sancionada y promulgada por la Asamblea Constituyente de 1993.
b) El presidente de la Repblica es el Jefe del Estado y personifica la nacin.
c) Quin es el pez gordo del narcotrfico?
d) Sea en hora buena.

e) Por fin llego el verano!
f) Los nmeros racionales son inteligentes.
g) Que tengan ustedes buen viaje.
h) Solo s que nada s.
i) Juan es bondadoso.
j) No engaes nunca a nadie.
k) Quiz existan miles de millones de universos.
l) Los organismos superiores tienen pulmones por que necesitan respirar.
m) a es la capital del Per.
n)
o) El nmero 5 sonri.
p) Los cuerpos sin apoyo caen aceleradamente en proporcin directa al cuadrado del tiempo de cada.
q) x es un nmero par.
r) Los elementos son partculas que se encuentran alrededor del ncleo del tomo.
s) La semana tiene 7 das.
Clasificacin de las proposiciones moleculares
Las proposiciones moleculares, segn el tipo de conjuncin que llevan, se clasifican en conjuntivas,, disyuntivas,
condicionales y bicondicionales; si llevan el adverbio de negacin no se llaman negativas.
Las proposiciones conjuntivas llevan la conjuncin copulativa y, o sus expresiones equivalentes como e,
pero, aunque, aun cuando, tanto. Como, sino, ni ni, sin embargo, adems, etc.
Ejemplos:
a) El es un artculo y de es una preposicin.
b) El nmero dos es par, pero el nmero tres es impar.
c) Silvia es inteligente, sin embargo es floja.
d) Tanto el padre como el hijo son melmanos.
e) Manuel e Ismael son universitarios.
f) La materia ni se crea ni se destruye.
g) Ir a vender aunque llueva.
h) Ingresar a la universidad aun cuando no apruebe el examen de admisin.
Una proposicin conjuntiva es conmutativa, es decir se puede permutar el orden de sus proposiciones
componentes sin alterar la conjuncin. Esto es posible en la lgica, pero no en el lenguaje natural. En
efecto, la proposicin Anglica se cas y tuvo diez hijos no significa lo mismo que Anglica tuvo diez
hijos y se cas. En el lenguaje natural, la primera sugiere una relacin de casualidad, en cambio la
segunda no. Sin embargo, desde el punto de vista lgico, las dos proposiciones conjuntivas son
equivalentes.
Las pseudoproposiciones conjuntivas son proposiciones que se presentan como si fuesen proposiciones
conjuntivas, pero que en realidad son proposiciones atmicas relacionales. La y, de los ejemplos, tienen
carcter de termino relacional y no propiamente de conjuncin copulativa o conectiva. Ejemplos:
a) Sansn y Dalila son hermanos.
b) Sansn y Dalila obsequian una bicicleta a Cleopatra.

Las proposiciones disyuntivas llevan la conjuncin disyuntiva o, o sus expresiones equivalentes como u,
ya ya, bien bien, sea sea, y/o, etc.
En espaol la disyuncin o tiene dos sentidos: uno inclusivo o dbil y otro exclusivo o fuerte. La proposicin
disyuntiva inclusiva admite que las dos alternativas se den conjuntamente. La proposicin disyuntiva exclusiva
no admite que las dos alternativas se den conjuntamente. Ejemplo:
a) Pedro es to o es sobrino.
b) Elena est viva o est muerta.
c) Roberto es profesor o es estudiante.
d) Silvia es soltera o es casada.
a) y c) son proposiciones disyuntivas inclusivas o dbiles porque en ellas no se excluye la posibilidad de que
Pedro pueda ser al mismo tiempo to y sobrino o de Roberto sea profesor y estudiante a la vez; en cambio b)
y d) son proposiciones disyuntivas exclusivas o fuertes porque en ellas se excluye la posibilidad de que Elena
pueda estar viva y muerta al mismo tiempo y que Silvia sea soltera y casada a la vez.
En espaol no existe un signo especial para la disyuncin inclusiva y otro para la exclusiva, es decir, en ambos
casos se usa la misma partcula o; mientras que en lgica si existen signos especiales para distinguirlas, como
veremos ms adelante.
Las proposiciones condicionales llevan la conjuncin condicional compuesta si entonces, o sus expresiones
equivalentes como si, siempre que, con tal que, puesto que, ya que, porque, cuando, de, a
menos que, a no ser que, salvo que, slo si, solamente si. Ejemplos:
a) Si es joven, entonces es rebelde.
b) Es herbvoro si se alimenta de plantas.
c) El nmero cuatro es par puesto que es divisible por dos.
d) Se llama issceles siempre que el tringulo tenga dos lados iguales.
e) Cuando venga Ral jugaremos ajedrez.
f) De salir el sol iremos a la playa.
g) La fsica relativista fue posible porque existi la mecnica clsica.
h) Nuestra moneda se devala solamente si su valor disminuye.
Toda proposicin condicional consta de dos elementos: antecedente y consecuente. La proposicin que sigue a
la palabra si se llama antecedente y la que sigue a la palabra entonces se denomina consecuente.
Toda proposicin implicativa es condicional, pero no toda proposicin condicional es implicativa. En efecto,
slo las proposiciones condicionales que son tautologas son implicativas.
Finalmente en toda proposicin condicional el consecuente es condicin necesaria del antecedente y el
antecedente es condicin suficiente del consecuente. Por ejemplo, en la proposicin condicional si los cuerpos
se calientan, entonces se dilatan, el consecuente se dilatan es condicin necesaria del antecedente se
calientan y el antecedente se calientan es condicin suficiente del consecuente se dilatan.
Cuando en un prrafo, se encuentran los trminos: porque, puesto que, ya que, siempre que,
cuando, s, cada vez que, dado que; estos trminos, tambin, son conectivos condicionales. Se
caracterizan porque despus de cada uno de estos trminos est el ANTECEDENTE. Por ejemplo:
Roberto aprobar el curso puesto que dio buen examen. El antecedente es Roberto dio buen
examen.
Las proposiciones bicondicionales llevan la conjuncin compuesta si y slo si , o sus expresiones
equivalentes como cuando y slo cuando, si, entonces y slo entonces, etc. Ejemplos:
a) Es fundamental si y slo si es talibn.
b) Habr cosecha cuando y slo cuando llueva.
c) Si apruebo el examen de admisin, entonces y slo entonces ingresar a la universidad.
Las proposiciones bicondicionales se caracterizan porque establecen dos condicionales, pero de sentido
inverso. Por ejemplo, la proposicin bicondicional el tringulo es equiltero si y slo si tiene tres lados iguales
establece dos condicionales de sentido inverso: si es tringulo equiltero, entonces tiene tres lados iguales y
si el tringulo tiene tres lados iguales, entonces es equiltero.
En toda proposicin bicondicional el antecedente es condicin necesaria y suficiente del consecuente y el
consecuente es condicin necesaria y suficiente del antecedente.
Las proposiciones negativas llevan el adverbio de negacin no, o sus expresiones equivalentes como
nunca, jams, tampoco, no es verdad que, no es cierto que, es falso que, le falta, carece de,
sin, etc. Ejemplos:
a) Nunca he odo esa msica.

b) Jams he visto al vecino.
c) Es imposible que el tomo sea molcula.
d) Es falso que el juez sea fiscal.
e) Al pap de Nelly le falta carcter.
Ejercicios N 02
Clases de proposiciones
1. Diga si las siguientes proposiciones son atmicas o moleculares:
a) Osama y Omar son concuados.
b) Toda inferencia inductiva es una inferencia en trminos de probabilidad.
c) Hace unos aos se consideraba al computador como una gran calculadora, pero hoy se habla de sus
logros intelectuales.
d) El oxgeno no produce oxido en presencia de metaloides.
e) Tanto la suma como la multiplicacin de nmeros naturales son asociativas.
f) Los peces son acuticos puesto que respiran por branquias.
g) La suma de los ngulos internos de un tringulo es igual a 180
o
.
h) Gloria e Irene son contemporneas.
i) El abuelo y la abuelita obsequiaron una mueca a la nieta.
j) Hace aproximadamente 1 750 00 aos el Homo Habilis desapareci para ser reemplazado por un individuo
ms fornido, conocido como Homo Erectus.
Clasificacin de las proposiciones moleculares
2. Diga si las siguientes proposiciones moleculares son conjuntivas, disyuntivas inclusivas, disyuntivas exclusivas,
condicionales, bicondicionales o negativas:
a) Si el ciclotrn bombardea el tomo, entonces acelera la velocidad de los protones.
b) Todos los cuerpos se atraen con una fuerza directamente proporcional al producto de sus masas e
inversamente proporcional al cuadrado de la distancia que los separa.
c) Un ejemplo tpico de la falacia del crculo vicioso es la famosa prueba del quinto postulado de Euclides o
postulado de las paralelas.
d) El 20% de 150 es 30 50.
e) Dos ngulos son suplementarios siempre que formen un par lineal.
f) La huelga continua, pues no hay solucin.
g) Si consigo una beca, entonces y slo entonces viajar al extranjero.
h) Si se calienta un cuerpo, entonces se dilata; y si se enfra, entonces se contrae.
i) Cuando apruebe el examen de admisin ingresar a la universidad.
j) David no es limeo ni loretano.

El lenguaje formalizado de la lgica proposicional
Existen dos tipos fundamentales de lenguajes: el natural y el formalizado. El lenguaje natural es el lenguaje usado
en la vida familiar, en la vida cotidiana. Tiene una amplia gama de expresiva, es decir, sirve para comunicar
expresiones, formular rdenes, expresar deseos, sentimientos, etc. Pertenecen a este lenguaje, por ejemplo, el
espaol, el ingls, el francs, el alemn, entre otros. El formalizado es el lenguaje usado en la actividad cientfica.
Slo sirve para formular conocimientos. Es un lenguaje especializado. Pertenecen a este lenguaje, por ejemplo, el
lenguaje lgico y el matemtico.
Variables proposicionales y operadores lgicos
El lenguaje lgico se denomina formalizado porque su propiedad ms importante es la de revelar la forma o
estructura de las proposiciones e inferencias. El lenguaje formalizado de la lgica de proposiciones consta de dos
clases de signos: variables proposicionales y operadores o conectores lgicos.
Las variables proposicionales representan a cualquier proposicin atmica. Son letras minsculas de alfabeto
castellano p, q, r, s, etc. Los operadores lgicos adems de enlazar o conectar proposiciones establecen
determinadas operaciones entre ellas.
Operadores o conectivos lgicos:
Son expresiones que sirven para unir dos o ms proposiciones, entre los ms importantes conectivos lgicos
tenemos: La conjuncin, disyuncin inclusiva, la disyuncin exclusiva, implicacin, bicondicional, negacin,
contradiccin, esto mostraremos en el siguiente cuadro:

Una frmula lgica, es decir, una formula bien formada (FBF) es una cadena de smbolos construida segn
reglas establecidas por sintaxis lgica. Puede ser de dos tipos: atmica y molecular. Una formula atmica es
aquella que no contiene entre sus smbolos ningn operador y puede ser representada por una variable
proposicional, mientras que una formula molecular contiene entre sus signos, al menos, un operador.
Formalizacin de proposiciones
Formalizar una proposicin significa representarla simblicamente. No es otra cosa que la que resulta de sustituir a
toda proposicin atmica distinta por una variable proposicional tambin distinta, a toda conjuncin gramatical
por el operador lgico correspondiente y el adverbio no por el operador negativo. Ejemplo:
a) Kant es filsofo, pero Frege es lgico.
Forma lgica: Kant es filsofo y Frege es lgico.
Frmula:

b) No iremos al teatro a menos que venga Ral
Forma lgica: Si Ral bien, entonces iremos al teatro.
Frmula:

c) Einstein no es filsofo, sino fsico
Forma lgica: Einstein es fsico y Einstein no es filsofo
Frmula:

Nombre Expresin Smbolo Lgico
Conjuncin y
Disyuncin inclusiva o dbil o V
Disyuncin exclusiva o fuerte,
contradiccin
o , o

Condicional Si, entonces,
Bicondicional o doble
implicacin
s y slo s
Negacin no

Ejercicios N 03
Cuestionario:
1. Seale la diferencia que existe entre lenguaje natural y lenguaje formalizado.

2. Por qu el lenguaje de la lgica se llama formalizado?

3. De qu tipos de smbolos consta el lenguaje formalizado de la lgica?

4. Qu diferencia existe entre variable proposicional y operador lgico?

5. Qu es una frmula lgica?

6. Qu significa formalizar una proposicin?

Formalizacin de proposiciones
7. Formalice las siguientes proposiciones: en cada caso halle su forma lgica y escriba la frmula correspondiente.


Definicin tabular de los operadores
LA CONJUNCION: la conjuncin de dos proposiciones p y q es la proposicin compuesta que resulta de unir p y q
mediante el conectivo lgico y que se simboliza p q, donde el principio lgico es la conjuncin p q es
verdadero V, slo cuando p es verdadero y q es verdadero, en todos los dems casos es falso F. Su tabla de
verdad es:

Ejemplo:
- La lgica es una ciencia formal y la fsica es una ciencia factual
{

LA DISYUNCION INCLUSIVA: la disyuncin de dos proposiciones p y q es la proposicin compuesta que resulta de
unir p y q mediante el conectivo lgico o que se simboliza p V q en el sentido inclusivo y/o, donde el principio
lgico es la disyuncin p V q es falsa F, nicamente en el caso en que p y q son falsas, en cualquier otro caso es
verdadera V. Su tabla de verdad es:

Ejemplo:
- De dos idiomas: ingls y francs Juan habla por lo menos un idioma
{

LA DISYUNCION EXCLUSIVA: la disyuncin EXCLUSIVA o FUERTE de dos proposiciones p y q es la proposicin
compuesta que resulta de unir p y q mediante el conectivo lgico o que se simboliza p q (se lee: o p, o q, p o
q, pero no ambas), donde el principio lgico es la disyuncin fuerte p q es falsa F, en el caso que p y q tengan
valores de verdad opuestos y es falsa F si ambas tienen idnticos valores. Su tabla de verdad es:

Ejemplos:
- De dos idiomas: ingls y francs Juan habla slo un idioma
{

LA CONDICIONAL (IMPLICATIVA): la implicacin o condicional de dos proposiciones p y q es la proposicin
compuesta que resulta de unir p y q mediante el conectivo lgico si,, entonces,, o tambin slo s y se
simboliza p q, donde el principio lgico es la proposicin implicativa es falso F, nicamente en el caso que la
proposicin p es verdadera y la proposicin q es falsa, siendo verdadera en todos los dems casos. Su tabla de
verdad es:

Ejemplos:
p q p q
V V V
V F F
F V F
F F F
p q p V q
V V V
V F V
F V V
F F F
p q p q
V V F
V F V
F V V
F F F
p q p q
V V V
V F F
F V V
F F V

- Ir de viaje y me divertir, si me saco la lotera
{

- Pedro compra un libro slo cuando tiene dinero

{

- Se apagarn las luces porque se interrumpi el fluido elctrico
{

- Roberto aprobar el curso puesto que dio buen examen
{

LA BICONDICIONAL (EQUIVALENTE O IMPLICACION): la doble implicacin o bicondicional de dos proposiciones p y
q es la proposicin compuesta mediante el conectivo lgico si y slo s, y se simboliza p q, donde el principio
lgico es la proposicin bicondicional es Verdadera V, en el caso que la proposiciones p y q son verdadera o son
falsas, siendo falsa en todos los dems casos. Su tabla de verdad es:

La bicondicional tambin se denota por p q se lee: p es equivalente a q. Ejemplos:

- Enrique ingresar a la universidad si y slo si aprueba el examen de admisin
{

- a
2
= 4 s y slo s, a = 2 V a = - 2
{

- x
2
< 4 s y slo s - 2 < x < 2
{

LA NEGACION: dada una proposicin p, llamaremos la negacin de p, a otra proposicin que denotaremos por
~p, y que se le asigna el valor opuesto a p, y su tabla de verdad es:

El principio lgico de la negacin es: si una proposicin es verdadera V, su negacin es falsa F y
recprocamente, si dicha proposicin es falsa F, su negacin es verdadera V.
Ejemplos:
- 2 es primo V su negacin es: 2 no es primo F
- 5 es par F su negacin es: no es cierto que 5 es par F
p q p q
V V V
V F F
F V F
F F V
p ~p
V F
F V

Uso de los signos de agrupacin:
En un prrafo que se presentan proposiciones simples, conectivos lgicos, comas y puntos se requiere, para su
representacin simblica, el buen uso de los signos de agrupacin (parntesis, corchetes, llaves).
Los signos de agrupacin se usan para indicar la jerarqua de los conectivos lgicos y as evitar las ambigedades en
las FORMULAS.
Cuando no se usan correctamente los signos de agrupacin las frmulas carecen de sentido. Ejemplo:
- Si me aumentan el sueldo y ahorro, viajar al Cuzco.
La simbolizacin es:
{

- O Cubilla juega si le contrata el Alianza Lima, o habr protesta si no juega.
La simbolizacin es:
{

- Las personas nadarn en el mar si la municipalidad da el permiso, s y slo s, el clima no est fro.
La simbolizacin es:
{

Una finalidad de los signos de agrupacin es darle mayor a menor jerarqua a los conectivos. En general, ~
es la conectiva de menor jerarqua; le siguen el ,V que son de igual jerarqua; luego y por ltimo
que es el de mayor jerarqua. Sin embargo, cada conectivo puede ser de mayor jerarqua si as lo
indica el signo de coleccin. Por ejemplo:
- No es el caso de que 9 es mltiplo de 3 o que 2 x 5 = 15

{

Ntese que aqu la negacin afecta a las variables dentro del parntesis
- Si el testigo no dice la verdad, entonces Juan es inocente o culpable
{

Aqu, el smbolo de mayor jerarqua es . Obsrvese que ~ slo afecta a la variable p y que V est
limitado por el parntesis.
Definicin tabular de frmulas moleculares complejas (Esquemas moleculares)
Las frmulas moleculares complejas definidas anteriormente a travs de la tabla de verdad son elementales en la
medida que contienen un solo operador y dos variables. En adelante trabajaremos con frmulas moleculares
complejas, es decir, frmulas que contienen dos o ms operadores distintos o dos o ms veces el mismo operador.
Para definir tabularmente frmulas moleculares complejas se deben observar los siguientes pasos
Paso 1: dada la frmula molecular compleja se establece la jerarqua entre sus operadores a travs de los signos de
agrupacin:

Paso 2: se construye la tabla colocando las columnas que corresponde a las de los operadores de menor jerarqua
aplicando sus respectivas definiciones:


Paso 3: se construye, finalmente, la columna principal que corresponde a la del operador de mayor jerarqua
aplicando la definicin correspondiente a la tabla de los operadores que la siguen en jerarqua:

Otro ejemplo: Definir tabularmente la frmula:

Clasificacin de las frmulas moleculares por su columna principal
Las tablas de verdad nos permiten clasificar a las frmulas moleculares, atendiendo a su columna principal, en
tautolgicas, consistentes y contradictorias.
Las frmulas moleculares tautolgicas (FMT), llamadas tambin leyes lgicas, son aquellas en que los valores de su
columna principal son todos verdaderos. Ejemplo:

Las frmulas moleculares consistentes (FMC), son aquellas en que algunos de los valores de su columna principal
son verdaderos y algunos son falsos. Ejemplo:

Las frmulas moleculares contradictorias (FMI), llamadas tambin frmulas inconsistentes, son aquellas en que los
valores de su columna principal son todos falsos. Ejemplo:


Ejercicios N 04
Cuestionario:
1. Cmo se calcula el nmero de arreglos posibles de los valores veritativos de las variables?

2. Cundo una frmula conjuntiva es verdadera?

3. En qu caso es falsa una frmula disyuntiva inclusiva?

4. En qu caso es verdadera la frmula disyuntiva exclusiva?

5. Una frmula condicional. Cundo es falsa?

6. en qu caso una frmula bicondicional es verdadera?

7. Una frmula negativa, cundo es verdadera y cundo es falsa?

8. A qu se denominan frmulas moleculares complejas?

9. Cmo se clasifican las formulas moleculares atendiendo a su columna principal?

10. Qu caractersticas presentan la columna principal de cada una de las frmulas moleculares posibles?


Formulas moleculares y tablas de verdad
11. Mediante la tabla de verdad determine si las siguientes frmulas son tautolgicas, consistentes o
contradictorias:
a) [ ]
b)
c) [ ]
d)
e) [ ]
f) [ ]
g) {[ ] }
Resolver:
12. Dadas las proposiciones: p: Marcos es comerciante, q: Marcos es un prspero industrial y r: Marcos es
ingeniero. Simbolizar el enunciado: Si no es el caso que Marcos sea un comerciante y un prspero industrial,
entonces es ingeniero o no es comerciante
13. Determinar los valores de verdad de las siguientes proposiciones:
(1) (3 + 5 = 8) v (5 3 =4)

(2) (5 3 = 8) (1 7 = 6)

(3) (3 + 8 = 11) (7 4 > 1)

(4) (4 + 6 = 9) (5 2 = 4)
14. Dadas las proposiciones q: 4 es un nmero impar, p y r cualesquiera tal que ~*(r v q) (r p)+ es
verdadera; hallar el valor de verdad de los siguientes esquemas moleculares:
A = r (~p v ~q); B= *r (p q)+ (q ~p); C= (r v ~p) (q v p)

15. De la falsedad de la proposicin: (p ~q) v (~r s) se deduce que el valor de verdad de los esquemas
moleculares: A=(~p ~q) v (~q); B= *(~r v q)+ *(~q v r) s+; C= (p q) *(p v q) ~q+ son respectivamente:
16. Definamos p q como una operacin verdadera si p es falsa y q verdadera, y como falsa en todos los casos
restantes. Segn esto, si r: Juan es mdico y s: Juan es deportista; hallar la traduccin de (~r) s.


Notacin:
A B: se lee A
implica a B
A B: se lee A no
implica a B
Notacin:
A B: se lee A es
equivalente a B
A B: se lee A no
es equivalente a B
Implicacin de frmulas
Una frmula A implica a B si y slo si unidades en forma condicional, A como
antecedente y B como consecuente, su columna principal resulta tautolgica; si
su columna es consistente o contradictoria, se dice que A no implica a B.
Ejemplo:
Si las columnas de las siguientes frmulas son:
Determine, mediante la tabla de verdad, si:
1) La conjuncin de las negaciones de A y C implican a la negacin de la conjuncin de las negaciones de B y D
Procedimiento:
- Se expresa simblicamente el enunciado.
- Se evala la formula mediante la tabla de verdad.
- Si su columna principal es tautolgica se dice que A implica a B, si es consistente o contradictoria, se
dice que A no implica a B.

2) El bicondicional de la negacin de A y la disyuncin dbil de C y D implica a la negacin de la disyuncin dbil
de B y la negacin de A

Equivalencia de frmulas
Dos frmulas A y B son equivalentes si y slo si sus columnas principales son
iguales, si sus columnas son diferentes, se dice que A y B no son equivalentes.
Ejemplo:
3) La negacin de la conjuncin de las negaciones de C y D es equivalente a la
conjuncin de las negaciones del condicional de A y B y la disyuncin dbil
de C y B
[ ]

La inferencia lgica
La inferencia es el proceso de pasar de un conjunto de premisas a una conclusin. La inferencia es una condicional
de la forma:
, donde
, son llamadas premisas y originan como

consecuencia otra proposicin Q llamada conclusin.
El resultado de la implicacin puede ser:
- Si la implicacin es una tautologa (V), entonces se tiene una inferencia vlida (o argumento vlido).
- Si la implicacin es FALSO, entonces se tiene la llamada FALASIA.

Anlisis de inferencia a travs de la tabla de verdad
La tabla de verdad es un algoritmo o procedimiento decisorio porque a travs de la aplicacin mecnica de un
conjunto finito de reglas permite decidir la validez o invalidez de las inferencias. En efecto, una inferencia es vlida,
mediante la tabla de verdad, si y slo si al ser formalizada y evaluada su frmula condicional es una tautologa; es
invalida si la frmula condicional es consistente o contradictoria.
Procedimiento:
Paso 1: se ordena la inferencia, pero en el caso de que su forma lgica haya sido alterada en el lenguaje natural,
observando el esquema: premisas-conclusin.
Paso 2: se explicita su forma lgica.
Paso 3: se halla su frmula, expresado simblicamente sus premisas y conclusin.
Paso 4: se construye una frmula condicional que tenga como antecedente a las premisas unidas por el operador
conjuntivo y como consecuente a la conclusin.
Paso 5: se evala la frmula condicional mediante la tabla de verdad. Si efectuada la evaluacin la frmula
condicional es tautolgica, entonces la inferencia es vlida; si la frmula es consistente o contradictoria, entonces
no es vlida.
Ejemplo:



Cuando el nmero de variables pasa de tres se toma engorroso el mtodo de la tabla de verdad. Para superar este
inconveniente, se usa el mtodo abreviado o de invalidez, que resulta mucho ms corto si bien se encuentra
estrechamente vinculado con el de la tabla de verdad.
El procedimiento es inverso pues en tanto que en la tabla de verdad se comienza por las variables y por el
operador de menor jerarqua avanzando hacia el de mayor jerarqua cuyo valor queda determinado por la columna
principal o cifra tabular, en cambio en el mtodo abreviado se comienza por la cifra tabular y por el operador de
mayor jerarqua y se avanza hacia el de menor jerarqua terminando en las variables.
El MTODO ABREVIADO, consistes en analizar la nica posibilidad de ser FALSO la implicacin:

Como podemos apreciar, la implicacin es slo cuando el antecedente es Verdadero y el consecuente es Falso.
El anlisis que haremos es a la inferencia
.
Pasos a seguir:
1) Asignar el valor V (verdadero) a cada una de las premisas
y de F (falso) a la conclusin.
Como el antecedente es una conjuncin de n premisas y el antecedente es V, entonces cada premisa

necesariamente ser verdadera.
As tendremos:

2) Deducir el valor de cada una de las variables proposicionales, teniendo en cuenta las reglas para:
que se pueden presentar en cada premisa.


LA DECISION
1) Si cada una de las variables proposicionales tiene UN SOLO VALOR. Entonces la inferencia no es vlida. Es decir
no hay implicacin puesto q la conjuncin de premisas es V y la conclusin es F.
2) Si una variable proposicional llega a tener DOS VALORES A LA VEZ (V y F) , entonces quedar demostrado que
no es posible que la conjuncin de premisas son V y la concusin F. por tanto, hay implicacin y la inferencia es
vlida
Ejemplo 1: establecer si es vlida la inferencia la inferencia:
[ ]
Solucin: empezamos escribiendo el esquema de la inferencia en la forma:
[

Analicemos:

1) Asignar F a la conclusin:

Como la conclusin es una negacin, entonces por la regla de la negacin obtendremos: F para , luego es
V.

2) Asignar V a cada premisa. Teniendo en cuenta los valores obtenidos en la conclusin se van analizando qu
valores tendrn las variables en cada premisa.
Analizamos cada premisa:
. Por lo deducido en la conclusin, ya tenemos que q es V entonces es F. Como la Bicondicional

es V, entonces es F
. En la tercera premisa encontramos que es V entonces el valor de verdad de es F. estos dos

valores encontrados satisfacen el valor de verdad de la segunda premisa.
3) Como cada una de las variables cumple una sola funcin veritativa, decimos que la inferencia no es vlida. Esto
es, se ha demostrado que la conjuncin de premisas es verdadera y la conclusin falsa
Ejemplo 2: establecer si es vlida la inferencia la inferencia:
[ ]
Solucin: empezamos escribiendo el esquema de la inferencia en la forma:
[

Analicemos:
1) Asignar F a la conclusin:

Como la conclusin es una implicacin: F para , luego es V y es F.
2) Trasladamos estos valores en la primera y tercera premisa.
Analizamos cada premisa:
. Por lo deducido en la conclusin, ya tenemos que es V entonces es V.
. En la tercera premisa encontramos que es F puesto que es F.

3) Como la variable tiene los valores de V y F a la vez, concluimos afirmando que la inferencia es vlida.

Ejercicios N 05
Implicacin de frmulas:
1. Si

a) La conjuncin de las negaciones de A y B implica a la negacin del bicondicional de C y D.
b) La negacin de la conjuncin y la disyuncin dbil de A y D implica a la negacin del
condicional de A y B.
c) El bicondicional de las negaciones de B y D implica a la negacin de la disyuncin fuerte de
la negacin de A y la conjuncin de las negaciones de C y B.
d) La negacin de la conjuncin de A y el bicondicional de C y D implica a la disyuncin fuerte
de la negacin de B y el condicional de A y D.
Equivalencia de frmulas:
2. Si:

e) la negacin de la disyuncin fuerte de las negaciones de C y D es equivalente a la negacin
de la conjuncin de las negaciones de A y B.
a) la disyuncin dbil de las negaciones de A y B es equivalente a la negacin del bicondicional
de las negaciones de C y D.
b) la conjuncin de las negaciones de A y C es equivalente a la negacin de la disyuncin dbil
de las negaciones de B y D.
c) la negacin de la disyuncin dbil de C y la disyuncin dbil de A y D es equivalente a la
negacin del condicional de las negaciones de A y B.
a)

b)

c)


Anlisis de inferencia a travs del mtodo abreviado
d)

e)

f)

Determinar si son inferencias lgicas o falacias:
g) Si Maradona es argentino entonces es aficionado al ftbol. Pero, Maradona no es
aficionado al ftbol. Por lo tanto, no es argentino.
[ ] {

h) Como es hora de clases, se concluye que en el aula hay profesores y alumnos, dado que, si
es hora de clases, en el aula hay profesores, y hay alumnos si en el aula hay profesores.
[ ] {

i) Si Juan participa en un comit electoral de la Universidad entonces los estudiantes se
enojarn con l, y si no participa en un comit electoral de la Universidad entonces las
autoridades universitarias se enojarn con l. Pero Juan participar en un comit electoral
de la Universidad o no participar. Por lo tanto, los estudiantes o las autoridades
universitarias se enojarn con l.
[ ] {

j) Si Anito deca la verdad, entonces Scrates corrompa a la juventud y si el Tribunal lo
conden equivocadamente, entonces Anito no es el culpable. Pero Scrates no corrompa a
la juventud o Anito es el culpable. Por lo tanto, Anito no deca la verdad o el Tribunal no
conden a Scrates equivocadamente.
[ ] {


Leyes de la lgica proposicional
Las leyes lgicas son tautologas o formas lgicamente verdaderas. Son frmulas verdaderas independientemente
de los valores que asumen sus variables proposicionales componentes. Su estudio es tarea fundamental de la
lgica de proposiciones, puesto que ellas constituyen un poderoso instrumento para el anlisis de las inferencias.
En efecto, una inferencia es vlida si y slo si tiene la forma de una ley lgica; en cambio, si una inferencia tiene la
apariencia de ser lgicamente vlida, pero que al ser formalizada su estructura lgica no es la de una ley lgica o
tautologas entonces se dice que es una inferencia no vlida o falacia.
Los tres principios lgicos fundamentales conocidos por los filsofos y lgicos tradicionales fueron: el de identidad,
el de no-contradiccin y el del tercio excluido.
Los tres principios lgicos clsicos
1. Ley de identidad
{

una proposicin slo son idnticos as mismo
2. Ley no contradiccin
una proposicin no puede ser verdadero y falso a la vez
3. Ley del tercio excluido
una proposicin es verdadero o es falso no hay una tercera posibilidad
Equivalencias notables
1. Ley de la doble negacin
la negacin de la negacin es una afirmacin
2. Ley de la Idempotencia

3. Leyes Conmutativas

4. Leyes Asociativas

5. Leyes Distributivas

6. Leyes De Morgan

7. Leyes del Condicional

8. Leyes del Bicondicional

9. Leyes de la Absorcin

10. Leyes de Transposicin

11. Leyes de Exportacin


12. Formas normales para la conjuncin y disyuncin
F.N. Conjuntiva

F.N. Disyuntiva

(T: Tautologa, C: Contradiccin, p: Esquema molecular cualquiera)
13. Elementos neutros para la Contradiccin y la Tautologa

Observacin: estas leyes son muy usadas para simplificar los problemas, puesto que es vlido reemplazar una
proposicin por su equivalente sin alterar el resultado.
Implicaciones notables:
Las implicaciones notables se pueden escribir de dos formas: en forma horizontal o en forma vertical.
a) Forma Horizontal:
Cuando la conjuncin de premisas que implica a la conclusin se escriben horizontalmente en forma explcita
usando los conectivos: .,
( ) q p ... p p
n 2 1
. . .
b) Forma Vertical: (Forma Clsica): en este caso no se escriben en forma explcita los conectivos: ., . La
conjuncin de premisas se escriben verticalmente una despus de otra y al trmino de la ltima premisa se
escribe una raya horizontal y tres puntos para luego escribir la conclusin. El razonamiento es: si ocurren
( )
n 2 1
p ... p p . . . ; por lo tanto ocurre q.
Principales reglas y leyes de la lgica proposicional



Ejemplos:
1. Si 2 es divisor de 4, entonces 2 es divisor de 8
2 es divisor de 4
Por lo tanto: 2 es divisor de 8
2. Si Juan estudi entonces aprob Matemtica
Juan no aprob Matemtica
Luego Juan no estudi
3. x es nmero par o mltiplo de 5
x no es par
x es mltiplo de 5
4. a es un nmero primo si y slo si es mltiplo de 1 y de a
a es mltiplo de a y de 1
a es nmero primo
5. Si 2 divide a x, entonces x es par
si x es par, entonces es mltiplo de 2
si 2 divide a x, entonces x es mltiplo de 2
6. 2 divide a x, si y slo si x es par
x es par, si y slo si es mltiplo de 2
2 divide a x, si y slo si x es mltiplo de 2

7. Juan y Manuel son menores de edad
: Juan es menor de edad
8. Ricardo Palma escribi Tradiciones Peruanas
: escribi Tradiciones Peruanas o fue un gran poeta
9. Si hay agua, entonces hay vida
: si hay agua, entonces hay agua y vida

Anlisis de inferencia mediante el mtodo analgico
Este mtodo consiste en comparar la forma o estructura de la inferencia que se quiere analizar con otra
lgicamente valida.
Procedimiento:
1. Se explicita su forma lgica.
2. Se halla la frmula.
3. Se confronta la frmula obtenida con las de inferencias conocidas.
Si la frmula coincide con una de estas reglas podemos inferir inequvocamente que la inferencia original es vlida;
pero si la frmula obtenida atenta contra una de ellas entonces la inferencia no es vlida.
Este mtodo es muy prctico aunque limitado a la confrontacin con una lista previa de reglas conocidas.
Consecuentemente, presupone el empleo de ciertas reglas de la lgica proposicional.
Ejemplos de anlisis de inferencias a travs del mtodo analgico







Ejercicios N 06
Implicacin de frmulas:
1.

2.



3.

NOTA: en efecto, antes de efectuar el anlisis de inferencias recordamos la lista de las
principales reglas de la lgica proposicional y las leyes correspondientes:



4. Escriba el equivalente a las siguientes frmulas aplicando las equivalencias tautolgicas que
se sugieren:



5. aplique las leyes de absorcin (Abs.) a las siguientes frmulas:


El mtodo de la deduccin natural
Es un mtodo sintctico y no algortmico. Es sintctico porque procede slo por transformaciones de las frmulas
aplicando a las premisas una serie de reglas o leyes lgicas previamente adoptadas. Es no algortmico porque el
nmero de pasos no puede prescribirse previamente en su totalidad. Su eficiencia va de acuerdo a la capacidad
natural o adquirida del que lo aplica.
Procedimiento: de acuerdo al mtodo de la deduccin natural, para evaluar una inferencia, es decir, para mostrar
que la conclusin de una inferencia se sigue lgicamente de las premisas, es preciso indicar las reglas de
inferencias validas elementales que conducen de las premisas a la conclusin. Dad una inferencia cualquiera, el
proceso derivativo consta de los siguientes pasos:
1. Se asigna a cada proposicin atmica su correspondiente variable.
2. Se simbolizan las premisas y la conclusin disponiendo aquellas en forma vertical y escribiendo la conclusin a
continuacin de la ltima premisa en el mismo rengln. Entre la ltima premisa y la conclusin se escribe una
barra separadora / seguida del smbolo que se lee luego o por lo tanto.
3. Se procede a ejecutar las derivaciones tomando como punto de partida cualquiera de las premisas, siempre
que sea factible, e indicando a la derecha en forma abreviada de qu premisas y mediante qu ley o regla se
ha obtenido la nueva expresin.
Modalidades de la deduccin natural
Prueba directa (PD): sea la siguiente inferencia:



La prueba condicional (PC): es una modalidad dentro del mtodo de la deduccin natural y se aplica en los casos
en que una inferencia tenga conclusin condicional o implicativa. En efecto, siendo la conclusin una frmula
condicional o implicativa necesariamente tendr antecedente y consecuente. Para saber si una conclusin de este
tipo se deriva de las premisas dadas se agrega el antecedente de la conclusin a las premisas, y, luego, aplicando a
este nuevo conjunto de premisas las reglas o leyes lgicas ya conocidas, se realizan las derivaciones hasta obtener
el consecuente de la conclusin.


La prueba por reduccin al absurdo (PRA): esta es otra modalidad dentro del mtodo de la deduccin natural.
Resulta de la fusin de la regla de la prueba condicional y de la nocin de contradiccin; de aqu su nombre de
reduccin al absurdo. Consiste en introducir como premisa adicional la negacin de la conclusin para llegar a
encontrar una contradiccin en las premisas. Es decir, se supone la falsedad del antecedente, mostrando de esta
manera que la conclusin se halla implicada en las premisas (demostracin indirecta).
El sentido de esta demostracin se puede entender fcilmente si se recuerda que por el modus tollens (MT) se
puede deducir la negacin del antecedente de una implicacin cuando se niega el consecuente, es decir, cuando se
sabe que el consecuente es falso.

El mtodo de la deduccin
natural fue propuesto en1934
por el investigador Gerhard
Gentzen. Desde entonces se
conocen diversas variantes de l
que algunos textos de lgica
presentan como reglas para
construir derivaciones.

Ejercicios N 07
Cuestionario:

El mtodo de la deduccin natural






II. TEORIA DE CONJUNTOS:
Definicin:
Podemos entender por conjunto a la agrupacin, asociacin, coleccin, reunin, unin de integrantes
homogneos y heterogneos, los cuales pueden ser naturaleza real o imaginaria. En conclusin pueden estar
integrados por letras, nmeros, meses de un ao, astros, pases mares etc., a los integrantes en general se les
llama elementos del conjunto. Presentamos a continuacin otros ejemplos.
- Conjunto formado por los libros de un estante.
- Conjunto formado por los juguetes de un nio.
- Conjunto formado por los pases del frica.
- Conjunto formado por los elementos qumicos.
Usualmente los conjuntos se denotan por letras maysculas: A, B, C, etc., y los elementos que lo determinan se
designan por letras minsculas: a, b, c, etc.
Si un conjunto A est formado por los elementos 1, 2, 3, 4, 5, 6 se escribe: {}. Se lee: A es el
conjunto de los elementos 1, 2, 3, 4, 5, 6.
Para describir si un elemento pertenece o no a un conjunto, se utiliza el smbolo de pertenencia, en caso
contrario se utiliza el smbolo.
Ejemplo 1: Sea el conjunto {}, observamos que:
.
Bsicamente existen dos formas de definir a un conjunto:
Por Extensin: Llamado tambin por modo explcito, enumerativo o de forma tabular, donde cada elemento
del conjunto es nombrado individualmente; se describe a cada uno de los elementos entre llaves y separados
por comas. Por ejemplo:
P= {Tierra, Marte, Neptuno, Jpiter} Q= {Juan, Ivn, Jorge}
Por Comprensin: Llamado tambin modo implcito, descriptivo o de forma constructiva, es cuando los
elementos que forman el conjunto, enuncian una propiedad que los caracteriza a todos; los elementos se
determinan a travs de una condicin que se establece entre llaves. En este caso se emplea el smbolo / que
significa tal que" o tales que. Por ejemplo:
P= {x/x es un planeta} Se lee El conjunto P formado por los elementos x tal que x es un planeta
Q= {x/x es un elemento qumico} Se lee El conjunto Q formado por los elementos x tal que x es un
elemento qumico.
Ejemplo 2: El conjunto de los resultados posibles de una tirada de un dado es: {}
Esta forma de presentacin textual del conjunto se denomina por extensin. Y la presentacin por
comprensin sera:
{ } { }
Se lee: D es el conjunto de nmeros tal que cumplen con dos condiciones, es un nmero natural y est
comprendido entre 1 y 6.
Otra forma de definir un conjunto es visualizar su contenido, representndolo grficamente mediante Diagramas
de Venn-Euler, haciendo uso de grficas como: crculos, elipses, rectngulos u otras figuras geomtricas de reas
plana, dentro de los cuales se ubican los elementos que le pertenecen y fuera a los elementos que no pertenecen
al conjunto. A continuacin representamos algunos conjuntos:
A = {a, e, i, o, u} y B={a, m, n, o, u} AUB={a, e, i, o, u, m, n} ; A B= ,a, o, u-

Nota: U es el conjunto universal de todas las letras del alfabeto.
B
A
a
o
u
e
i m n
U

Ejemplo 3: El conjunto {}, se puede representar grficamente por:
Solucin:

Cuando todos los elementos del conjunto se pueden enumerar uno a uno, es decir pueden ser contados, es
porque se trata de un conjunto finito (y con pocos elementos). En caso contrario, el conjunto es infinito.
Ejemplo 4:
- El conjunto de das de la semana es un conjunto
- { } es un conjunto
- {} es un conjunto
- El conjunto de los nmeros reales es un conjunto
Otros ejemplos de conjuntos infinitos son los siguientes conjuntos numricos:
El Conjunto de los Nmeros Naturales: { }
El Conjunto de los Nmeros Enteros: { }
El Conjunto de los Nmeros Racionales: { }
El Conjunto de los Nmeros Irracionales: { }
El Conjunto de los Nmeros Reales: { }
El conjunto de los Nmeros Complejos: { }
Tipos de Conjuntos:
a. Conjunto Vaco o Nulo: Es aquel que no tiene elementos y se simboliza por la letra griega (phi) o { }.
Ejemplo 5:
- {
} es vaco, porque no existe un nmero real que al elevarlo al cuadrado nos d un

nmero negativo.
- { } es vaco, porque no existe nmero natural entre 3 y 4.
- {
} es vaco, porque se obtiene: , que no pertenecen a los

nmeros enteros, al resolver la ecuacin

b. Conjunto Unitario: Es aquel que est formado por un solo y nico elemento.
Ejemplo 6:
- { } es unitario, porque solo existe un nmero natural entre 1 y 3 que es el
nmero 2
- { } es unitario, porque solo existe un nmero real ( ) que se obtiene al
resolver la ecuacin
- {} es unitario, porque tiene un elemento que es el smbolo del conjunto vaco.
c. Conjunto Universal o Universo: Es aquel conjunto fijo que contiene todos los elementos del tema de estudio.
Se le denota por la letra U. Grficamente se le representar mediante un rectngulo.
Ejemplo 7:
- El conjunto universal { } es universo de los conjuntos {} {},
{}, porque todos los elementos de los conjuntos A, B y C pertenecen al conjunto .
- Tratndose de las letras: { }

B
A
U

A y B no tienen
elementos comunes
B
A
U

A y B tienen elementos
comunes
A
B
U

Todos los elementos de
A pertenecen a B
Relaciones entre Conjuntos:
Subconjuntos: Si todo elemento de un conjunto A es tambin elemento de un conjunto B, entonces se dice que A
es un subconjunto de B, o que A est contenido en B, o que A es parte de B. Se escribe y se lee A est
incluido en B, o A est contenido en B o A es parte de B.
Simblicamente:
{ }
En caso de que exista al menos un elemento del conjunto A que no sea elemento de B, entonces A no es
subconjunto de B, lo denotamos: .
Grficamente, esto es:

Ejemplo 8:
- Sean los conjuntos {}, {} y {}, entonces ya que todo elemento de A est
en B, pero porque y
- El conjunto es subconjunto de los conjuntos , esto es:
Subconjunto Propio: A es un subconjunto propio de B, si en primer lugar A es un subconjunto de B, o A esta
incluido en B, y en segundo lugar A no es igual a B, en todo caso no existe por lo menos un elemento de A que no
est en B es decir: A= {1, 2, 3, 4,5} y B= {2,4}, B es subconjunto propio de A.
Observaciones
El Conjunto vaco es subconjunto de cualquier otro conjunto, excepto de s mismo.
Cada conjunto est incluido en su universo respectivo.
Todo conjunto es subconjunto de s mismo, pero no es subconjunto propio de s mismo.
Igualdad de Conjuntos: Dos conjuntos son iguales si ambos tienen los mismos elementos. Es decir, si cada
elemento que pertenece a A tambin pertenece a B y si cada elemento que pertenece a B pertenece tambin a A.
Se escribe: y se lee el conjunto A es igual al conjunto B.
Simblicamente:

Si el conjunto A no es igual a B, diremos que A es diferente de B, se denota:
Ejemplo 9:
- {} y {}, son , porque que tienen los mismos elementos , aunque el orden y la
repeticin de los elementos en B no altera el conjunto.
- {} y {
}, son iguales , porque los elementos del conjunto C son

la solucin de la ecuacin
, esto es:

Entonces, el conjunto D es: {} que son precisamente los elementos de C.
- {} y { }, son diferentes , porque pero
Conjuntos Disjuntos: Dos conjuntos son disjuntos si no tienen ningn elemento comn. Se simboliza:

Ejemplo 10:
- { }y { }
- { } y { }
- Los conjuntos e son conjuntos disjuntos.

Conjunto Potencia: Se llama as al conjunto que est formado por todos los subconjuntos que se forman de un
conjunto dado. Se denota , se lee potencia del conjunto A. por ejemplo: Hallar la potencia del siguiente
conjunto: A= {1, 2,3}.
Donde A tiene 3 elementos P(A)= {{1} ;{2} ;{3} ;{1,2} ;{1,3} ;{2,3} ;{1, 2, 3}}.
Simblicamente: { }
Si el conjunto A es finito con elementos, entonces el conjunto potencia de A tendr
subconjuntos incluyendo
al conjunto vaco y al mismo conjunto A.
Nota: Si: A= {r, s, t}, Entonces:
Subconjuntos de A

P(A)= {{r}; {s}; {t}; {r, s}; {s, t}; {r, s, t}}

Subconjunto propios de A A

Ejemplo 11: Sea el conjunto {}. El total de subconjuntos es:
, y son: {} {} {} , el conjunto
potencia de A es: {{} {} }
Observaciones:
- Un elemento de P(A) es un subconjunto de A, es decir:
- , puesto que el vaco es subconjunto de A, esto es:
- , puesto que A es subconjunto de si mismo, esto es:
Propiedades del Conjunto Potencia: Para cualquier conjunto A se cumple:
- Si
- Si
- Si
Ejercicios N 08






Operaciones con Conjuntos:
Entre los conjuntos es posible definir ciertas operaciones. Una operacin pone en relacin dos conjuntos y como
resultado de dicha relacin se obtiene un nuevo conjunto.
Unin de Conjuntos: Dados dos conjuntos, A y B, se llama unin de A con B a otro conjunto que tiene todos los
elementos de A y que pertenecen a B a ambos. Se denota: y se lee A unin B. Simblicamente:
{ }
Grficamente, esto es:

Ejemplo 12:
- Si { } y { } Calcular
Calculamos los elementos de cada conjunto A y B
{} y {}, entonces {} {} {}
- Si { } y { }, entonces
{ }
- Dados los conjuntos: {}, {}, {} y {} Efectuar y construir los
diagramas respectivos: , , y

Interseccin de Conjuntos: Dados dos conjuntos, A y B, cualesquiera del conjunto universal. La interseccin de A y
B, es otro conjunto que tiene todos los elementos comunes de A y B. Se denota: y se lee A interseccin B.
Simblicamente:
{ }
Grficamente:

U
B
A

A es subconjunto de B

U
A
B
A y B disjuntos

A y B no disjuntos

U
A
B

U
B
A


U
A
B
A y B disjuntos

U
A
B

A y B no disjuntos


U A
B
B es subconjunto de A

U
A
B
A y B disjuntos

U

A y B no disjuntos

A
B
U
A es subconjunto de U

A
U B
A

Ejemplo 13: Determinar la interseccin de los siguientes conjuntos y representarlos en un diagrama de Venn:
1) { } y { }
2) { } y { }
3) { } y { }
Solucin:
1) Determinamos por extensin los conjuntos:
{ } y {}
{}
{} y {}

{ } y { }
{ }
Diferencia de Conjuntos: Dados dos conjuntos, A y B, cualesquiera del conjunto universal. La diferencia de A y B,
es otro conjunto formado por los elementos que pertenecen a A, pero no pertenecen a B. Se denota: y se
lee A menos B. Simblicamente:
{ }
Grficamente:

Ejemplo 14: Si {} y {}. La diferencia es: {}

Complemento de un Conjunto: Dados dos conjuntos, A y B, cualesquiera del conjunto universal U, se cumple:
- Si . El complemento del conjunto A con respecto al conjunto B o complemento relativo de A con respecto
a B, es la diferencia de A y B. se denota:
y se lee complemento de A con respecto a B. Simblicamente:
{ }
- Si . El complemento del conjunto A o complemento absoluto de A, es el conjunto de elementos que
perteneciendo al universo no pertenecen al conjunto A. Se denota:
y se lee complemento de A.
Simblicamente:
{ }
Grficamente:


Ejemplo 15: Si { } y { } Hallar

Solucin: Calculamos los elementos, tenemos:
{} y {}, entonces
{}
Ejemplo 16: Dados: { } y { }
Efectuar y construir el diagrama de

Solucin:
{} y {}, entonces:
{}
Diferencia Simtrica de Conjuntos: Dados dos conjuntos, A y B, cualesquiera del conjunto universal. La diferencia
simtrica de A y B, es la unin menos la interseccin de los conjunto A y B. Se denota: y se lee La diferencia
simtrica de A y B. Simblicamente:
{ }

Grficamente:
Ejemplo 17: sean {} y {} Hallar y
Solucin: Calculamos: {} y {}, entonces
{} {} {} {}
{} y {}
{} {} {}
Ejemplo 18: Sea {}, {} y {} Hallar y y graficar.
Solucin: Calculamos: {} y , entonces:
{} {}
{}
{} y {}, entonces:
{} {} {}
{}
Propiedades de las Operaciones entre conjuntos: Sean los conjuntos A, B y C dentro del universo U. Las
propiedades que rigen las operaciones con esos conjuntos son las siguientes:
Propiedades Unin Interseccin Diferencia
Identidad

Idempotente
Conmutativa
Asociativa

Propiedades Distributivas de la Unin o Interseccin:

Propiedades del Complemento:

A

U

A
B
A y B no disjuntos
U

A
B

A y B disjuntos

U

B
A
A subconjunto B
disjuntos

Leyes de Morgan:

Propiedades de la diferencia simtrica:

Cardinalidad de un Conjunto: Se le llama nmero cardinal o cardinalidad del conjunto, al nmero de elementos
que tiene el conjunto. Se denota: y se lee: el nmero de elementos de A el cardinal del conjunto A.
Ejemplo 19: Si { }, {}, {}, y {}, entonces:

Propiedades del Cardinal de un Conjuntos:
el nmero de elementos de cualquier conjunto A es positivo o cero
Si , entonces
Si y son dos conjuntos finitos cualesquiera, entonces
Si y son conjuntos finitos y disjuntos , entonces
Si y son conjuntos finitos, tal que , entonces:

Si A, B y C son conjuntos finitos, tal que , entonces:

Ejemplo 20: Si los conjuntos A y B son tales que: , y Hallar

Problemas con Conjuntos: Existen diferentes tcnicas para resolver este tipo de problemas, mencionaremos tres:
Haciendo uso de los diagramas de Venn.
Empleando tablas, en donde se representa la informacin pertinente y
Utilizando frmulas para obtener el nmero de elementos.
Ejemplo 21: PROBLEMAS
Un club deportivo tiene 80 miembros. De ellos 50 juegan ftbol, 32 bsquet y 23 vley. Adems 6 juegan en los
tres deportes y 10 no practican ningn deporte. Si z es el total de las personas que practican exactamente
dos deportes y x un solo deporte. Hallar x - z.
Solucin:

De un grupo de 1800 estudiantes; el nmero de los que slo rindieron el 2do. examen, es la mitad de los que
rindieron el 1ro. El nmero de los que rindieron slo el 1er. examen es el triple de los que rindieron ambos
exmenes e igual al de los que no rindieron ningn examen. Cuntos rindieron al menos un examen?
Solucin:

Una seccin de la UAP est formada por 35 alumnos entre varones y mujeres. Se sabe que:
- 7 varones aprobaron Matemtica I.
- 6 varones aprobaron Lenguaje.
- 5 varones y 8 mujeres no aprobaron ninguno de los dos cursos.
- 5 aprobaron los dos cursos.
- 11 aprobaron slo Matemtica I.
- 16 varones hay en la seccin.
Se pide: Cuntas mujeres aprobaron slo Lenguaje?

Solucin:

En una clase el 50% de los alumnos aprobaron aritmtica, el 40% aprob lgebra y el 30% aprob geometra, el
20% de los que aprobaron aritmtica tambin aprobaron geometra, el 20% de los que aprobaron geometra
tambin aprobaron lgebra, el 40% de los que aprobaron aritmtica y geometra tambin aprobaron lgebra y
el 20% de los que aprobaron aritmtica tambin aprobaron lgebra pero no geometra. Qu porcentaje de la
clase no aprob ninguno de los tres cursos?
Solucin:

Ejercicios N 08




EJERCICIOS PROPUESTOS
(1) Exprese cada uno de los siguientes conjuntos por extensin:
1. { }
2. { }
3. {
}
4. {
}
5. { }
6. { }
(2) Dado el conjunto { { } }, sealar si son verdaderas o falsas las siguientes proposiciones:
a.
b.
c. { }
d. { }
e.

(3) Decir si las siguientes proposiciones son verdaderas o falsas: { {} {}}
a.
b. {}
c. {{}}
(4) Determinar por extensin el siguiente conjunto: {
}
(5) Se tiene el conjunto {
}. Hallar la suma de los elementos del conjunto A.

(6) Determinar por extensin el siguiente conjunto: {
}
(7) Si: {
}. Hallar
a. {}
b.
c. {}
d. {{ }}
(8) Expresar el conjunto A por extensin: { }
(9) Expresar el conjunto B por extensin: {
}
(10) Determinar el siguiente conjunto por extensin: {
}
(11) Dado los conjuntos iguales: { } { }. Hallar
(12) Dado los conjuntos { } { } si , hallar .
(13) Dado los conjuntos iguales { } { }. Hallar
(14) Si { }, { } Cuntos elementos tiene ?
(15) Dado los conjuntos { } {
} Hallar
(16) Dado los conjuntos { } { } { }. Realizar:

(17) Dado los conjuntos { } { } { } A qu es igual
?
(18) Dado el conjunto {{ } } { { }} escribir sobre las lneas punteadas el smbolo correcto para que
cada una de las siguientes proposiciones sea verdadera.
a. 5.A b. 6.A c. A }.... 3 , 4 {
d.
{ } A .... } b {a, 8,
e.
{ } b} {a, 8, .... 8
f. { } A .... } 3 , 4 {

g.
{ } ) A ( P .... } 3 , 4 {

h.
{ } A ..... 5 }; 3 , 4 {

i.
{ } ) A ( P ..... 5 }; 3 , 4 {

j.
{ } ) A ( P .... } 6 }; 3 , 4 { A =

k.
{ } A ..... 8 5, }; 3 , 4 {

(19) Sean los conjuntos { {}} {{ } { { { }}}} { { }} { {} { }}.
Hallar:
a.
) A ( n
b.
) B ( n
c.
) C ( n
d.
) A ( P
e.
) B ( P

(20) Sean los conjuntos { } { } { }
Determinar:
a. B A
b. C A
c. C B
d. B A
e. C A
f. C B

g.
B A

h.
A B

i. C A

j. A C

k. C B

l. B C

m. A n. B . C
o. B C
A
p.

B AA

q. C AA r.

C BA
(21) Sean A y B dos conjuntos tales que: , , , hallar:
(22) En una ciudad el 40% de la poblacin fuma, el 35% de la poblacin bebe y el 70% de los que fuman, beben.
Qu porcentaje de la poblacin no fuma ni bebe?
(23) En una reunin se observa que el 70% de las personas hablan castellano, 120 hablan ingls; y el 10% de las
personas hablan ingls y castellano. Cuntas personas hablan solamente castellano?
(24) En una reunin donde hay 100 personas se sabe que 40 no tienen hijos, 60 son varones, 10 mujeres estn
casadas, 25 personas casadas tienen hijos; hay 25 madres solteras. Cuntos varones solteros tienen hijos?
(25) De un grupo de 1800 estudiantes; el nmero de los que slo rindieron el 2do. examen, es la mitad de los que
(26) Una seccin de la UNJ est formada por 35 alumnos entre varones y mujeres. Se sabe que:
7 varones aprobaron Matemtica I.
6 varones aprobaron Lenguaje.
5 varones y 8 mujeres no aprobaron ninguno de los dos cursos.
5 aprobaron los dos cursos.
11 aprobaron slo Matemtica I.
16 varones hay en la seccin.
Se pide: Cuntas mujeres aprobaron slo Lenguaje?
(27) Ciertos datos obtenidos del estudio de un grupo de 1057 empleados en una fbrica textil, atendiendo a su raza,
sexo, estado civil son como sigue: 525 individuos de color; 312 varones; 470 casados; 42 varones de color; 147
individuos casados de color; 86 varones casados; 25 varones de color casados. Cuntos son slo varones
casados y cuntas son mujeres de color solteras?
(28) En la UNJ, de una encuesta aplicada a 120 alumnos, se tiene la siguiente informacin, acerca de las
preferencias por las asignaturas: 50 prefieren Lengua, 68 prefieren Computacin, 60 prefieren Matemtica, 30
prefieren Lengua y computacin, 40 prefieren Matemtica y Computacin, 30 prefieren Lengua y Matemtica,
y 20 prefieren las tres asignaturas.
a. Cuntos prefieren slo una asignatura?
b. Cuntos prefieren solamente Lengua?
c. Cuntos prefieren solamente Computacin?
d. Cuntos prefieren solamente Matemtica?
e. Cuntos no prefieren ninguna asignatura?

(29) Una encuesta sobre 500 estudiantes de la UNJ inscritos en las asignaturas de Matemtica, Fsica y Qumica
durante el semestre, revel los siguientes nmeros de estudiantes en los cursos indicados: Matemtica 329,
Fsica 186, Qumica 295, Matemtica y Fsica 83, Matemtica y qumica 217, Fsica y Qumica 63. Cuntos
alumnos estarn inscritos en:
a. Los tres cursos?
b. Matemtica pero no Qumica?
c. Fsica pero no Matemtica?
d. Qumica pero no Fsica?
e. Matemtica o Qumica pero no Fsica?
f. Matemtica y Qumica pero no Fsica?
g. Matemtica pero no Fsica ni Qumica?


Practica Calificada Nota:
Nombre: Fecha: .../05/13

1. Fjate en las siguientes proposiciones y formaliza las expresiones que figuran a continuacin:
p = Argentina se moviliza.
q = Brasil impone restricciones econmicas.
r = Cuba sigue enviando armas a Sudamrica.
s = La repblica Dominicana apela a las Naciones Unidas.

a) O bien Argentina se moviliza y Brasil impone restricciones comerciales, o bien Cuba sigue
enviando armas a Sudamrica.
b) No se da el caso de que, o bien Argentina se movilice, o bien Brasil no imponga restricciones
comerciales.

2. Si la proposicin es falsa. Hallar el valor de verdad de las siguientes
proposiciones.
[ ]
3. Comprobar la validez del siguiente enunciado: Si estudio, entonces no perder Matemtica; y si no juego
futbol, entonces estudiar; pero perd Matemtica. Por tanto, jugu futbol
4. Hallar la proposicin equivalente ms simplificada de los siguientes circuitos:
5. Dado el conjunto { } { } { } { }, , , , , , 3, 2, 1, A 3 2 1 3 2 = Determine la verdad o falsedad de:
a. {} A e 1
b. { } A , c 3 2
c. { } { } A , , e 3 2 1
d. A e
e. { } A e
f. A c
g. { } { } A e 23
h. { } A e 3
i. { } A c
j. { } { } { } { } A , , , , , 3, 2, 1, 3 2 1 3 2
6. Dados los Conjuntos: { }, x 2 x / N x U 15 . > e = { }, x primo es x / U x A 12 . e =
{ } 12 x impar es x / U x B . e = y { }. impar es x / U x D e = Determine
a. ( ) A B ' C b. ( ) ( ) B A C A
7. De un grupo de 1800 estudiantes; el nmero de los que slo rindieron el 2do. examen, es la mitad de los que
8. En una ciudad el 40% de la poblacin fuma, el 35% de la poblacin bebe y el 70% de los que fuman, beben.
Qu porcentaje de la poblacin no fuma ni bebe?

Suerte
r

q
p

q
r
p q
p

Recuperacin de la P.C.(2013-I) Nota:

1. Formaliza los siguientes enunciados, indicando qu enunciado simple corresponde a cada variable
que uses:
a) Si el aumento de la inflacin implica la disminucin de la balanza de pagos, entonces, si no
disminuye la balanza de pagos no aumenta la inflacin.
b) Dejar de beber cuando suba el alcohol, pero voy a dejar de fumar, tanto si sube el tabaco
como si no.

2. Formalice el siguiente enunciado y compruebe la validez del siguiente enunciado.
Si un animal fabuloso se enfada, te quedas paralizado del susto; y si te quedas paralizado del
susto, entonces apelaras a su bondad y as no ser engullido. Por lo tanto, si un animal fabuloso se
enfada, tendrs que apelar a su bondad o sers engullido.

3. Construye el circuito lgico para la siguiente proposicin, simplifique y de como respuesta el
circuito lgico equivalente a: [ ]

4. Sea U = {1, 2, 3, 4, 5, . . . , 12} el conjunto universal. Consideremos los subconjuntos, A = {1, 3, 5,
7, 9, 11}, B = {2, 3, 5, 7, 11}, D = {2, 4, 8} y C = {2, 3, 6, 12}. Determina los conjuntos:
a) (A B) C'
b) (B D) (D B)

5. Se le pregunt a un grupo de 10 estudiantes sobre sus preferencias por dos marcas de refrescos
Pepsi y Coca Cola. Obtenindose lo siguientes resultados: El nmero de estudiantes que
prefirieron Pepsi pero no Coca Cola fue de 3. El nmero de estudiantes que no prefirieron Pepsi
fueron 6. Se desea saber:
a) Cuntos de los encuestados prefirieron Pepsi?
b) Cuntos de los encuestados prefirieron Coca Cola?
c) Cuntos de los encuestados prefirieron Pepsi o Coca Cola?
d) Cuntos de los encuestados prefirieron solo una de las dos bebidas?

Suerte

Examen de Unidad Matemtica Bsica Nota:


1. Formaliza los siguientes enunciados, indicando qu enunciado simple corresponde a cada variable que uses:
a) Dejar de beber cuando suba el alcohol, pero voy a dejar de fumar, tanto si sube el tabaco como si no.
b) Si los elefantes volaran o supieran tocar el acorden, pensara que estoy como una regadera y dejara
que me internaran en un psiquitrico.
2. Formalice el siguiente enunciado y compruebe la validez del siguiente enunciado.
a) Si un tringulo tiene tres ngulos, un cuadrado tiene cuatro ngulos rectos. Un tringulo tiene tres
ngulos y su suma vale dos ngulos rectos. Si los rombos tienen cuatro ngulos rectos, los cuadrados no
tienen cuatro ngulos rectos. Por tanto los rombos no tienen cuatro ngulos rectos. (Use el mtodo
directo)
b) Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no realizar mis sueos. He
aceptado el trabajo y he dejado de pintar. Por lo tanto, no realizar mis sueos. (Use tabla)
3. Hallar la proposicin equivalente ms simplificada de los siguientes circuitos:
4. Problema: En un total de 250 personas encuestadas sobre su desayuno se obtuvieron las siguientes
respuestas, 30 personas tomaban t con leche, 40 personas tomaban caf con leche, 80 personas tomaban
leche, 130 personas tomaban t o leche y 150 tomaban caf o leche. a) Cuntas personas tomaban t puro?
b) Cuntas personas tomaban leche pura? c) Cuntas personas tomaban caf puro? d) Cuntas
personas no tomaba ninguna de estas tres cosas al desayuno?
5. Responde:
a) Dados los conjuntos : A = { 1,2 } B = { 2,3,4 } y C = { 2 }. Cuntos subconjuntos tiene
b) Si el conjunto A tiene 5 elementos, el conjunto B tiene 3 elementos, y adems se sabe que tiene
2 elementos entonces, cul es la cardinalidad de ?
c) Dado que el conjunto A est definido como: { } Entonces,
Cul es el cardinal del conjunto A?
d) Si A = { a, b, c, d, e } , B = { b, c, e } y C = { a, e }, entonces Cul es el conjunto
Suerte

Ex. de Unidad Mat. Bsica-Recuperacin Nota:
r

q
p

q
r
p q
p

p

q
p
p q

1. Formalice el siguiente enunciado y compruebe la validez del siguiente enunciado. (5 Puntos)
a) Si los astronautas observan un nuevo planeta con atmosfera fuera de nuestro sistema solar, la tierra no
ser el nico planeta habitable en el universo. O la tierra no es el nico planeta habitable o hay sistemas
inexplorados. Por tanto, o los astronautas no observan un nuevo planeta con atmosfera, fuera de nuestro
sistema solar, o la tierra es el nico planeta habitable en el universo (Use tabla)
b) Todo nmero entero o es primo o es compuesto. Si es compuesto, es un producto de factores primos, y si
es un producto de factores primos, entonces es divisible por ellos. Pero si un nmero entero es primo, no
es compuesto, aunque es divisible por s mismo y por la unidad, y consiguientemente, tambin divisible por
nmeros primos. Por tanto, todo nmero entero es divisible por nmeros primos. (Use el mtodo directo)
2. Hallar la proposicin equivalente ms simplificada del siguiente circuito: (4 Puntos)

3. Problema: En un total de 250 personas encuestadas sobre su desayuno se obtuvieron las siguientes
respuestas, 30 personas tomaban t con leche, 40 personas tomaban caf con leche, 80 personas tomaban
leche, 130 personas tomaban t o leche y 150 tomaban caf o leche. a) Cuntas personas tomaban t puro?
b) Cuntas personas tomaban leche pura? c) Cuntas personas tomaban caf puro? d) Cuntas
personas no tomaba ninguna de estas tres cosas al desayuno? (5 Puntos)
4. Sea { } { } a a E , = . Diga cuales de las proposiciones de ms abajo son verdaderas y cuales son falsas:
(3 Puntos)
E ae
{ } E a e
E a c
{ } E a c
E e |
E c |
5. Sean los conjuntos { } { } { } g e d b C g f e d c B d c b a A , , , y , , , , , , , = = = Determine: (3 Puntos)
B C A ) (
) ( C B A
) ( ) ( C A B A

Suerte

Unidad I - Logica y Conjuntos

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Unidad I - Logica y Conjuntos

Загружено:

Авторское право:

Доступные форматы

UNIVERSIDAD NACIONAL DE JAEN

JAEN CAJAMARCA PER

, son llamadas premisas y originan como

. Por lo deducido en la conclusin, ya tenemos que q es V entonces es F. Como la Bicondicional

. En la tercera premisa encontramos que es V entonces el valor de verdad de es F. estos dos

. Por lo deducido en la conclusin, ya tenemos que es V entonces es V.

. En la tercera premisa encontramos que es F puesto que es F.

} es vaco, porque no existe un nmero real que al elevarlo al cuadrado nos d un

} es vaco, porque se obtiene: , que no pertenecen a los

}, son iguales , porque los elementos del conjunto C son

y se lee complemento de A con respecto a B. Simblicamente:

}. Hallar la suma de los elementos del conjunto A.

Вам также может понравиться