Logica

"El verdadero viaje de descu brimien to n o con siste en bu scar n u evos territorios, sin o en ten er n u evos ojos." - M Marcel ar cel Prou Pr ou st -

2. LÓGICA Y LENGUAJE: PROPOSICIONES PROPOSICIONES Y CONECTIVOS LOGICOS 2.1. Proposiciones simples En la lógica simbólica, cada uno de los conceptos se define de manera manera estricta; no debe quedar lugar a dudas o imprecisiones imprecisiones en su significado. Nada se da por supuesto. Por ejemplo, en el lenguaje ordinario un enunciado u oración se puede definir como “una palabra o un grupo de palabras, que declara, pregunta, ordena, solicita o exclama algo; unidad convencional del habla o escritura coherente, que normalmente tiene un sujeto y un predicado, que empieza con mayúscula y termina con un punto”. Sin embargo en la lógica simbólica una oración tiene un significado mucho más limitado y se llama

proposición.

En el capítulo anterior establecimos que una proposición era un enunciado para el cual hay un criterio que permite establecer de manera única y no ambigua si es verdadero o falso. En otras palabras, una  proposición es un enunciado al cual se le puede asociar uno de los los conceptos “verdadero” o “falso”, pero no ambos. Las características esenciales esenciales en esta definición las podemos expresar expresar con estos dos principios:  

proposición es o verdadera o falsa. Principio del tercero excluido: excluido: Cada proposición proposición es a la vez verdadera verdadera y falsa. Principio de no contradicción : Ninguna proposición

Si el enunciado es una pregunta o una orden , si es demasiado imprecisa imprecisa o si carece de sentido, no se podrá clasificar como verdadera verdadera o falsa y por tanto no se llamaría proposición.

Tomando en cuenta la definición dada , rellena la siguiente tabla: Enunciado

¿Es proposición?

3+6 = 7 No me dejes con este dolor La luna es cuadrada ¿Llegaste a tiempo? Evelyn cursa el octavo semestre de Psicología Hoy es viernes Prohibido prohibir La materia es un estado transitorio de energía Esta frase es falsa

2.2. Conectivos Lógicos y Proposiciones Proposiciones compuestas: En el lenguaje corriente se pueden enlazar proposiciones simples para formar otras más complejas. Para traducir del lenguaje común al simbólico, se establece establece una especie de “taquigrafía notacional”.

Lógica FBMM02- Escuela de Matemática- UNIMET

11

En esta “taquigrafía”, se denotan las proposiciones simples simples con letras minúsculas tales como p,q,r,s,,.... y luego se definen ciertos conectivos. Conectando varias proposiciones proposiciones simples, se obtienen obtienen las llamadas  proposiciones

compuestas

Veamos un ejemplo: Si decimos “Hoy es un día tormentoso y hace calor”, calor”, podemos descomponer este enunciado en dos proposiciones simples, de la siguiente manera: p: Hoy es un día tormentoso q: Hoy Hoy hace calor Al conectarlas con la conjunción “y” estamos formando formando una nueva proposición. En lógica, esta conjunción también tiene un símbolo y es : La simbolización simbolización de la proposición proposición inicial sería entonces: p q forma enlazando proposiciones simples con con conectivos. conectivos. Una  proposición compuesta se forma Los conectivos que abordaremos abordaremos inicialmente en este curso serán:

conectivo nombre y o no Si...entonces

conjunción disyunción negación condicional

símbolo

~ →

Ya sabemos que el valor de certeza de una proposición proposición simple puede ser verdadero (V) o falso (F). El valor de certeza de una proposición compuesta dependerá de los valores valores de certeza de las proposiciones simples que la componen y lo veremos a continuación.

2.3. Tablas de certeza o tablas de verdad para los conectivos lógicos Tabla de verdad para la negación: Dada la proposición p consideremos consideremos los posibilidades para la validación de la proposición ~ p Si p es verdadera, su negación será falsa y si p es falsa, su negación será verdadera. Esto lo podemos resumir con la siguiente tabla:

p V F

~p F V

Ej: Si p es “Nos atacan desde el país vecino” La negación de p será:” No nos atacan desde el país vecino” y se simbolizará por ~ p Ej: Si r es “Hoy es martes ” La negación de r será: “Hoy no es martes” martes” y se simbolizará por ~ r En este ejemplo ¿Pudiésemos también negar r con la proposición proposición “Hoy es jueves jueves ”?

Tabla de verdad para la conjunción: Dadas las proposiciones p , q , consideremos los posibilidades posibilidades para la validación validación de la proposición compuesta p q: Opción 1: p verdadera q verdadera Opción 2: p verdadera q falsa Lógica FBMM02- Escuela de Matemática- UNIMET

12

Opción 3: p falsa q verdadera Opción 4: p falsa q falsa

p q

Estas opciones las podemos esquematizar en una tabla como se muestra a continuación: continuación:

p q Para obtener los valores valores de certeza de la conjunción p q, completaríamos la tabla anterior de la la siguiente manera:

F F

V V F F

V F V F

p q

V V V F V F F F

V F

Esta tabla tabla se llama “Tabla de verdad o tabla de certeza” para la conjunción de dos

proposiciones

La conjunción de dos proposiciones p, q es otra proposición proposición denotada denotada por p q, la cual es cierta, si y sólo si p y q son ciertas. Al cálculo proposicional de la lógica simbólica no le interesa el contenido específico de las proposiciones, sino la veracidad o no de las proposiciones, en función de la veracidad o no de las proposiciones que la conforman. La fuerza de la lógica proposicional radica en que no se deja ning ún significado al azar o a la interpretación individual. Sin embargo, para definir los valores d e certeza correspondientes a las proposiciones compue stas y los conectiv os , trataremos de ajustarnos al uso común. Se toman toman como “sinónimos” de la conjunción: conjunción:  Además  Pero  Sin embargo  Aunque  También  Aún  A la vez  No obstante

Ejercicio:

Construye al menos cinco proposiciones en castellano castellano equivalentes a cada cada una de las que se dan a continuación: a. Pedro canta además de bailar b. Estoy satisfecha por tu actuación , pero no totalmente feliz c. Aunque quieras ir, no lo harás d. Estudio a la vez que oigo música


13

Tabla de verdad verdad para la disyunción: Dadas las proposiciones proposiciones p , q , consideremos consideremos los posibilidades posibilidades para la veracidad de la proposición compuesta p q:

Para obtener los los valores de certeza certeza de la la disyunción p manera: p

q

V V F F

V F V F

p

q, completaríamos la tabla de la siguiente

q

V V V F

La disyunción de dos proposiciones será falsa, sólo en el caso en que ambas proposiciones sean sean falsas.

Tabla de verdad verdad para el condicional: Dadas las proposiciones p , q , se denota por p q y se lee “si p entonces q”, al condicional de dos proposiciones A p se le da el nombre de antecedente y q es el consecuente. También se dice que p es condición suficiente para (que ocurra) q o que q es condición necesaria para p. Para obtener los los valores de certeza del condicional condicional p como una “promesa”.

q, conviene pensar en el condicional condicional

Dada la siguiente proposición :“Si apruebas el semestre con índice mayor a 4.5 entonces te regalaré un I-pod ” Podemos establecer que p es : apruebas el semestre con índice mayor a 4.5 y q: te regalaré un I-pod; observamos que la “promesa “ no se cumple en el caso en que apruebes el semestre con un índice mayor a 4.5 y no te regale el i-pod ; es decir p verdadero y q falso. Sólo en este caso , el enunciado ” Si apruebas el semestre con índice mayor a 4.5 entonces te promesa!) regalaré un I-pod ”es falso ( ¡no se cumplió la promesa!) La tabla de verdad del condicional viene dada por:

p

q p

V V F F

V F V F

q V F V

V

Así pues, podemos definir definir el condicional como otra otra proposición proposición que sólo será falsa cuando el antecedente sea verdadero verdadero y el consecuente consecuente falso.  Lo

que sigue, es IMPORTANTE IMPORTANTE para la la simbolización. simbolización.

Muchas veces nos encontraremos encontraremos con proposiciones condicionales, que están redactadas redactadas o enunciadas de manera que no aparece primero primero el “si” del condicional. Lo importante es detectar detectar cual es la consecuencia. Veamos un ejemplo:


14

Dado el condicional “Si gano la lotería entonces te regalaré 10.000 10.000 dólares”, lo podríamos podríamos enunciar también como:         

Que gane la lotería , implica implica que te regalaré 10.000 dólares (p implica q ) Te daré 10.000 dólares si gano la lotería. (q si p) Para darte 10.000 dólares es suficiente que gane la lotería. (p es suficiente para q) Es necesario haberte regalado 10000 dólares para que me haya ganado la lotería (q es necesario para p) Te daré 10.000 dólares cuando gane la lotería (q cuando p) Te daré 10.000 dólares siempre que gane la lotería (q siempre que p) Me habré ganado la lotería sólo si te regalo 10000 dólares (p sólo si q) Te regalé 10000 dólares porque me gané la lotería (q porque porque p) Te daré 10.000 dólares a menos que no gane la lotería. (q a menos que no p)

(En todos los casos tenemos tenemos p: “gano la lotería” y q: “ te regalo 10.000 dólares”)

Ejercicio: Encuentra al menos cinco expresiones equivalentes en castellano para los siguientes condicionales: a. Si como mucho pan , engordo b. Si no estudio al menos 5 horas diarias , no lograré aprobar este curso. c. Si abres la boca, tendrás problemas d. Soy feliz cuando canto e. A menos que me paguen, no podré comprar las entradas entradas del Show de Olga Tañón

2.4. Tautologías y Contradicciones Contradicciones Definimos tautología a una proposición compuesta que es siempre verdadera verdadera , cualesquiera que sean los valores de verdad de las proposiciones que la conforman. conforman. (La tabla de verdad de u n a tau tología con tien e exclu sivamen te el valor V ). V ). Por convención convención denotaremos una tautología como V 0. Definimos contradicción a una proposición proposición compuesta que es siempre falsa, cualesquiera que sean los valores de verdad de las proposiciones que la conforman. conforman. ( La L a tabla de verdad de u n a ). con tradicción con tien e exclu sivamen te el valor F Por convención convención denotaremos una contradicción como como F0.

Ejercicios : 1. Tomando en cuenta las definiciones anteriores , decide cuáles de las siguientes proposiciones compuestas son tautologías, cuales contradicciones y cuales proposiciones cualesquiera. a) p ∨ ∼q b) q ∨ ∼q c) ∼(r ∨ q) d) (p ∧∼p) e) ∼(p∧q ) ∨ ∼q f) ∼[(~p ∧∼q) ∧ p ]. g) ∼[(p ∧∼q) ∧ ∼ p ]. h) p→ p Lógica FBMM02- Escuela de Matemática- UNIMET

15

2. 2.5. Proposiciones equivalentes Definiremos como como proposiciones equivalentes a aquellas que tienen la misma misma tabla de verdad. A continuación continuación daremos una serie de proposiciones proposiciones equivalentes que además tienen un nombre que las particulariza e identifica. (Más adelante las utilizaremos para validar argumentos). Se deja como ejercicio comprobar la equivalencia de las mismas; para ello, hay que elaborar sus tablas de verdad y verificar que éstas son idénticas.

Proposición Equivalente a p p ~ ~p p p

p∧p p∨p p p ∧ V 0 p ∨ F0 F0 p ∧ ~p V 0 p ∨ ~p p∧q q ∧ p p∨q q ∨ p (p ∧ q) ∧ r p ∧ ( q ∧ r) (p ∨ q) ∨ r p ∨ ( q ∨ r) p ∧ ( q ∨ r) (p ∧ q) ∨ (p ∧ r) p ∨ ( q ∧ r) (p ∨ q) ∧ (p ∨ r) ~ (p ∧ q) ~p ∨ ~q ~ (p ∨ q) ~p ∧ ~q

Nombre de la equivalencia Idempotencia de la conjunción Idempotencia de la disyunción Ley de la doble negación Ley del neutro para la conjunción Ley del neutro para la disyunción Ley de la contradicción Ley de la tautología Ley conmutativa para la conjunción Ley conmutativa para la disyunción Ley asociativa para la conjunción Ley asociativa para la disyunción Ley distributiva del ∧ respecto al ∨ Ley distributiva del ∨ respecto al ∧ Ley de De Morgan (negación de una conjunción) Ley de De Morgan (negación de una disyunción)

Como ejercicio, pueden probar (verificando a través de las tablas de verdad) que en efecto estas proposiciones son equivalentes.

2.6. Formas derivadas de un condicional. Existen otras proposiciones proposiciones condicionales condicionales relacionadas con con el condicional p  q que definimos definimos a continuación : Dado el condicional p  q , se definen: El recíproco de p  q

q  p

El inverso o contrario de p  q

~p  ~q

El contrarrecíproco de p  q

~q  ~p

Ejemplo: Dado el condicional “Si quebrantamos la ley, ley, entonces vamos a la cárcel “, veamos cuales serían las formas derivadas: El recíproco (q  p) : Si vamos a la cárcel, cárcel, entonces quebrantamos quebrantamos la ley Lógica FBMM02- Escuela de Matemática- UNIMET

16

El inverso o contrario ( ~p  ~q) : Si no quebrantamos la ley, entonces entonces no vamos a la cárcel El contrarrecíproco : ~q  ~p : Si no vamos a la cárcel, entonces no quebrantamos la ley

p q

~p

q



~q



~q

p



~p

En las flechas flechas horizontales cada proposición es recíproca de la otra. En las verticales, verticales, cada proposición proposición es contraria (inversa) (inversa) de la otra y en la diagonales, cada proposición proposición es contrarrecíproca de la otra. otra. Construyamos la tabla de verdad para estas formas derivadas: derivadas:

Directo p V V F F

q V F V F

pq

F

Recíproco q  p

V V V V

Contrario ~p  ~q

V

Contrarrecíproco ~q  ~p

V V

F V

V F

F V

V V

Observando esta tabla, trate de obtener alguna conclusión (referida a equivalencia de proposiciones)

2.7. Formas Formas equivalentes equivalentes del condicional y de la negación del condicional A continuación se propone una actividad actividad que será de utilidad (eso esperamos ☺ ) para establecer las equivalencias del condicional y de su negación. Actividad 1: a. En la tabla siguiente se dan una serie de proposiciones proposiciones en la columna izquierda que vamos a asumir verdaderas.En la columna derecha derecha de la tabla, complete con otra proposición proposición en castellano, de manera que la proposición proposición dada sea falsa.

Proposición

Es falso si…..

Si como muchos carbohidratos, engordo Cuando me gane la lotería, te regalaré el viaje a los Roques Iré a la playa cuando escampe Es suficiente que tengas tengas más de 18 años para que puedas votar Cuando medito, logro la paz interior No seguiré las órdenes si van en contra de mis principios Si inscribes más de 24 créditos, tendrás dificultades con los horarios b. Ahora observe la “estructura “ de las proposiciones proposiciones en ambas columnas. ¿Pudiera elaborar una conjetura? Lógica FBMM02- Escuela de Matemática- UNIMET

17

c.

Para conseguir esta conjetura ha razonado en forma __________________

d.

¿Cree que puede verificar su conjetura?

e.

Explique y escriba todo el proceso que ha seguido.

Actividad 2: Escriba como condicionales condicionales (siempre que sea posible) las siguientes disyunciones. disyunciones. 1. Apagas la TV o no podremos conversar 2. Arreglas tu cuarto o no habrá paseo 3. Comes todos los días ensalada o no crecerás 4. Haces los 30 ejercicios sugeridos o no aprobarás a.

¿Pudiera elaborar una conjetura?

b.

Para conseguir esta conjetura ha razonado razonado en forma _______________

c.

¿Cree que puede verificar su conjetura?

d.

Explique y escriba todo el proceso que ha seguido.

Una vez verificado y discutido en clase el resultado resultado de estas dos actividades, complete complete en la tabla de equivalencia de la página 16, las dos filas en blanco.


18

Ejercicios varios: 1.

Decide si cada una de los enunciados siguientes es o no una proposición. a.

EL 12 de octubre de 1949 fue miércoles.

b. Tenga un feliz día. c.

Levántese y pase a que lo cuenten.

d.

8+15=23.

e.

No todos los números son positivos.

f.

Desde 1950, más personas han muerto en accidentes automovilísticos que de cáncer.

g. Ve y búscale una silla. h.

Iván cumple años en abril.

i.

¡Qué felicidad!

j.

¿Te gusta la comida árabe?

2. Representa con p a la proposición “ Ella tiene ojos azules ” y con q a “ El tiene 43 años de edad” Traduce al lenguaje común las siguientes siguientes proposiciones proposiciones compuestas: a.- p ∧ ~ q

b.-

c.- ~ p ∧ ~ q

~ p ∨ ~ q

d.- ~ (p ∧ q)

e.- ~ (p ∨ ~ q)

3. Simbolizar las proposiciones compuestas que se dan a continuación: a. b. c. d. e. f. g.

Ana estudia o trabaja Eduardo y Carlos prometen mucho Ni María ni Elena cumplirán su promesa No es cierto que trabajé No es cierto que no trabajé No sucede que no sea cierto que no trabajé Eduardo y Carlos prometen mucho, pero ni Eduardo ni Carlos cumplirán h. Eduardo y Carlos prometen mucho y Eduardo no cumplirá pero Carlos si lo hará. i. Ana estudia, además trabaja, se divierte y está contenta j. Ana estudia y trabaja, además se divierte y está contenta

4. Decidir en cuales casos son falsas las proposiciones anteriores. 5. Construye en castellano argumentos que tengan las siguientes estructuras. Premisa 1: p →q Premisa 2: p ∧ ∼ r Conclusión : q ∧ ∼ r

Premisa 1: p →∼ q Premisa 2: p ∧ r Conclusión : ∼ q ∧ r

Premisa 1: ∼ p →( q ∧ r ) Premisa 2: ∼ q ∨ ∼ r Conclusión : p


Premisa 1: p → q Premisa 2: q → ∼ r Conclusión : p→∼ r

19

siguientes argumentos se pide: 6. Para los siguientes Identificar las premisas y la conclusión conclusión Simbolizar cada una de las premisas y la conclusión

a . Para q u e valga la pen a tomar el cu rso de Lógica, es su ficien te q u e el p rrofesor ofesor sea capaz. S i las calificacion es son ju stas en ton ces n o vale la p en a tomar el cu rso de lógica. Pero resu lta q u e las cal ificacion es son ju stas y por tan to, el profesor n o es capaz.

b . Ju an toma el au tobú s o el tren . Si él toma el au tobú s o man eja su propio au to, en ton ces llega tarde y falta a la primera sesión . No llegó tarde. En con secu en cia, n o tomó el tren .

c . La Vin o-tin to n o estará en la fin al porq u e Leopoldo Jimén ez n o es u n ju gador estrella. Violeta ama a la Vin o-tin to o Leopoldo Jimén ez es u n JJuu gador estrella. Violeta no no ama ama a la Vin o-tin to. to. Por lo tan to, t o, la Vin o-T o-T in to n o estará en las finales.

d . Si presto aten ción al profesor de lógica, me abu rro. Si n o lo hago, me aplaz a . De modo q u e, me abu rro o me aplaza.

e . Lu is ama a Rosa o de lo con tr ario n o la hu bier a perdon ado n u n ca. No es el caso q u e Lu is ame a la vez a An a y a Rosa. Por tan to, si Lu is ha per don ado a Rosa, n o ama a An a.

f.

Si la gu er ra es in min en te, en ton ces el e jército ha sido movilizado. Si el ejército ha sido movilizado, en ton ces el en emigo atacará. La g u erra es in min en te y n o obst an te, el en emigo n o atacará. Por con sigu ien te, si la gu erra es in min en ttee y el en emigo n o atacará, n osot ros somos los agresores. verdad para las siguientes proposiciones. Se presenta un ejemplo 7. Escribe la tabla de verdad resuelto: La tabla de verdad de ( p  q)  [ ( p ∨ q) p

q

V F

V V

F

F

V

( p  q) V F V

q] es:



( p ∨ q) V F V F

( p ∨ q) V V

( p p

q



q)

[ ( p p q) V

F V V

V V

V V

Hacer lo mismo para las siguientes proposiciones. a.

p  ( ~ p p)

b.

(p ∧ q) ∧ [ p ( ~q)]

c.

(p  p) [ q ( ~q)]

d.

~ p [ ~ (p ∧ q )]

e.

[(p  q)  r ]  [(p  q) r ]

f.

(p ∨ q) [p ∨ (~ p ∧ q)]


q]

20

8. Junto a cada proposición escrita a continuación, se puso el nombre del conectivo dominante. Añade los paréntesis necesarios. a. b. c. d. e. f. g. h. i. j. k. l. m.

Conjunción: r ∧ pq Disyunción: r ∨ q t Condicional: p r ∨ q Condicional: p ∧ q  t Disyunción: q  r ∨ ~s Negación: ~ p r Condicional: r ∧ p  q Condicional: r ∨ q  t Disyunción: p  r ∨ q Conjunción: p ∧ q  t Negación de una disyunción disyunción : ~ s r ∨ ~p Negación de un condicional condicional : ~ s  r ∨ ~p Disyunción: ~p r ∨ ~s

9. ¿Qué valores de certeza deben asignarse a “p” y a “q” para que las siguientes proposiciones sean falsas? ¿Hay más de una posibilidad en cada caso? a. b. c. d. e.

p∨ ~q ~(p ∧ q) ~ ~p ~(p ∧ ~q) ~ p ~q

10. Sean: p: Sigo la dieta macrobiótica q:Hago Pilates r: Me siento en plena forma Se pide traducir al castellano: a. ~ p ∨ q b. p∨ ~ q c. ~ (p ∧ q) d. ~ p ∧ q e. ~ p ∨ ~q f. ~~ p g. ~ (~p ∨ ~q) h. ~ (p ∧~q) i. (~ p ∨~ q )→ ~r j. ~r → (~ p∨ ~ q) k. r → (p∧ q) l. (~ p ∧~ q )→ ~r m. ~ (p ∧q )→ ~r n. ~ (p ∨ q )→ ~r

11. Escribe la tabla de verdad de las proposiciones anteriores. Compáralas ¿Cuáles tienen la misma tabla de verdad? Indica las proposiciones proposiciones que niegan otras. Lógica FBMM02- Escuela de Matemática- UNIMET

21

12. Consideremos la proposición ( p ∨q ) ∧ (r ∨ p ), en donde: p: “estamos en buena situación situación económica” q: necesitamos un crédito” r: “tenemos el proyecto aprobado” a) Escribe en castellano la proposición compuesta dada b) Suponiendo que p sea falsa y q y r verdaderas, indica el valor de verdad de la proposición compuesta considerada. c) Indica al menos dos casos en que la proposición sea falsa. siguientes proposiciones proposiciones compuestas suponer: p verdadero, q y 13. Para cada una de las siguientes r falsas. Encuentra el valor de verdad verdad de : a. ( ~ p ∧q ) ∨ ( r ∧ ~ q ) b. ~ p ∧ ( q ∨ ~ r) c. (r∧p ) ∨ ( q ∧p) d. ( ~ p ∧p) ∨ p e. ~ r ∧ ( q ∨ ~ q ) f. ~r → (~ p∨ ~ q) g. r → (p∧ q) h. (~ p ∧~ q )→ ~r i. ~ (p ∧q )→ ~r j. ~ (p ∨ q )→ ~r

14. ¿ Cúantas filas tiene la tabla de verdad correspondiente a una proposición simple? 15. ¿ Cúantas filas tiene la tabla de verdad de una proposición compuesta con dos proposiciones simples?

16. .¿Cúantas filas tiene la tabla de verdad de una proposición compuesta con tres proposiciones simples?

17. ¿ Cúantas filas tiene la tabla de verdad de una proposición compuesta con cuatro proposiciones simples?

18. ¿Cúantas filas tiene la tabla de verdad de una proposición compuesta con n proposiciones simples?n¿Qué tipo de razonamiento estás usando para responder esta pregunta?

19. Traduce los siguientes enunciados a la forma “si- entonces” ( en castellano) y luego a la forma simbólica. Asegúrate

de indicar los literales que utilices para cada

proposición simple. 

Ejemplo:

Tendrás éxito si aprecias la opinión de los demás.

p: Aprecias Apr ecias la opin ión de los demás q :T en drás éxito Si aprecias la opinión de los demás entonces tendrás éxito. Forma simbólica simbólica de la proposición proposición dada: dada: p  q

a. Iré el sábado si me pagan. b. La grama se moja cuando llueve o cuando la riegan c. Juan es razonable sólo si conoce todos los hechos. d. Soy un mal ejemplo, por tanto no soy un completo completo inútil ( Les Les Luthiers ) e. No me interesa esta situación, porque no comparto las ideas de la mayoría Lógica FBMM02- Escuela de Matemática- UNIMET

22

f. g. h. i. j. k. l. m. n. o. p.

Como no llegaste a tiempo, decidí salir sin ti Iremos a la playa , a menos que llueva Si no eres parte de la solución , eres parte del problema "Usted puede tener poder sobre las personas mientras no haya tomado todo de ellas. No me dejes caer en el orgullo si triunfo, ni en la desesperación desesperación si fracaso fracaso (M. Gandhi) Si yo faltara a la gente, quisiera valor para disculparme y si la gente faltara conmigo quisiera valor para perdonar. (M. Gandhi) Nuestros descendientes no sobrevivirán a menos que detengamos la contaminación ambiental Venezuela tiene bellas mujeres, dado que varias de ellas han ganado concursos internacionales de belleza. Si el volcán entra en erupción y decides permanecer en el lugar, te arriesgas a morir. Las abejas y las avispas avispas atacan cuando están están enojadas Tendrás éxito en la competencia a menos que no entrenes lo suficiente

proposición compuesta que se simboliza 20. Definimos el bicondicional como una proposición como p ↔ q y que es equivalente a : ( p → q) ∧ (q → p ). Construir su tabla de certeza. 21. La negación del bicondicional , se denomina diferencia simétrica (“o” excluyente). Lo denotamos como ∨ . Pruebe que la diferencia simétrica de dos proposiciones p ∨ q es equivalente a (p ∨ q ) ∧ ∼(p ∧ q).

22. Examinando la veracidad de la proposiciones simples, determina el valor de verdad de cada una de las siguientes proposiciones compuestas . a.

Si 7+9 = 16, entonces 16-9= 7

b.

Si (-2)(-3) =- 6 entonces (2) (3)= -6

c.

Pablo Picasso tiene 20 años sólo si tu eres millonario

d.

15+ 3 =18, si 72 – ( -10)=82.

e.

3 x 5=15, si 58 –(-8) =50

23. Dadas las siguientes proposiciones: p:Me gustan las matemáticas. matemáticas. q: Me gusta esta guía Traduce cada una de las siguientes proposiciones al lenguaje común. a.

p  q

b.

~ p ∨ q

c.

~ q (~ p)

d.

[ p ∨ (~ p)]  q

e.

~ p  q

24. Negar las siguientes proposiciones compuestas: a.

p∧ ( ~ q )

b. c. d. e. f.

~ (p ∧ q ) ~ p ∨ q (r ∧ s) ∨ (~ s) ~r∨~s (p ∨ q) ∨ (p ∧ q)


23

25. Escribe la negación, el recíproco, el inverso y el contrarrecíproco de cada una de las proposiciones siguientes: 

Si p, entonces q.



~ p  (~ q )



El sol brilla brilla sólo si estás feliz. feliz.



Si tu automóvil no tiene aire acondicionado, no tendrás amigos.



Iré el sábado, si me pagan.



Si los deseos fueran caballos, entonces los mendigos cabalgarán.



Si te cepillas los dientes con el dentífrico Sonrisas, tendrás entonces menos caries.



Tus nietos no sobrevivirán sobrevivirán si no detenemos la contaminación contaminación del ambiente.

26. Estas instrucciones aparecen en un formulario: “Llen e y presen presen te este cu estion estion ario a su jefe in mediato, si llen ó la en cu esta F-16 o si n o ha participado en la comisión Plan 007K”

Exprese en la forma “Si... entonces” la instrucción anterior anterior y simbolícela

27. Encuentra al menos dos proposiciones equivalentes para las dadas a continuación. Justifica tu respuesta. a.-

p∧~q d.- ~ (p ∧ q)

b.-

~p∨~q

e.- ~ (p ∨ ~ q)

h.- (r ∧ p)q

c.- ~ p ∧ ~ q f.- (p  ~ q )

g.- (p ∧ ~ q ) ~ s

i.- ((p ∧ q) t ) ∨ q

28. Niega los siguientes condicionales: •

(r ∧ p)q……… respuesta : ~ [(r ∧ p)q] ≡ (r ∧ p) ∧ ~ q

•

(r∨ q)t

•

p(r∨q) ……… respuesta : ~ [p(r∨q)] ≡

•

(p ∧ q) t

•

~pr

•

(~ p r)



p ∧ ~(r ∨ q) ≡

p ∧ (~r ∧~q)

( ~ p∨ q )

29. Prueba que : ( p q)



( ~ p∨ q ) es una tautología

30. Expresa sólo con conjunciones o disyunciones: a) b)

(p∧q) (t∨ r) ( p  q)  ( ~ r ∨ s )

31. Escribe el recíproco, el inverso o contrario y el contrarrecípoco de los siguientes condicionales:. a. (p ∧ q) t Lógica FBMM02- Escuela de Matemática- UNIMET

24

b.

Podrás presentar el examen , siempre y cuando traigas el certificado de inscripción c. (~ p r)  ( ~ p∨ q ) d. Tus nietos no sobrevivirán sobrevivirán si no detenemos la contaminación contaminación del ambiente. e.

Si Pedro recibe el mensaje, vendrá, aunque no le interese el asunto a tratar

f.

Si presto atención al profesor profesor de lógica, disfrutaré de la clase.

g. h. i.

( p  q)  ( ~ r ∨ s ) p  ( q  ( ~ r ∨ s )) (( p  q)  ~ r) ∨ s

32. Construye una proposición compuesta cuyo valor de verdad sea falso con las siguientes restricciones: a. Que contenga cinco proposiciones simples b. Con dos de las proposiciones simples verdaderas y tres falsas c. Cuyo conectivo dominante sea un condicional d. Que contenga al menos un conjunción, al menos una disyunción y exactamente una negación

33. Construye una proposición compuesta cuyo valor de verdad sea falso con las siguientes restricciones: a. b. c. d. e.

Que contenga cinco proposiciones simples Con dos de las proposiciones simples verdaderas y tres falsas Cuyo conectivo dominante sea una conjunción Que contenga exactamente dos condicionales Que contenga exactamente dos disyunciones

equivalencias sin utilizar tablas de certeza.. Debe justificarse 34. Demostrar las siguientes equivalencias cada paso de la demostración: demostración: a. ( p∧ q) → r ≡( p∧ ∼ r ) → ∼ q b. ∼[ (p∨q) → (s∧ ∼ t) ] ≡ ( ∼ s ∨ t ) ∧ (p∨q) c. q → ( ∼r ∧ t ) ≡ ( ∼r ∨ ∼q) ∧ ( t ∨ ∼q) d. ( p∧ q ) → r ≡ ( p ∧ ∼r ) → ∼ q e. (p ∧ ~ q ) ∧ s s ∧ ~ (p → q)

35. Encuentra al menos tres proposiciones equivalentes y diferentes para las proposiciones dadas a continuación. Justifica Justifica tu respuesta. a. ( p  ~ q) ∧ (~ s ∨ ∼t) b. (~p ∧ q ) → (r ∨ ∼t) c. ~ ( p  ~ q) ∧ (~ s ∨ ∼t) d. ~ [(~p ∧ q ) → (r ∨ ∼t)]

36. La verdad de una proposición puede asociarse al paso de corriente en un circuito eléctrico con un interruptor. Así, para representar a p, si es F, se tiene: y para p, si es V , se tiene:

p

(no pasa la corriente)

p (si pasa la corriente)

Es decir, el interruptor se cierra si p es V y se abre si p es F. Lógica FBMM02- Escuela de Matemática- UNIMET

25

¿Qué representaría el siguiente circuito? ¿Bajo cuáles condiciones pasaría la corriente?

¿ Y este circuito circuito en paralelo?¿ paralelo?¿ A cuál de los conectivos vistos representa?

¿Puedes escribir la proposición compuesta representada por los siguientes circuitos?


26

Logica

Recommend Documents