Lógica Proposicional – Lógica de Sistemas

HOJA DE TRABAJO – LOGICA PROPOSICIONAL

1) Confeccione la tabla de verdad de las siguientes proposiciones compuestas

a) ( p  q)  (q   p) d) p  (q  p) g) ( p  q)  ( p  q) j)  ( p  q)  ( p  q)

b) ( p  q)  ( p  q) e) p(q  p) h) ( p  q)  (q  p) k)  ( p  q)p
c) ( p  q)  ( p  q) f) ( p  q)  q i) [ p  (q   p)]  q l)  p  q   q

2) Niegue y transforme usando leyes lógicas la proposición compuesta  p  (q  r )

a) ( p  q)  r b) ( p  q)  r c) p  (q  r )

3) a) Si el valor de verdad de p  q s verdadero ¿puede determinar el valor de verdad de

 p  ( p  q) ?
b) Si el valor de verdad de ( pq)  p es falso ¿ puede determinar el valor de verdad de q ?
c) Si p   q es verdadero ¿se puede determinar el valor de verdad de ( p  q)  ( p  q) ?
d) Si  p  q es verdadero ¿se puede determinar el valor de verdad de ( p  q)  ( p  q)
e) Halle el valor de verdad de ( p  q)  (q   p) si q es verdad
f) Halle el valor de verdad de ( p  q)  ( p  q) si q es verdad
En todos los casos justifique su respuesta

Ingeniería en Sistemas de Información

Facultad de Ingeniería en Sistemas de Información
 Lógica Proposicional – Lógica de Sistemas

4) Identifique la conectiva lógica proposicional en las siguientes oraciones. Hay cuatro oraciones para
cada conectiva. Como algunas oraciones pueden entenderse de varias maneras, se especifican entre
paréntesis algunas interpretaciones.
N=Negación, C=Conjunción,
D=Disyunción inclusiva, X=Disyunción Exclusiva,
I=Implicación material, E=Equivalencia material.

1. El saber no ocupa lugar. (No es cierto que el saber ocupa lugar.) ( )

2. El arte es largo y la vida es breve. ( )
3. O son angas o son mangas. (O son angas, o son mangas, o ambas cosas.) ( )
4. Honra y provecho no caben en un saco. (Hay honra o hay provecho, pero no ambas cosas.)( )
5. Cuando hay para carne, es vigilia. (No hay carne sin vigilia.) ( )
6. Cada uno habla de la feria como le va en ella. (Uno habla bien de la feria siempre y cuando le
vaya bien.) ( )

7. Una golondrina no hace verano. (No es verdad que una golondrina hace verano.) ( )
8. Para mentir y comer pescado, hay que tener mucho cuidado.
(Hay que tener cuidado para mentir y hay que tener cuidado para comer.) ( )
9. En esta vida traidora, o se ríe o se llora.
(En esta vida a veces se ríe, o en esta vida a veces se llora, o ambas cosas.) ( )
10. Agua corriente no mata a la gente; agua sin correr, debe suceder.
(Si el agua está estancada, mata y si no, no.) ( )
11. Nunca es tarde si la dicha es buena. (No ocurre que: la dicha es buena, pero es falso que hay
tiempo.) ( )
12. Cuánto vales cuanto tienes. (Cuando tienes, vales, y cuando no, no.) ( )

13. Sobre gustos no hay nada escrito. ( )

14. El espíritu está presto, pero la carne es débil. ( )
15. El que no cae, resbala. (O se cae, o se resbala, o ambas cosas.) ( )
16. O se repica o se anda en la procesión. (O se repica o se anda en la procesión, pero no ambas
cosas.) ( )
17. Abril, aguas mil. (No hay abril sin muchas lluvias.) ( )
18. Al pasar el río: ¡Ay, santito mío! Pero ya pasado, santo olvidado.
(Cuando hay peligro se rinde pleitesía, pero cuando no, no.) ( )

19. No por mucho madrugar amanece más temprano. ( )

20. El infierno está lleno de buenos deseos y el cielo de buenas obras. ( )
21. O ayudas o no estorbas. (O ayudas, o no estorbas, o ambas cosas.) ( )
22. O todos coludos o todos rabones. (O todos son coludos, o todos son rabones, pero no ambas
cosas.) ( )
23. Ladrido de perro, poblado cercano. (No hay ladrido de perro sin poblado cercano.) ( )
24. Barre la nuera lo que ve la suegra. (Si lo ve la suegra, la nuera lo barre, y si no, no.) ( )

Ingeniería en Sistemas de Información

Facultad de Ingeniería en Sistemas de Información
 Lógica Proposicional – Lógica de Sistemas

5) Use la tabla de verdad para determinar si las siguientes expresiones son válidas, contradictorias o
contingentes.

Ingeniería en Sistemas de Información

Facultad de Ingeniería en Sistemas de Información
 Lógica Proposicional – Lógica de Sistemas

6) Ejercicios de formalización lógica de proposiciones lingüísticas. Convierta las proposiciones

lingüísticas a simbólicas.
1ºSi los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos.
2ºSi y sólo si viera un marciano con mis propios ojos, creería que hay vida extraterrestre.
3ºUna de dos: o salgo a dar un paseo, o me pongo a estudiar como un energúmeno.
4º Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una regadera y dejaría
que me internaran en un psiquiátrico.
5º Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a trabajar.
6ºLas estrellas emiten luz o los planetas la reflejan, y por otra parte, los planetas giran alrededor de
ellas.
7ºÚnicamente si Pablo atiende en clase y estudia en casa, no se dará que fracase en los exámenes y no
sea aplaudido.
8ºSi no es el caso que Pablo atiende en clase y estudia en casa, entonces fracasará en los exámenes y no
es aplaudido.
9ºCuando uno no tiene imaginación, la muerte es poca cosa; cuando uno la tiene, la muerte es
demasiado.
10º.Si el gorila es atractivo, el gorila sonreirá abiertamente o será infeliz. Si no es feliz, no procreará en
cautividad. Por tanto, si el gorila es atractivo, entonces, si el gorila no sonríe abiertamente, no procreará
en cautividad.
11ºSi x=1 e y=2, entonces z=3. Si, si Y=2, z=3 entonces w=0.x=1. Por tanto, w=0.
12. Juan partirá para Japón, si María se queda en Venecia. Rosa viajará a Luxemburgo o Juan no partirá
para Japón. O María no se queda en Venecia o Rosa no viajará a Luxemburgo. Por consiguiente, María
no se queda en Venecia.
13. Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor que Plutón, si la
Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra, Júpiter es mayor que Plutón.
14. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. Así pues, siempre que
me entra un hambre atroz, viajo.
15. O el amor es ciego y los hombres no son conscientes del hecho de que el amor es ciego, o el amor
es ciego y las mujeres sacan ventaja de ello. Si los hombres no son conscientes de que el amor es ciego,
entonces el amor no es ciego. En conclusión, las mujeres sacan ventaja de ello.
16. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien en el colegio. Si no saca
buenas notas, no lo pasa bien en el colegio. Así pues, Guillermo obtiene buenas notas.
17. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis, juega al fútbol; no
juega al fútbol. Por tanto, Eduardo juega al baloncesto.
18.. Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir; si nos quedamos a cenar o
a dormir no iremos mañana al concierto; por consiguiente, iremos mañana al concierto.

Ingeniería en Sistemas de Información

Facultad de Ingeniería en Sistemas de Información
 Lógica Proposicional – Lógica de Sistemas

Ingeniería en Sistemas de Información

Facultad de Ingeniería en Sistemas de Información