LÓGICA PROPOSICIONAL

EJERCICIOS

1. Clasifica los siguientes enunciados. Para aquellos que sean proposiciones, indica su valor de verdad a) El Perú es un país austral y occidental.b) Recoge ese lápiz.c) ¡Hola que tal!d) Sócrates nació en Atenas.e) La raíz cuadrada de -1 es un número imaginario.f) Cuzco es una ciudad arqueológica.g) El símbolo del oro es Auh) Marte es el dios de la guerra.i) Romeo amó a Julieta. j) Vete a comprar pan.k) Carlos Marx es autor de la Ilíada.l) 7 es número primo.ll) ¡Hace mucho calor!m) La radio es un medio de informaciónn) La matemática es una ciencia

2. Clasifica las siguientes proposiciones, si lo fuesen, en simples o compuestasa) Fobos es un satélite de Marte.b) Andrómeda y la Vía Láctea son galaxias.c) Julio C. Tello descubrió el Señor de Sipán.d) Los dos grandes aportes de los romanos fueron el derecho y el cristianismo.e) Los videos no son pruebas judiciales.f) Si se calientan las aguas de la costa central y meridional entonces se producirá el fenómeno delNiño.g) La filosofía es una forma de pensamiento propio del hombre.h) Tarapoto pertenece a Loreto.i) El cerebro y el corazón son órganos vitales. j) Irán y Libia elevan el precio del petróleo.k) Londres es la capital de Inglaterra.l) Juan y María serán elegidos miembros de la asamblea.m) No es cierto que Amanda sea economista.n) Si hace frío entonces nos enfermamosñ) La uretra no se extiende desde la vejiga al exterior del organismo

3.- Formaliza las siguientes proposiciones:a. No es cierto que no me guste bailar.b. Me gusta bailar y leer libros de ciencia ficción.c. Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos.d. O salgo a dar un paseo, o me pongo a estudiar como un energúmeno.

e. Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una regadera ydejaría que me internaran en un psiquiátricof. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir atrabajar

4.- Desarrollar la tabla de verdad a)(p Ʌ q)→ (p v q)b)(~p v ~q)→ (q v p)c)[p→(q Ʌ p)]→(p↔ q)d)~ [~p v (p Ʌ q)]↔[(p→ q) v p]e) (p ∧ q) ∨ (p ∨~q) f) p ∧ q ∧ rg)~ (p ∧~q) ∧ (p ∧~q)h)~ ~ (~p ∧~q) ∨ (p ∧~q) i) p ∨ q ∧ r j)~ (~p ∧~q) ∧ (~p ∧~q) k) p ∨ q ∧~r