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 SIGNIFICADO OPERADOR y o o. . . o o por Si,. . . ,entonces Si y solo si No; no es cierto

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

8 / 21

La validez de estos conectivos pueden representarse en tablas de verdad.

Observacin
Si tenemos k proposiciones 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 denida 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 signicado 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 denida 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 p q , que se lee p o q pero no ambos es la proposicin denida 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 denida 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 denida 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 no p no es cierto que p"se dene 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 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.

J.C.Damin . S (USMP)

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, especicando 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