Professional Documents
Culture Documents
J.C.Damin . S (USMP)
1 / 21
Contenido
Lgica Matemtica
J.C.Damin . S (USMP)
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)
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)
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)
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)
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)
8 / 21
Observacin
Si tenemos k proposiciones p1 , p2 ,3 , . . . , pk habrn 2k combinaciones de valores.
J.C.Damin . S (USMP)
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)
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)
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)
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)
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)
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
J.C.Damin . S (USMP)
17 / 21
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)
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)
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)
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)
21 / 21