El presente modulo te brinda herramientas y actividades prcticas que puedes desarrollar de manera

autnoma y que te ayudaran a recordar conceptos claves del curso de lgica matemtica.
TEORIA DE CONJUNTOS
El conjunto: Es una coleccin de elemento reunida segn una caracterstica especfica; los conjuntos
pueden ser representados, por comprensin, por extensin, o en un diagrama de Venn.
Ejemplo: El conjunto de los nmeros dgitos
A={0,1,2,3,4,5,6,7,8,9} Extensin.
A={x/x es un nmero dgito.} Comprensin.

Diagrama de Venn.


OPERACIONES Y RELACIONES ENTRE CONJUNTOS.
NOMBRE DEFINICIN DIAGRAMA
Unin Se define como un nuevo
conjunto que contiene todos los
elementos que pertenecen a
los conjuntos operados, si un
elemento est presente en dos
o ms de los conjuntos se
escribe una sola vez.

Interseccin Se define como un nuevo
conjunto que contiene todos los
elementos que son comunes a
los conjuntos operados.




Diferencia Se define la operacin A-B como
el conjunto de los elementos
que pertenecen a A pero no a B





1 2 3 4 5 6 7
8 9 0
A
A U B
A B
A B


Diferencia Simtrica Se define AB, como el
conjunto de elementos que
estn nicamente en A o
nicamente en B.





Complemento Se define

como el conjunto
de todos los elementos que no
pertenecen a A.




Contenencia La contenencia hace referencia
a todo conjunto que resulta ser
subconjunto de uno mayor, esto
es un conjunto dentro de un
conjunto.



Pertenencia La pertenencia hace referencia
a la relacin entre un elemento
y un conjunto. Se dice que un
elemento pertenece a un
conjunto cuando est dentro
del mismo.




PROPOSICIONES: Una proposicin es una oracin demostrativa, la cual se caracteriza por ser
potencialmente verdadera o falsa. Estas estn clasificadas en dos tipos a saber: Las proposiciones
atmicas o simples, las cuales se caracterizan por ser una proposicin completa SIN trminos de enlace,
estas son indivisibles. Las proposiciones moleculares o compuestas, son aquellas que estn constituidas
por dos o ms proposiciones atmicas mediante trminos de enlace.
NOMBRE DEFINICIN SIMBOLOGIA
Negacin Es una proposicin cuyo
trmino de enlace es <<NO>> el
cual cambia el valor de verdad
de la proposicin.

P
Disyuncin Es una proposicin molecular,
entre P y Q cuyo trmino de
enlace es el conector <<O>>.

P Q
Conjuncin Es una proposicin molecular,
entre P y Q cuyo trmino de
enlace es el conector <<Y>>.

P Q
A B

A B
A
B
a A
Escriba aqu la ecuacin.
a.


Implicacin Es una proposicin molecular,
entre P y Q cuyo trmino de
enlace es el conector <<Si
Entonces>>.

P Q
Doble Implicacin Es una proposicin molecular,
entre P y Q cuyo trmino de
enlace es el conector <<Si y solo
si.>>.

P Q

TABLAS DE VERDAD
Las tablas de verdad muestran los valores de verdad de las proposiciones moleculares formadas con
cada uno de los conectores segn los valores de verdad de las proposiciones atmicas que las
conforman

DISYUNCION
P Q P Q
V V V
V F V
F V V
F F F

CONJUNCION
P Q P Q
V V V
V F F
F V F
F F F

IMPLICACION
P Q P Q
V V V
V F F
F V V
F F V

DOBLE IMPLICACION
P Q P Q
V V V
V F F
F V F
F F V

VALIDEZ
Toda premisa pueden ser representadas simblicamente mediante la representacin de las
proposiciones que la conforman, con esto es posible analizar los valores de verdad de las premisas en un
razonamiento y de esta forma verificar su validez.
Si Cesar es guitarrista, entonces es msico. Cesar no es guitarrista. Por lo tanto Cesar no es
msico.
Premisa1: Si Cesar es guitarrista, entonces es msico. (
Premisa 2: Cesar no es msico. ( q )
Conclusin: Cesar no es guitarrista. ( p )

q
p



p q q p ) ) ((
Para verificar la valides del razonamiento se elabora la tabla contemplando los valores de verdad de las
proposiciones atmicas que la conforman
P Q p q pq (pq) q p q q p ) ) ((
V V F F V F V
V F F V F F V
F V V F V F V
F F V V V F V

Tautologa: Cuando en tabla de verdad la proposicin molecular es verdadera en todos los casos esta
es una tautologa y por tanto el razonamiento es vlido.
Contradiccin: Cuando en tabla de verdad la proposicin molecular es falsa en todos los casos esta es
una contradiccin y el argumento no es vlido.
Contingencia: Cuando en tabla de verdad la proposicin molecular es falsa en alguno de los casos esta
es una contingencia y el argumento no es valido

REGLAS DE INFERENCIA
REGLA DE INFERENCIA DEFINCION EJEMPLO
Modus ponendo ponens
P : Si A, entonces B
P 1: A
C: Por lo tanto, B
:



Si est soleado,
entonces es de da.
Est soleado.
Por lo tanto, es de da.

Modus ponendo tollens P: O bien A, o bien B
P1: A
C: Por lo tanto, no B





O bien es de da, o bien
es de noche.

Es de da.

Por lo tanto, no es de
noche.

Modus tollendo ponens o
diyuncion excluyente
es el caso que A, o es el caso que B
No A
Por lo tanto, B
O es de da o es de
noche.



:


No es de da.

Por lo tanto, es de noche

Modus tollendo tollens si A entonces B
No B
Por lo tanto, no A




Si hay luz solar,
entonces es de da.

No es de da.

Por lo tanto, no hay luz
solar.

Silogismo hipottico
Si P entonces Q
Si Q entonces R
Por lo tanto P entonces R




PoQ
Pr
Q-s
C: RoS
Si no me despierto, no
puedo ir a la fiesta.

Si no voy a la fiesta, no
me divertir.

Entonces, si no me
despierto no me
divertir.

Silogismo disyuntivo P o Q
Si P entonces R
Si Q entonces S
Por lo tanto R o S









O llueve o el campo est
seco.
Si llueve, entonces
jugaremos dentro
Si el campo est seco,
entonces jugaremos al
baloncesto.

Por lo tanto O
juagaremos dentro o
jugaremos baloncesto
ADJUNCION
Si disponemos de dos proposiciones
afirmadas como dos premisas separadas,
mediante la adjuncin, podemos unirlos en
una sola premisa utilizando el operador
y (conjuncin).

p

q
___

p q
Juan es cocinero
Pedro es polica
Juan es cocinero y
Pedro es polica




ADICION
Dado una proposicin cualquiera, es
posible expresarlo como una disyuncin
acompaado por cualquier otro proposicin

P

P Q

He comprado manzanas

He comprado manzanas
o viajo en burro.