Lgica Matemtica y Conjuntos

Juan Carlos Damin Sandoval

Universidad San Martin de Porres

Marzo del 2014

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

1 / 21

Contenido

Lgica Matemtica

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

2 / 21

Enunciado
Es toda frase u oracin que se emite.
Algunos enunciados indican expresiones imperativas, exclamativas,
interrogativas; otros en cambio pueden ser verdaderos o falsos.

Ejemplo
Est lloviendo y hace fro
Sabes que hacer?
Por qu estudias Matemticas?
viva el Per!
Jorge es Ingeniero.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

3 / 21

Enunciado Abierto
Son expresiones que contienen variables y que no tienen la propiedad
de ser verdaderos o falsos.

Ejemplo
x +5<9
x +y >9
x +3=9
El estudia matemticas.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

4 / 21

Proposicin
Se llamara proposicin a todo enunciado al cual es posible asignarle
uno y slo uno de los siguientes valores:Verdadero(V) o Falso (F).

Ejemplo
Jos estudia Medicina en la USMP.
Si estudio matemtica, entonces aprobar el examen.
El cuadrado de todo nmero par tambin es par.
6 es un nmero par

Notacin
Generalmente a las proposiciones se les denota con las letras
minsculas tales como p,q,r,s,t. . . alas que les denomina variables
proposicionales.
J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

5 / 21

Clases de Proposiciones
Proposiciones Simples
Las proposiciones simples, llamadas tambin proposiciones atmicas
o elementales, son aquellas expresiones que tiene un solo sujeto y
un solo predicado.

Ejemplo
Todos los hombres son mortales.
Juliana tiene 15 aos.
Tres es un nmero primo.
El sol es una estrella.
Lima es capital del Per.
Ramn Castilla fue Presidente del Per.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

6 / 21

Proposiciones Compuestas
Las proposiciones compuestas llamadas tambin proposiciones
moleculares son aquella que estn constituidas por dos o mas
proposiciones simples.

Ejemplo
Si est lloviendo, entonces hay nubes en el cielo.
Si estudio matemtica, entonces aprobar el examen
Luis esta en chile estudiando y trabajando.
5 es mayo que 2 por lo tanto 52 es mayor que 22 .
Si tengo sueo de da, entonces estoy cansado o me faltan vitaminas.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

7 / 21

Conectivos Lgicos
Son expresiones que enlazan dos o mas proposiciones. Entre estas, se
tiene: y , o,"si...entonces","si y solo si","no",etc.
DENOMINACN
Conjuncin
Disyuncin Dbil o Inclusiva
Disyuncin Fuerte o Exclusiva
Condicional
Bicondicional
Negacin

J.C.Damin . S (USMP)

SIGNIFICADO OPERADOR
y

o. . . o
Y o por
Si,. . . ,entonces

Si y solo si

No; no es cierto

Lgica Matemtica y Conjuntos

Marzo del 2014

8 / 21

La validez de estos conectivos pueden representarse en tablas de

verdad.

Observacin
Si tenemos kproposiciones p1 , p2 ,3 , . . . , pk habrn 2k
combinaciones de valores.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

9 / 21

OPERACIONES PROPOSICIONALES
Conjuncin
La conjuncin de las proposiciones p y q, denotada por p q, que se
lee p y q es la proposicin definida por la siguiente tabla de
valores.
p q pq
V V
V
V F
F
F V
F
F F
F
Es importante tener presente que en el lenguaje comn se utilizan las
palabras "pero", "sin embargo", "mas an", "adems",etc. con
significado equivalente al de la palabra .
J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

10 / 21

Disyuncin Inclusiva
La disyuncin de las proposiciones p y q, denotada por p q, que se
lee p o q es la proposicin definida por la siguiente tabla de
valores.
p q pq
V V
V
V F
V
F V
V
F F
F
Relaciona dos o ms proposiciones con la palabra O; que es
denotada por

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

11 / 21

Disyuncin Exclusiva
La disyuncin exclusiva o fuerte de las proposiciones p y q, denotada
por pq, que se lee p o q pero no ambos es la proposicin
definida por la siguiente tabla de valores.
p q
V V
V F
F V
F F

pq
F
V
V
F

Ejemplo
Emilio esta muerto o esta vivo.
O hoy es lunes o hoy es mircoles.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

12 / 21

Condicional
La condicional de las proposiciones p y q, denotada por p q, que
se lee Si p, entonces q es la proposicin definida por la
siguiente tabla de valores.
p q pq
V V
V
V F
F
F V
V
F F
V
En toda proposicin condicional, p q, la proposicin p se denomina
antecedente y la proposicin q, consecuente de la condicin.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

13 / 21

Tambin son conectivos condicionales los trminos:"por que

","puesto que","ya que","Si","cuando","cada vez que","siempre
que etc.Todas se caracterizan por que despus de cada uno de estos
conectivos est el antecedente.

Ejemplo
El tringulo ABC es issceles, si es equiltero.
Arturo no viaj a Europa por que perdi sus documentos.
Si ahorro mucho dinero entonces podr comprar un Auto.
15 es mltiplo de 3 puesto que 15 es un nmero impar.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

14 / 21

Bicondicional
La bicondicional de las proposiciones p y q, denotada por p q, que
se lee p si y slo si q es la proposicin definida por la
siguiente tabla de valores.
p q pq
V V
V
V F
F
F V
F
F F
V

Ejemplo
Fernando comprar un automvil si y slo si obtiene un prstamo del
Banco.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

15 / 21

Negacin
La negacin de una proposicin p, denotada por p, que se lee
00
no p no es cierto que p"se define mediante la tabla de valores.
p p
V
F
F
V
Es decir si p es verdadero,entonces p es falsa; si p es falsa, p es
verdadera.

Ejemplo
1. Las rosas son rojas.
2. Las rosas no son rojas.
3. Es falso que las rosas son rojas.
4. Las rosas son amarillas.
Como se puede notar (2) y (3) son cada una la negacin de (1) en
cambio (4) no es negacin de (1).
J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

16 / 21

EVALUACIN DE ESQUEMAS MOLECULARES

PROCEDIMIENTO
1. Se asigna a cada variable el nmero de valores de verdad
aplicando la frmula; 2n donde n es el nmero de proposiciones
2. Se construyen las columnas de referencia al margen izquierdo del
esquema con todas las posibilidades de V y F .
3. Se procede al aplicar la regla de cada uno de los operadores,
empezando por el de menor alcance y terminando con el de
mayor jerarqua.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

17 / 21

Esquema Molecular es una:

Tautologoa
Si todos los valores de verdad del conectivo de mayor jerarqua son
verdaderos.

Contradiccon
Si todos los valores de verdad del conectivo de mayor jerarqua son
falsos.

Contingencia
cuando su resultado hay por lo menos una verdad y una falsedad.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

18 / 21

Ejemplo
Estable si el esquema molecular dado es una Tautologa,
contradiccin o contingencia.
(p q) ( p q)
Solucin:
Nmeros de valores de verdad 22 = 4
p
V
V
F
F
Notamos que

J.C.Damin . S (USMP)

q (p q) ( p q)
V F V V F F F
F V F V F V V
V V F V V V F
F V F V V V V
el esquema molecular es una Tautologa.

Lgica Matemtica y Conjuntos

Marzo del 2014

19 / 21

EJERCICIOS
1. Simbolizar las siguientes proposiciones
1. Luis sabe operar bien, sin embargo no es matemtico.
2. Fernando es ingeniero industrial y pedro es administrador de
empresas.
3. O Carlos va a trabajar en bicicleta o en auto.
4. Jos es medico pero no ejerce su profesin.
5. Martin es peruano pero no conoce lima.
2. Si el esquema molecular (q p) (r p) es falso, determine
el valor de verdad de: (p x ) (m y )
3. Si el esquema molecular ( p q) ( s r ) es falso,
determine el valor de verdad de:
( p q) [( r r ) s]

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

20 / 21

EJERCICIOS
4. Evaluar los siguientes esquemas moleculares, especificando su
resultado y decir si es una tautologa, contradiccin o
contingencia.
1) [(p q) p] (p q)
2) [(p q) p] ( p q)
3) [(p q) r ] ( q p)
4) [( p q) r ] [r (p q)]
5) [(p q) ( q p)] p

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

21 / 21