Formalización y Valoración de Proposiciones-2

August 5, 2022 | Author: Anonymous | Category: N/A
Share Embed Donate


Short Description

Download Formalización y Valoración de Proposiciones-2...

Description

 

 

FORMALIZACIÓN Y VALORACIÓN DE PROPOSICIONES 1.1.

Conectivos Lógicos Se denominan conectivos lógicos a aquellas palabras o términos funcionales que ligan, juntan, unen o enlazan las proposiciones simples formando proposiciones compuestas. Los operadores o conectivos básicos son: CONECTIVO SÍMBOLO NOMBRE DE LA PROPOSICIÓN No ~ Negación Y O o. . . o. . .

^

Conjunción Disyuntiva inclusiva Disyuntiva exclusiva Condicional Bicondicional

        

Si… entonces...  …si y sólo si … 

A. Negación (~): Es un conectivo singular. Se denomina proposición negativa aquella que cambia el valor de la proposición original. Se denota por: ~p, -p, p y se lee: “no p”. La negación, puede traducirse como: No es cierto que ... Nadie que sea ... Jamás ... Es falso que... No es el caso que ... Es inconcebib inconcebible le que... Nunca ... No es verdad que Es imposible que ... No mentira ocurre que... Es que ...

Es absurdo que No acaece que...

No es el caso que…  Es refutable que… 

Es erróneo que ...…  De ningún modo Es inadmisible que…  Es incierto que…  Es falaz que…  En modo alguno… 

Ejemplo: p: INDECOPI es el Instituto Nacional de Defensa de la Co Competencia mpetencia y de la Protecció Protección n de la Propiedad Intelectual.  ~p: Es falso que INDECOPI sea el Instit Instituto uto Nacional de Defensa de la Competencia y de la Protección de la Propiedad Intelectual. Su tabla de verdad es como sigue: p ~p V F F

V

B. Conjunción: Dadas las proposiciones “p”, “q”. La conjunción es el resultado de unir estas proposicioness con el conectivo lógico “y”. Se denota con el símbolo: “ ”, “”, se escribe “p  q”, “p  q” proposicione y se lee: “p y q”. La proposición conjuntiva es verdadera. Cuando las dos proposiciones son

verdaderas. En nuestro lenguaje podemos emplear:

Pero Sin embargo  Además  A la vez  Profesor: Ing. Dr. Nelson Quiñones Vásquez

Aun cuando Al igual que

No obstante Aunque Tanto …. como ….  Más aún Siempre ambos…. con…..  También 1 

 

 

Incluso  Así como Del mismo modo

No sólo….sino también….  Es compatible con

A pesar de

Así mismo ….con …. los dos a la vez   De la misma forma que

Ejemplo: Consideremos las siguientes proposiciones: p: “Roxana estudia” q: “Roxana escucha música”  De por:tal manera que la representación del enunciado anterior usando simbología lógica queda indicado p  q: Roxana estudia al mismo tiempo que escucha música Su tabla de verdad es como sigue:

p V V F F

q V F V F

p  q V F F F

C. Disyunción: Es una proposición compuesta formada por “p” y por “q” relacionadas por el conectivo lógico “o”. Según el sentido del conectivo “o”, se puede interpretar de dos maneras: inclusiva o exclusiva. Disyunción Inclusiva o Débil:  Se denota por “p   q”, “p + q” y se lee: “p o q”. La disyunción inclusiva es falsa sólo en el caso que ambas proporciones sean falsas. Se conoce como la suma lógica. Otras formas de conexión que nos indican una disyunción inclusiva son:  A menos que Excepto que Salvo que  A no ser que Y bien o también O sino

O en todo caso O también O incluso O bien  Al menos uno de de los dos …. o …. 

Alternat Alternativamente ivamente

Ejemplo: Consideremos:   p: “Mañana estudiaremos Química”  q: “Mañana estudiaremos Física” 

De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p  q: Mañana estudiaremos estudiaremos Química o sino estudiaremos Física Su tabla de verdad es como sigue:

p V V F F

q V F V F

p  q V V V F

  Disyunción Exclusiva o Fuerte: Se denota por: “p  q”, “p v q”, “p  q”, “p   q”, “p   q” y se lee: “p o q” pero no ambos. La disyunción exclusiva es verdadera sólo cuando una de las proposiciones es verdadera.  Algunas formas de conectivo conectivoss a emplear son:



O ... o ... O bien ... o bien ...

... no equivale a ... No es cierto que...equival que...equivale e a...

No es equivalen equivalente te ... con ... ....a menos que solamente...

O solo .... o solo .... ...salvo que únicamente...

 Profesor: Ing. Dr. Nelson Quiñones Vásquez



 

 

....excepto que sólo.... ....o exclusiva exclusivamente.... mente.... ....no es lo mismo que...

....o bien necesariam necesariamente.... ente.... ....no es idéntico a.... Salvo que .... o ....

Ejemplo: Consideremos: p q p q p: “Este año viajaré al extranjero”  q: “Viajo a Lima” V V F De tal manera que la representación del enunciado anterior usando simbología lógica V F V queda indicado por: F V V p  q: “Este año viajaré al extranjero salvo que únicamente viaje a Lima”  Por lo tanto su tabla de verdad es:

F F

F

D. Condicional: Proposición compuesta que resulta de la combinación de dos proposiciones simples, a través del conectivo: “Si ..., entonces ...” y su símbolo es : “ ”, “ ”. La notación “p    q”, “p   q” se lee “Si p, entonces q”. La proposición “p” se llama antecedente o hipótesis y la proposición “q” se llama

consecuente o conclusión. La manera de expresar la condicional en el orden cons ecuent ecuente e  (“p q” Implicación directa), son las siguientes:  Si p, entonces q Siempre que p entonces q p es suficiente para q p implica q Ya que p bien se ve que q En cuanto p por tanto q

antecedente-

p por tanto q p por consiguien consiguiente te q p por ende q p por conclusión q Dado que p por eso q Porque p por eso q

Puede también expresarse en el orden cons ecuente-a ecuente-antecedent ntecedente e (“q  p”) Implicación inversa. q si p q siempre que p q es necesario para p Sólo si p, q q dado que p q a condición de que p q supone que p

q es implicada para p q cada vez que p q en vista que p Sólo cuando p, q q ya que p q dado que p q sigue de p

q de modo que p q puesto que p q porque p Solamente porque p, q q cada vez que p q se concluye de p Únicamente si p, q

Ejemplo: consideremos : p: “La producción es buena”  q: “Habrá mayor rentabilidad en la empresa” De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p q: “Si la producción es buena, habrá mayor rentabilidad en la empresa ”  q   p: “Habrá mayor rentabilidad en la empresa siempre que la producción sea buena“  Su tabla de verdad queda de la siguiente manera:

p V V F F

q V F V F

p  q V F V V

E.- Bicondicional: Cuando dos proposiciones están unidas por el conectivo lógico “...si y sólo si...”, cuyo símbolo es: “”, “ ”, “ ”. La proposición compuesta se denota por: “p  q”, “p   q”, “p  q” y se lee:  Profesor: Ing. Dr. Nelson Quiñones Vásquez



 

  “p sí y sólo si q”. La proposición bicondicional solamente es verdadera si tanto p como q son falsas o

bien ambas verdaderas. También se suele emplear expresiones como: …siempre y cuando…  …es equivalente a…  …es lo mismo que…  …cuando y sólo cuando… 

Es suficiente para que suficiente sea Es condición necesaria y suficient suficiente e para …por lo cual y según lo cual…   …cada vez que y sólo si…  Si y sólo si p, q …si de la forma…  …siempre que y sólo cuando…  …implica y está implicado por…  …es idéntico a…  Siempre que … y siempre que …  

Ejemplo: Consideremos: p: “El que yo te sonría”  q: “Yo te enamore”  De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p  q: El que yo te sonría es lo mismo que yo te enamore.

p V V F F

q V F V F

p  q V F F V

Su tabla de verdad queda de la siguiente manera:

1.2. Notación Proposicional En lógica nos interesa saber cómo están combinadas las proposiciones, y no nos interesa en absoluto su significado. Por ello necesitamos unos símbolos que prescindiendo del significado de las proposiciones nos indiquen la forma en que se combinan. Estos símbolos constit constituyen uyen un lenguaje formal. Las proposicione proposicioness atómicas pueden ser sustituidas por letras minúscula minúsculass p, q, r, etc., denomina denominadas das variables proposicion proposicionales. ales. La operación consiste en sustituir las expresiones del lenguaje natural por símbolos lógicos, a la cual llamaremos formalización y la proposición debidamente formalizada la llamaremos fórmula. Ejemplos: 1. Mario Vargas Llosa obtuvo el Premio Nobel de Literatura 2010. Fórmula será simplemente: p 2. Democracia significa un modo de vida en el que la libertad y la justicia están presentes. p = Democracia significa un modo de vida en el que la libertad está presente q = Democracia significa un modo de vida en el que la justicia está presente Fórmula: p ∧ q 3. O está lloviendo y garuando, o está soplando el viento. p= Está lloviendo; q =Está garuando; r = Está soplando el viento Fórmula: (p ∧ q) r 4. Si Pablo se queda, entonces Luis se va. p= Pablo se queda; q= Luis se va Fórmula: p → q  5. Cientos de vidas podrían salvarse cada año si la gente utilizara el cinturón de seguridad. p = cientos de vidas pueden salvarse cada año; q= La gente utiliza el cinturón de seguridad Fórmula: q → p  6. No es el caso que, si la luna está hecha de queso verde, entonces los vehículos espaciales no pueden alunizar en ella.  Profesor: Ing. Dr. Nelson Quiñones Vásquez



 

 

p= La luna está hecha de queso verde; q= Los vehículos espaciales pueden alunizar en la luna Fórmula: ¬(p → ¬q)  7. Si los verdaderos amigos tienen todo en común, entonces tú no puedes ser más rico que tu compañero si dices que son verdaderos amigos. p= Los verdaderos amigos tienen todo en común q= Puedes ser más rico que tu compañero r= Dices que tú y tu compañero son verdaderos amigos. Fórmula: p → (r → q) 

8. pDos = 2es esun unnúmero númeroprimo primoporque sólo es divisible por sí mismo y por la unidad. q = 2 es divisible por sí mismo r = 2 es divisible por la unidad Fórmula: p ↔ (q ∧ r) 9. Decir que la suma de sucesiones positivas es una sucesión positiva y el producto de sucesiones positivas es una sucesión positiva equivale a decir que la suma y el producto de dos números reales positivos es un número real positivo. p = La suma de sucesiones positivas es una sucesión positiva q = El producto de sucesiones positivas es una sucesión positiva r = La suma de dos números reales positivos es un número real positivo s = El producto de dos números reales positivos es un número real positivo. Fórmula: (p ∧ q) ↔ (r ∧ s) 10. Si el Rh de la futura madre es negativo, debe analizarse inmediatamente después de cada parto la sangre del recién nacido y, si ésta es Rh positivo, ha de administrarse a la parturienta el suero apropiado si se desea evitar complicaciones a otros hijos. p = El Rh de la futura madre es negativo. q = La sangre del recién nacido debe analizarse inmediatamente después de cada parto r = La sangre del recién nacido es Rh positivo s = Ha de administrarse a la parturienta el suero apropiado. t = Se desea evitar complicaciones a otros hijos. Fórmula: (p → q) ∧ (r → (t → s))  1.3. Valoración de las Proposiciones Para determinar la valoración de las proposiciones moleculares, es necesario tener en cuenta las tablas de verdad. Considere los siguientes ejemplos: a) “Los virus son alternados no obstante son virulentos. Por tanto tienen una clasificación” Tenemos las proposiciones: p: “Los virus son alternados”  q: “Los virus son virulentos ”  r: “Tienen una clasificación”  Se formaliza por: (p  q)  r Luego: como se puede observar el esquema molecular tiene 3 proposiciones simples, es decir que para este caso se tiene: 2 = 8 asignaciones posibles para los valores de verdad en total. La tabla de verdad para el esquema molecular, está dada por: 3

 Profesor: Ing. Dr. Nelson Quiñones Vásquez

p q r

(p  q)



V V V V V F V F V

V V F

V F V

 

r V F V 5 

 

 

V F F F F

F V V F F

F V F V F

V V V V V 3

F F F F F 1

F V F V F 2

departamento; o; sin embargo se aprueba el b) Siempre que se apruebe el crédito entonces compraré el departament crédito. Por tanto compraré el departamento. Sean las proposiciones: p: “Se aprueba el crédito”  q: “Compraré el departamento”  Se formaliza por: [(p  q)  p]  q La tabla de verdad para el esquema molecular, está dada por:

p q [(p  q)



V V F F

V F F F 1

V F V F

V F V V

  p] V V V V



V V V V 3

q

 

V F V F 2

c) La crisis mundial afecta a los países de bajos recursos económicos pero los analistas en economía buscan soluciones, a pesar de que la crisis mundial no afecta a los países de bajos recursos. Tenemos las proposicio proposiciones: nes: p: “La crisis mundial afecta a los países de bajos recursos económicos ”  q: “Los analistas en economía buscan soluciones ”  p: “La crisis mundial no afecta a los países de bajos recursos p q p (p   q)   ” económicos Se formaliza por: (p  q)   p

La tabla de verdad para el esquema molecular, está dada por:

V V F F

V F V F

V F F F

F  F  F  F 

F F V V

Como podemos apreciar las proposiciones, las expresamos en forma simbólica; a su vez que podemos encontrar sus valores de verdad. Con el fin de diferenciar los valores resultados de las expresiones, se definen los siguientes conceptos:

A. Tautología: Una expresión es tautológica, cuando los valores de su conectivo principal resultan ser verdaderos, para todas las asignaciones posibles de la tabla de verdad. Ver ejemplo (b).   B. Contradicción: La expresión resulta ser una contradicción, cuando los valores de su conectivo principal resultan ser falsos, para expresión, todas las asignacion asignaciones posibles principal de la tabla de verdad. Ververdaderos ejemplo (c).y  falsos a la  Aquella que en suesconectivo resulten valores C. Contingencia: vez, para todas las posibles asignaciones de la tabla de verdad. Ver ejemplo (a).  Profesor: Ing. Dr. Nelson Quiñones Vásquez



 

 

ACTIVIDADES 1. Construye la tabla de verdad para cada una de los siguientes esquemas esquemas moleculares moleculares,, y determina si es: tautología, contradicción o contingencia. 1.     ( (  ) 2. (  )   ~(~  ~(~   ~)  ~)  3. (  )  (  ~ )   (  ) 4. (  )   ( 5. ~[~(  )   ~  ~ ]       6. [(    ) )   ~  ~ ]  (~    )  )  7. [(  )   (  (  ~ )]   (~  (~    ~)  ~)  8. [(    ) )   (  (  )]   [(  [(   )  )  (   )]  )]  9. ~ ~[( ~[(    ) )   (~  (~  )]  ~(~   )  )       (  (   )]  )]  [  (   )]  )]   [(  [(   )  )      ]  10.  [[

2. A continuación se presenta una serie de ejercicios ejercicios en la cual se especifica lo siguiente: 1. Si p es una proposición falsa, det determinar erminar el valor de verdad de: {(   ~)  ~)  [   (~  (~  )]}   (  (  )  2. Si ~[(   ~  ~ )   ~  ~ (   ~)]   ~)] ⟶ ~(  )  es Falsa. Dete Determine rmine los valo valores res de verdad de de::    c)    ~  ~  d) (  ~)       a)       b)      (~   ))  ))   ~(  ~(   ~)]  ~)] es verdadera. Determine los valores de verdad de: 3. Si [~(   (~ a) (   )  )   (  (  )  b)        c)    ~  ~  4. Determinar el valor de verdad de la proposición molecular [(    ) )     ]]    ( (   )  )  sabiendo que p es verdadera, q y r falsas. Hallar su valor de verdad.  (    )  )  es falsa, deduzca el valor de verdad de los esquemas 5. Si la proposición (    ))   ( moleculares: a) (    ))      b) (   )  )   [(  [(   )  )   ] ]   c) (     ) )    [( [(    )  )  ] 

6. Si p y r son dos proposiciones cualesquiera y q: “2 es número impar”, y [(    ) )    ( (   )]  )]  es verdadera entonces determine el valor de v verdad erdad de los siguientes esquemas  [( moleculares:: a)     ((     ))  b) [   ( moleculares  (  )]   (  (   ) )  

ACTIVIDADES DE EV ACTIVIDADES EVALUAC ALUACIÓN IÓN 1. Escribe en forma simbólica, identificando cada una de las proposiciones atómicas atómicas que aparezca en las afirmaciones siguientes: 1. Esta fiesta es muy divertida y la música es muy buena, por lo cual y según lo cual todos la pasaron de maravilla. 2. Me gusta bailar y leer libros de ciencia ficción, más aún si la música es merengue a no ser que no baile. 3. Si no estoy equivocado, ella conducía un carro rojo, y había un hombre sentado a su lado. 4. Dos niños tienen los mismos apellidos si y sólo si tienen la misma madre y el mismo padre. 5. O Hugo tiene razón, o María y Carlos son o ambos culpables o ambos son inocentes 6. Si se ganan las elecciones y nuestros representantes acceden al poder, confiaremos en ellos si y sólo el poder no les corrompe. 7. si El cumplen abogado abogadosus no promesas es ju justo sto niycompetente, a condic condición ión de que es falso que no haya con consultado sultado co con n los peritos sobre la cotización del inmueble embargado.  Profesor: Ing. Dr. Nelson Quiñones Vásquez



 

 

8. Es inobjetable que, una condición suficiente para que los países europeos tengan baja inflación por lo tanto estabilidad económica, es que sus gobiernos tienen programas estratégicos de crecimiento así como modelos económicos económicos.. 9. Subirán los intereses intereses bancarios bancarios porque subirá la cotización d del el dólar, en vista de que, subirá la cotización del dólar sólo si el gobierno no puede controlar la inflación. 10. Los candidatos mient mienten en en sus promesas y el pueblo les cree pero si hablaran la verdad el pueblo no les creería, es por eso que el Perú está como país subdesarrollado.

2. Construye la tabla de verdad para cada una de los siguientes esquemas esquemas moleculares, y determina si es: tautología, contradicción o contingencia.  1. [~(  )   ~]  ~]    {[ (~  )   ~]  ~]  }  2. [  (  )]   ~  ~ [(   )  )  (   )]  )]  3. [~(  )   ~]  ~]   [(  [(   ~)  ~)    ( (   ~)]  ~)]  4. {   [  [    ( (  ~)]}   (  (   ~)  ~)   (  )]  )]  5. [~  (~  )]   [(  )   ( 6. {[(  ) ]  (  )}       7. [(    ))  (~    ))]  [(  ~)   (~  (~  ~)].  8. 3.

A continuación continuación se presenta una serie de ejercicios en la cual se especifica lo siguiente:

Si la proposición: [(p  q) r  r]]  (s  q), es falsa. Determine los los valores de verdad verdad de “p”, “p”, “q”, “r” y “s” 

proposición s es verdadera. verdadera. ¿Cuáles de las siguientes siguientes 4. Si la proposición: p   (q   r) es falsa y la proposición proposiciones son verdaderas?   (   )  II)     ( I) (    )  III) (   ))      IV) (    )  )      5. Si el esquema molecular: [ (    )   (  )]   ( )  es verdadero, determine los valores de verdad de: a)        b)        c)    ~  ~ 

 Profesor: Ing. Dr. Nelson Quiñones Vásquez



View more...

Comments

Copyright ©2017 KUPDF Inc.
SUPPORT KUPDF