Universidad de Concepcin o

Facultad de Ingenier a
Departamento de Ing. Informtica y Cs. de la Computac a on

Solucin Tarea 1 Lgica o o

Profesora: Mar Anglica Pinningho Junemann a e Ayudante: Hans Villagrn Vidal (hvillagran@udec.cl) a 1. Formalice las siguientes sentencias usando proposiciones. (Para esta pregunta se muestra una forma de resolver el ejercicio) a) Los autos paran siempre que el semforo est en rojo. a e Solucin: o p: los autos paran q: el semforo est en rojo a a qp b) Para obtener una beca es necesario tener un buen promedio en la carrera. Solucin: o p: obtengo una beca q: tengo un buen promedio en la carrera qp c) Es sufuciente que vacune a mi hijo para que no contraiga el sarampin. o Solucin: o p: vacuno a mi hijo q: l contrae el sarampin e o p q d ) Perseverando en tus decisiones y no cediendo al desaliento frente a los obstculos, comproa bars cmo el xito te sonr a o e e. Solucin: o p: perseveras en tus decisiones q: cedes al desaliento frente a los obstculos a r: compruebas como el xito te sonr e e (p ^ q q r e) La persona humana tiene creencias sobre multitud de cosas, pero tal multitud no forma un caos, sino que est organizada psicolgicamente. a o Solucin: o p: la persona humana tiene creencias sobre multitud de cosas q: la multitud de cosas forma un caos r: la multitud est organizada psicolgicamente a o p^ q^r

f ) O la televisin modica sus esquemas y renueva su programacin o se producir una huida o o a masiva de telespectadores y veremos las calles inundadas de gente. Solucin: o p: la televisin modica sus esquemas o q: la televisin renueva su programacin o o r: los telespectadores huyen masivamente s: las calles estarn inundadas de gente a Solucin 1: (p ^ q q Y pr ^ sq o Solucin 2: (p ^ q q _ pr ^ sq o g) Si se ganan las elecciones y nuestros representantes acceden al poder, conaremos en ellos si y slo si cumplen sus promesas y el poder no les corrompe. o Solucin: o p: se ganan las elecciones q: los representantes acceden al poder r: nosotros conamos en los representantes s: los representantes cumplen sus promesas t: el poder corrompe a los representantes (p ^ q q pr ps ^ tq 2. Dadas las siguientes proposiciones, traduzca las siguientes frmulas al lenguaje natural (espaol) de o n forma apropiada. (Para esta pregunta se muestran dos formas de resolver el ejercicio) a) p: t eres inteligente u q: actas con prudencia u r: eres un ignorante en la materia pp ^ q q r Solucin: o Si t eres inteligente y no actas con prudencia, eres un ignorante en la materia. u u Eres un ignorante en la materia si eres inteligente y no actas con prudencia. u b) a: hoy es mircoles e b: tengo que dar un examen c: yo he estudiado d: saldr mal en el examen e pa ^ bq ^ pc dq Solucin: o Hoy es mircoles y tengo que dar un examen y si he estudiado, no saldr mal en el examen e e Hoy es mircoles y tengo que dar un examen y para que no salga mal en l es necesario e e que haya estudiado.

c) p: las estrellas emiten luz q: los planetas reejan la luz r: los planetas giran alrededor de las estrellas q pp ^ rq Solucin: o Los planetas reejan la luz si y solo si las estrellas emiten luz y los planetas giran sobre ellas Que las estrellas emitan luz y los planetas giren sobre ellas es necesario y suciente para que los planetas reejen la luz d ) l: el Hombre Lobo es un invento m: Pap Noel es un invento a n: los nios son engaados n n l ^ p m nq Solucin: o El Hombre Lobo es un invento y si Pap tambin lo es, los nios son engaados. a e n n El Hombre Lobo es un invento y los nios son engaados si Pap Noel tambin lo es. n n a e e) p: Luis reprobar lgica a o q: Luis deja de hablar con su compaera n r: su compaera lo ignora n pq _ r q p Solucin: o Si Luis no deja de hablar con su compaera y ella no lo ignora, Luis reprobar lgica. n a o Luis reprobar lgica si no deja de hablar con su compaera y ella no lo ignora a o n 3. Determine el valor de verdad de las siguientes frmulas, diciendo si son tautolog contingencias o as, o contradicciones, usando tablas de verdad. a)

rpp _ qq ^ rs pp ^ qq
Solucin: o p V V V V F F F F q V V F F V V F F r V F V F V F V F p_q V V V V V V F F

pp _ qq ^ r pp ^ qq rpp _ qq ^ rs pp ^ qq
V F V F V F F F F F V V F F F F F V V V F V V V

Por lo tanto, la frmula es una CONTINGENCIA. o

b) pp ^ q q pp _ rq Solucin: o p V V V V F F F F c) rp pq _ rqs ^ Solucin: o p V V V V F F F F q V V F F V V F F r V F V F V F V F q V V F F V V F F r V F V F V F V F p^q V V F F F F F F ps r^q V F F F V F F F p F F F F V V V V p_r V V V V V V F F

pp ^ qq pp _ rq
V V V V V V V V

Por lo tanto, la frmula es una TAUTOLOGIA. o

rpr ^ qq
q_r V V V F V V V F

rp pq _ rqs ^ rpr ^ qq
V F F F F F F F

p pq _ rq V V V F V V V V

pr ^ q q
F V V V V V V V

rpr ^ qq
V F F F F F F F

ps

ps

Por lo tanto, la frmula es una CONTINGENCIA. o

d)

rpp ^ qq ps Solucin: o
p V V F F q V F V F p^q V F F F

pp ^ q q p
V V V V

lnotrpp ^ q q ps F F F F

Por lo tanto, la frmula es una CONTRADICCION. o e)

p p ^ qq p q _ rq
Solucin: o p V V V V F F F F q V V F F V V F F r V F V F V F V F p^q F F F F V V F F q_r V F V V V F V V

p p ^ qq p q _ rq
F V F F V F F F

Por lo tanto, la frmula es una CONTINGENCIA. o

4. Determine la validez de los siguientes enunciados, traducindolos al clculo proposcional y utilizane a do tablas de verdad. (Se muestran dos formas de hacer el ejercicio, la primera consiste en observar cuando las premisas son verdaderas, entonces la conclusin es verdadera o (determinar consecuencia lgica); y la segunda consiste en determinar si la conjuno cin de los argumentos implican la conclusin) o o a) Si el presidente entiende las protestas de la gente entonces si quiere ser reelegido cambiar su a pol tica. El presidente quiere ser reelegido. Luego, si el presidente entiende las protestas de la gente, entonces cambiar su poltica. a Solucin: o p: el presidente entiende las protestas de la gente q: el presidente quiere ser reelegido r: el presidente cambia su postura Argumentos: A1 : p pq rq A2 : q C :pr Forma 1: Consecuencia Lgica o p V V V V F F F F q V V F F V V F F r V F V F V F V F q

r
V F V V V F V V

p pq rq V F V V V V V V

pr V F V F V V V V

Forma 2: Implicacin o p V V V V F F F F q V V F F V V F F r V F V F V F V F q

r
V F V V V F V V

p pq rq V F V V V V V V

pr V F V F V V V V

pp pq rqq ^ q ppp pq rqq ^ qq pp rq

V F F F V V F F V V V V V V V V

De la forma 1 vemos que en tres ocasiones los argumentos son verdaderos, por lo que podemos determinar que la conclusin es verdadera. o De la forma 2 demostramos que ppp pq rq ^ q q pp rq es una tautolog a. Por lo cual, el razonamiento es correcto.

b) Si existe un dcimo planeta, su rbita es perpendicular a la de los otros planetas. Un dcimo e o e planeta es responsable de la muerte de los dinosaurios, o su rbita no es perpendicular a la o de los otros planetas. Un dcimo planeta no es responsable de la muerte de los dinosaurios. e Por lo tanto, no existe un dcimo planeta. e Solucin: o p: existe un dcimo planeta e q: la rbita del dcimo planeta es perpendicular a los otros o e r: el dcimo planeta es responsable de la muerte de los dinosaurios e Argumentos: A1 : p q A2 : r _ q A3 : r C : p Forma 1: Consecuencia Lgica o p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F V V V V r_ q V F V V V F V V r F V F V F V F V p F F F F V V V V

Forma 2: Implicacin o p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F V V V V r_ q V F V V V F V V r F V F V F V F V p F F F F V V V V

pp qq ^ pr _ qq ^
F F F F F F F V

ppp qq ^ pr _ qq ^ rq
V V V V V V V V

De la forma 1 vemos que en una ocasin los argumentos son verdaderos, por lo que podemos o determinar que la conclusin es verdadera. o De la forma 2 demostramos que ppp q q ^ pr _ q q ^ rq p es una tautolog a. Por lo cual, el razonamiento es correcto.

c) O jugamos todos o rompemos la baraja. Si rompemos la baraja nos aburriremos sin remedio o tendremos que comprar otra. Ustedes se niegan a que juguemos todos. Luego compramos una baraja nueva o nos aburriremos sin remedio. Solucin 1: o p: jugamos todos q: rompemos la baraja r: nos aburrimos sin remedio s: compramos otra baraja Argumentos: A1 : p _ q A2 : q pr _ sq A3 : p C :s_r Forma 1: Consecuencia Lgica o p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F p_q V V V V V V V V V V V V F F F F r_s V V V F V V V F V V V F V V V F q

pr _ sq
V V V F V V V V V V V F V V V V

p F F F F F F F F V V V V V V V V

Forma 2: Implicacin o p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F p_q V V V V V V V V V V V V F F F F r_s V V V F V V V F V V V F V V V F q

pr _ sq
V V V F V V V V V V V F V V V V

p F F F F F F F F V V V V V V V V

pp _ qq ^ pq pr _ sqq ^
F F F F F F F F V V V F F F F F

ppp _ qq ^ pq pr _ sqq ^ pq ps _ rq
V V V V V V V V V V V V V V V V De la forma 1 vemos que en tres ocasiones los argumentos son verdaderos, por lo que podemos determinar que la conclusin es verdadera. o De la forma 2 demostramos que ppp _ q q ^ pq pr _ sqq ^ pq ps _ rq es una tautolog a. Por lo cual, el razonamiento es correcto.

Solucin 2: o p: jugamos todos q: rompemos la baraja r: nos aburrimos sin remedio s: compramos otra baraja Argumentos: A1 : p Y q A2 : q pr Y sq A3 : p C :sYr Forma 1: Consecuencia Lgica o p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F pYq F F F F V V V V V V V V F F F F rYs F V V F F V V F F V V F F V V F q

pr Y sq
F V V F V V V V F V V F V V V V

p F F F F F F F F V V V V V V V V

10

Forma 2: Implicacin o p V V V V V V V F F F F F F F F q V V V F F F F V V V V F F F F r V F F V V F F V V F F V V F F s F V F V F V F V F V F V F V F pYq F F F V V V V V V V V F F F F rYs V V F F V V F F V V F F V V F q

pr Y sq
V V F V V V V F V V F V V V V

p F F F F F F F V V V V V V V V

pp Y qq ^ pq pr Y sqq ^
F F F F F F F F F V V F F F F

ppp Y qq ^ pq pr Y sqq ^ pq ps Y rq
V V V V V V V V V V V V V V V V De la forma 1 vemos que en dos ocasiones los argumentos son verdaderos, por lo que podemos determinar que la conclusin es verdadera. o De la forma 2 demostramos que ppp Y q q ^ pq pr Y sqq ^ pq ps Y rq es una tautolog a. Por lo cual, el razonamiento es correcto.

11