Lgica Matemtica y Conjuntos

Juan Carlos Damin Sandoval

Universidad San Martin de Porres

Marzo del 2013

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2013

1 / 22

Contenido

Lgica Matemtica

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2013

2 / 22

Es el estudio de los procesos vlidos del razonamiento humano.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2013

3 / 22

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
Qu curso te has matriculado?
Por qu estudias Matemticas?
viva el Per!
Jorge es Ingeniero.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2013

4 / 22

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

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

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2013

5 / 22

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
Luis estudia Medicina en la USMP.
Si estudio matemtica, entonces aprobar el examen.
El cuadrado de todo nmero par tambin es 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 2013

6 / 22

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
Pamela tine 15 aos.
Tres es un nmero primo.
El sol es una estrella.
Ramn Castilla fue Presidente del Per.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2013

7 / 22

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

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2013

8 / 22

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 2013

9 / 22

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 2013

10 / 22

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 2013

11 / 22

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 2013

12 / 22

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 2013

13 / 22

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 2013

14 / 22

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 pobre 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 2013

15 / 22

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 2013

16 / 22

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
F
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 2013

17 / 22

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 2013

18 / 22

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 2013

19 / 22

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 2013

20 / 22

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 2013

21 / 22

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 2013

22 / 22