Tablas De La Verdad

verdadEjercicios de Lógica proposicional
1. Formaliza los siguientes enunciados: La eternidad está enamorada de las obras del tiempo. No me gusta trasnochar ni madrugar. Si Manolito es un televidente extraordinario y un pésimo estudiante, entonces sus padres no estarán satisfechos y le impedirán dedicar tanto tiempo a la televisión. Si viene en tren, llegará antes de las seis. Si viene en coche,llegará antes de las seis. Luego, tanto si viene en tren como si viene en coche, llegará antes de las seis. La nueva vacuna contra el SIDA se podrá experimentar y distribuir en los centros hospitalarios si y sólo si las autoridades sanitarias consideran que retrasa el desarrollo de la enfermedad y no produce ningún tipo de efectos secundarios. 2. Traduce al lenguaje formal y construye la tabla deverdad de las siguientes expresiones: Si los coches dejaran de utilizar este tipo de combustible, entonces contaminarían menos. No sé si iré a casa de mi amiga o si me quedaré en casa estudiando. No es cierto que no haya estudiado el examen, pero me van a suspender igual. Si estudio más, aprenderé a construir tablas de verdad correctamente. Y si además no voy a la fiesta, entonces con todo elloconseguiré aprobar el curso. 3. Fíjate en las siguientes proposiciones y formaliza las expresiones que figuran a continuación: p = Argentina se moviliza. q = Brasil impone restricciones económicas. r = Cuba sigue enviando armas a Sudamérica. s = La república Dominicana apela a las Naciones Unidas. Argentina se moviliza y, o bien Brasil impone restricciones comerciales, o bien Cuba sigue enviandoarmas a Sudamérica. O bien Argentina se moviliza y Brasil impone restricciones comerciales, o bien Cuba sigue enviando armas a Sudamérica. Argentina no se moviliza, pero Brasil impone restricciones comerciales. O bien Argentina se moviliza, o bien Brasil no impone restricciones comerciales. No se da el caso de que Argentina se movilice y Brasil imponga restricciones comerciales.

1

No se da elcaso de que, o bien Argentina se movilice, o bien Brasil no imponga restricciones comerciales. O bien Argentina se moviliza y Brasil impone restricciones comerciales o bien no se da el caso de que Cuba siga enviando armas a Sudamérica y que la República Dominicana apele a las Naciones Unidas. O bien Brasil impone restricciones comerciales y la República Dominicana apela a las Naciones Unidas obien Cuba sigue enviando armas a Sudamérica o Argentina se moviliza. Argentina se moviliza y, o bien Brasil impone restricciones comerciales, o Cuba sigue enviando armas a Sudamérica y la República Dominicana apela a las Naciones Unidas. O bien Cuba no sigue enviando armas a Sudamérica o bien la República Dominicana no apela a las Naciones Unidas, y ni Argentina se moviliza ni Brasil imponerestricciones comerciales. 4. Desarrolla las tablas de verdad de las siguientes expresiones lógicas y razona si son fórmulas contradictorias, consistentes o tautológicas: 1. ¬(p Λ q) ↔ (¬p V ¬q) 2. ¬(p Λ ¬p) 3. (p V q) ↔ (q ↔ p) 4. [p Λ (q V r)] ↔ [(p Λ q) V (p Λ r)] 5. [p → (q V r)] ↔ [(p → q) V (p → r)] 5. Demuestra por el método de las tablas de verdad las siguientes reglas de inferencia (véanse en losapuntes): − − − − − Introducción del disyuntor. Ley del silogismo hipotético. Ley de contraposición. Silogismo disyuntivo. Ex contradictione quodlibet.

6. Traduce al lenguaje formal y realiza la correspondiente deducción: Si suben los salarios, entonces suben los precios. Si suben los precios, entonces baja el poder adquisitivo de la moneda. Suben los salarios. Luego baja el poder adquisitivode la moneda. 7. Realiza la deducción lógica de los siguientes argumentos:

2

O jugamos todos o rompemos la baraja. Si rompemos la baraja nos aburriremos sin remedio o tendremos que comprar otra. Os negáis a que juguemos todos. Luego compramos una baraja nueva o nos aburriremos sin remedio. Si te gusta Lou Reed, eres de los míos. Y si eres de los míos, Van Morrison te volverá loco. Si te...