LGICA PROPOSICIONAL

EJERCICIOS
1. Clasifica los siguientes enunciados. Para
proposiciones, indica su valor de verdad
a) El Per es un pas austral y occidental.
b) Recoge ese lpiz.
c) Hola que tal!
d) Scrates naci en Atenas.
e) La raz cuadrada de -1 es un nmero imaginario.
f) Cuzco es una ciudad arqueolgica.
g) El smbolo del oro es Au
h) Marte es el dios de la guerra
.i) Romeo am a Julieta.
j) Vete a comprar pan.
k) Carlos Marx es autor de la Ilada.
l) 7 es nmero primo.
ll) Hace mucho calor!
m) La radio es un medio de informacin
n) La matemtica es una ciencia

aquellos

que

sean

2. Clasifica las siguientes proposiciones, si lo fuesen, en simples o

compuestas
a) Fobos es un satlite de Marte.
b) Andrmeda y la Va Lctea son galaxias.
c) Julio C. Tello descubri el Seor de Sipn.
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 fenmeno delNio.
g) La filosofa es una forma de pensamiento propio del hombre.
h) Tarapoto pertenece a Loreto.
i) El cerebro y el corazn son rganos vitales.
j) Irn y Libia elevan el precio del petrleo.
k) Londres es la capital de Inglaterra.
l) Juan y Mara sern elegidos miembros de la asamblea.
m) No es cierto que Amanda sea economista.
n) Si hace fro 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 ficcin.
c. Si los gatos de mi hermana no soltaran tanto pelo me gustara acariciarlos.
d. O salgo a dar un paseo, o me pongo a estudiar como un energmeno.

e. Si los elefantes volaran o supieran tocar el acorden, pensara que estoy como
una regadera ydejara que me internaran en un psiquitrico
f. 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 r
g)~ (p ~q) (p ~q)
h)~ ~ (~p ~q) (p ~q)
i) p q r
j)~ (~p ~q) (~p ~q)
k) p q ~r