Msc.

Jemay Ospina Matematica Moderna

LGICA PROPOSICIONAL


I) Determine cules de las siguientes expresiones expresan una proposicin, de ser as seale el
tipo.
1) Existen hombres cuyo intelecto es digno de imitar -----------------
2) Hace tiempo que no ro como hace tiempo -----------------
3) Cuando suean las serpientes el sol agoniza de temor -----------------
4) Te amo y te amar infinitamente sin espacio ni tiempo -----------------
5) Los profesores iniciarn una huelga nacional indefinida -----------------
6) Solo te pido que mi espacio llenes con tu luz -----------------
7) No irn de viaje -----------------
8) Los hijos de Hitler -----------------
9) En esta semana se realizar una reorganizacin del poder judicial -----------------
10) Sabas que Hiroshima fue bombardeada por los norteamericanos? -----------------
11) Entre el cielo y t no hay diferencia -----------------
12) Las ideas no siempre se pueden demostrar -----------------
13) La lgica y la matemtica son ciencias formales -----------------
14) Alianza Lima es el mejor equipo de ftbol peruano -----------------
15) Hasta cuando no podr verte corazn? -----------------
16) Durante la primera guerra mundial murieron millones de inocentes -----------------
17) La msica sirve como terapia para problemas sicolgicos -----------------
18) Los programas de computacin e informtica -----------------
19) En estos das no sale el sol sino tu rostro -----------------
20) Maana no vengan a trabajar -----------------
21) Son profesores de la UCO. ----------------
22) Solo el hombre cuyo intelecto esta oscurecido por su ignorancia es inteligente----------
23) La iglesia catlica tuvo hegemona en la edad media y avasall a la ciencia-------------
24) Lo que Dios ha unido, que ningn hombre lo separe. ----------------
25) La nocin de Dios es pues la ms difcil de demostrar. ----------------
26) Los insectos son animales que viven en una organizacin social perfecta---------------
27) Si hace calor, los cuerpos se dilatan. ----------------
28) Lo que yo le aconsejo es que se dedique ms tiempo a su trabajo intelectual.-----------
29) Capitn Jimnez, informe inmediatamente las ocurrencias de su unidad ----------------
30) La economa del pas no mejora ----------------

31) Haya de la Torre fue un poltico indoamericano ----------------
32) La carpeta es til en el saln de clases ----------------
33) Todos los exmenes son fciles ----------------
Msc. Jemay Ospina Matematica Moderna
34) La noche est muy triste ----------------
35) Tu mirada dulce me embriaga ----------------
36) Me he sentado a caminar ----------------
37) Esta maana habl con Dios ----------------
38) Mi hermano Nstor es un nmero ----------------
39) Auxilio por favor! ----------------
40) Cul es tu nombre? ----------------
41) El libro rojo ----------------
42) Prohibido fumar ----------------
43) Te irs a la farmacia a comprar una medicina ----------------
44) Cuando termines de estudiar, sers un eficiente profesional ----------------
45) O los incas conocieron la escritura o solo realizaron dibujos iconogrficos------


II) Reconozca cules son frmulas bien formadas (FBF) y mal formadas (FMF)
1. p ~ q r ----------------
2. ~ [ (~p v ~ q) r ] ----------------
3. p v q v r ----------------
4. ~ p (~ q ~ r) ----------------
5. ~ ~ [p v q r] ----------------
6. p q r ----------------
7. [(~ p q) ~ r v (q r)] ----------------
8. ~ p v q ~ ----------------
9. p ~ ~ q ----------------
10. q ----------------
11. ~ ~ p q ----------------
12. P ( q r ) ----------------
13. ~p ( ~q q ) ----------------
14. ( ~r p ) ( S Q ) ----------------
15. p q ~p ----------------


III) Hallar la frmula de las siguientes estructuras

3.1 Si p y q, no r y no s, ya que no q y p -------------------------------------------------------------
3.2 p o q, puesto que r si p -------------------------------------------------------------

3.3 r porque si s y no p, q. Ya que no r --------------------------------------------------------------
3.4 O si p, q o r si s. Puesto que si s, no p -----------------------------------------------------------------
3.5 no q si p. Luego, p y no r; ya que s --------------------------------------------------------------
Msc. Jemay Ospina Matematica Moderna
3.6 Es imposible p y q, ya que no r si q --------------------------------------------------------------
3.7 p, puesto que no r o p si no q y no s --------------------------------------------------------------
3.8 No r porque s y no p. Ya que q si p --------------------------------------------------------------
3.9 O si p o q, o no r ni s. Puesto que si r, s --------------------------------------------------------------
3.10 p y no q ya que r. Por lo tanto p y no r --------------------------------------------------------------

IV) Formalizar las proposiciones siguientes, empleando todos los pasos estudiados:

01) El pueblo Colombiano est descontento, si y slo si no hay cambio social. En consecuencia, si
el pueblo Colombiano est contento, o hay revolucin o hay cambio social.

02) El arma del delito ser descubierto si la huella es autentica; puesto que, si la huella es
autntica, el motivo del crimen fue el robo. La huella no es autntica porque pertenece a otra
persona. En consecuencia, el arma del delito no ser descubierto si el motivo del crimen fue el
robo.

03) Si Evelyn gana el concurso de matemtica, viajar a Pars. Evelyn no viajar a Pars. En
consecuencia no gan el concurso de matemtica.

04) Javier no est de compras o Elvira no est en casa. Elvira est en el mercado y Javier est de
viaje. Por lo tanto, Javier y Elvira no estn en la casa.

05) O la piscina est temperada si hay calefaccin, o los baistas concursan en natacin. Los
baistas no concursan en natacin. De manera que es imposible que haya calefaccin porque la
piscina no est temperada.

06) Herclito no se sumerge al mismo ro porque son otras aguas que corren. Pero no son otras
aguas que corren, por lo tanto, no es cierto que Herclito no se sumerge en el mismo ro si cree
en el devenir.

07) Es posible la vida en la tierra si hay agua, adems el hombre respirar si hay aire. Hay fuego.
En consecuencia, si no hay aire, o no es posible la vida en la tierra o el hombre no respirar.

08) Como Andrs es mdico, lo curar a Pedro; luego, no lo cur a Pedro; supone que, Andrs no
es mdico si solamente si es aficionado a la psicologa.

09) No es el caso que el cielo no est nublado y no haga fro. Llueve si hace fro. Por lo tanto,
hace calor y no llueve dado que est despejado.

10) Si tu profesor recomienda la duda, o es un escptico o es in nihilista, pero es falso que tu
profesor sea al mismo tiempo un escptico y un nihilista. Por lo tanto, tu profesor no es un
nihilista.
Msc. Jemay Ospina Matematica Moderna


11) Si el embajador es demagogo, no tendr xito en su defensa. Deduzco que sufrir una
censura, porque es una persona que tiene delitos. Por lo tanto, el embajador ser cesado en su
cargo y condenado a prisin.

12) Las investigaciones policiales concluyen atrapando al homicida, o el homicida es un personaje
muy astuto que engaa a la polica y logra evadir la aplicacin de la ley. Por tanto, las
investigaciones policiales concluyen atrapando al homicida, o el homicida logra evadir la
aplicacin de la ley.

13) Si no es cierto que los partidos polticos, y los empresarios estn contentos entonces el
gobierno controla la inflacin y aplica una economa liberal, los partidos polticos y los empresarios
estn contentos; ya que, el gobierno controla la inflacin y aplica una economa liberal.

14) El incendio en la fbrica fue premeditado o se produjo por combustin espontnea, si y solo
si, se cort el fluido elctrico. El accidente no se produjo en horas de la madrugada si y solo si se
cort el fluido elctrico. En consecuencia, el incendio en la fbrica fue premeditado o se produjo
por combustin espontnea si y solo si no se produjo en horas de la madrugada.

15) Si los artculos bajaron de precios, entonces aument la importacin si se liberaron los
impuestos. Los artculos bajaron de precios porque el gobierno aplic una economa liberal y
control la inflacin. De modo que el gobierno aplic una economa liberal y control la inflacin,
pues aumento la importacin.

16) Los postulados son proposiciones primitivas de la matemtica. Luego, los postulados son
proposiciones primitivas de la matemtica o de la lgica.

17) Ningn metaloide es metal, puesto que todos los metaloides son cuerpos brillantes y ningn
metaloide es cuerpo brillante.

18) Si esta figura tiene cuatro lados, es un cuadriltero. Si esta figura no es un cuadriltero, no
tiene cuatro lados. Esta figura tiene cuatro lados o no es un cuadriltero. Por tanto, esta figura
es un cuadriltero o no tiene cuatro lados.

19) El clima ser benigno slo si no llueve, y no llueve si y slo si el cielo est despejado. De tal
modo que, si el clima es benigno, el cielo est despejado, y no est lloviendo, o est lloviendo, el
cielo no est despejado y el clima no es benigno.

20) Si es verdad que esta prueba es sencilla, entonces todos los alumnos aprobaran el examen.
Por lo tanto, todos los alumnos aprobarn el curso ya que todas las pruebas sern sencillas como
sta.

21) Si Scrates censura la corrupcin, entonces los sofistas le odiaran y ser acusado de no
respetar las leyes. Si los sofistas le odian o es acusado de no respetar las leyes, ser condenado
a morir mediante el trago de la cicuta. Luego, Scrates es condenado mediante el trago de la
cicuta, ya que censura la corrupcin.

22) La deduccin muestra la realidad debido a que la induccin es un sueo, luego, Descartes era
un soador si la deduccin muestra la realidad. Adems la deduccin no muestra la realidad. En
consecuencia, la induccin no es un sueo o Descartes no era un soador


23) Habr un elevado nmero de vctimas si los manifestantes son reprimidos brutalmente; ya
que, si los manifestantes son reprimidos brutalmente, los estudiantes universitarios quedaran
Msc. Jemay Ospina Matematica Moderna
atrapados, y habr un elevado nmero de vctimas si los estudiantes universitarios quedan
atrapados.

24) Si es smbolo, es arbitrario; el lenguaje se hace ambiguo, luego hay que definirlo. Pero se
determina, si se lo define; de ah, que se determina, cuando es arbitrario.

25) La hiptesis puede ser falseable; ya que, la ciencia es conjeturable o la hiptesis no puede ser
falseable, pero la ciencia no es conjeturable, adems que es conjeturable.

26) La historia no es una tcnica, si la historia es ciencia. Pero, ocurre que por algunos procesos,
la ciencia es conocimiento. En consecuencia, la historia no es una habilidad.

27) Si un cuerpo de conocimiento no es incomunicable, entonces no es cientfico. No es el caso
de que si un cuerpo de conocimientos es comunicable, entonces el mtodo cientfico y las
tcnicas puedan aprenderse en los libros. Por consiguiente, un cuerpo de conocimientos es
comunicable o no es cientfico, dado que el mtodo cientfico puede aprenderse en libros.


V.- Las frmulas obtenidas del ejercicio III, demostrar el tipo de frmula a travs del mtodo de
diagramas semnticos (usar V y F).



VI.- Las frmulas obtenidas del ejercicio IV, demostrar el tipo de frmula a travs del mtodo
abreviado.

Actividad 02
Demuestra las siguientes proposiciones utilizando las leyes del lgebra de proposiciones
(1). [ ( p q ) ] [ p q ]
(2). [ p ( q q ) ] p
(3). [ ( q q ) p ] p
(4). [ ( p q ) r ] [ p ( q r ) ]
(5). [ p ( q r ) ] [ q ( p r ) ]
(6). [ ( p q ) p ] [ p q ]
(7). [ ( p q ) q ] [ p q ]
(8). [ p q ] [ ( p q ) ( p q ) ]
(9). [ p q] [ p q ]
(10). [ ( p q ) ] [ p q ]
(11). [ ( p q ) ( p r ) ] [ p ( q r ) ]
(12). [ ( p q ) ( p r ) ] [ p ( q r ) ]
(13). [ ( p r ) ( q r ) ] [ ( p q ) r ]
(14). [ ( p r ) ( q r ) ] [ ( p q ) r ]
Actividad 03
(1) Si p q es falso, halla el valor de verdad de las siguientes proposiciones:
a) ( p q ) r
b) ( t q ) ( p s )

(2) Si p q es verdadero, Cuntas, de las siguientes proposiciones, son falsas?
a) ( p r ) ( q s )
Msc. Jemay Ospina Matematica Moderna
b) ( p q ) t
c) ( p q ) ( q s )

(3) Cuntas, de las siguientes proposiciones, son verdaderas; si p q es falsa?
a) ( p q ) ( p q )
b) ( q p ) ( p q )
c) p (p q)

(4) De la falsedad de (p q) (r s) deduce el valor de verdad de las siguientes
proposiciones.
a) (p q ) q
b) [ ( r q ) q ] [ ( q r) s ]
c) [ p r] [ ( p q) q ]

(5) Si se sabe que (p q) es falsa, y (q t) tambin, Cules de las siguientes proposiciones
son verdaderas?
a) (p t) s
b) [ p ( q p ) ]
c) [ p ( q t ) ] [ ( p q ) (q t ) ]

(6) Si la proposicin [ p q ] [ ( p r ) t ] es falsa, halla el valor de verdad de:
a) [ p q ] [ r t]
b) [ q r] [ t ( p q ) ]
c) [p t] [ q r ]

(7) La proposicin (p q) (r s) es verdadera; teniendo r y s valores veritativos opuestos,
luego se afirma que:
a) [ ( p q) (r s ) ] p es verdadera
b) [ ( p q ) ( r s ) ] ( p q ) es falsa
c) [ (r s) ( p r ) ] ( r s ) es verdadera
Cules son ciertas?

(8) Si p, q, r, s, t, w son proposiciones tales que: ( p r ) ( s w) es verdadera, adems (
w s ) es Falsa. Halla el valor de verdad de las siguientes proposiciones:
a) ( p q) r s
b) [ t ( w p ) ] ( p r )
c) ( s w ) ( r p )
Actividad 04
(1) Dadas las proposiciones:
p: Alejandro es artista
q: Alejandro es un buen estudiante
r: Alejandro es Cirujano
Simboliza:

a) Si Alejandro es un buen estudiante entonces es cirujano
b) Alejandro es artista y buen estudiante
c) Si no es el caso que Alejandro sea un artista y un buen estudiante, entonces es cirujano
o no es artista.

(2) Expresa los siguientes prrafos mediante los smbolos de la lgica proposicional y luego
escribe la negacin.
a) l no es rico, pero es feliz.
Msc. Jemay Ospina Matematica Moderna
b) Ustedes son la sal del mundo. Pero, si la sal deja de estar salada, ya no sirve para
nada.
c) El que pide, recibe; y el que busca, encuentra; y al que llama a la puerta, se le abre.

(3) De acuerdo a tu especialidad, selecciona un enunciado y exprsalo mediante smbolos de la
Lgica Proposicional.

(4) Un estudiante tena que presentar un test de cinco preguntas. Sabe que su instructor siempre
hace ms preguntas verdaderas que falsas, y que nunca se presentan tres preguntas en una
fila con las mismas respuestas. Por la naturaleza de la primera y la ltima pregunta sabe que
son respuestas opuestas. La nica pregunta que sabe contestar es la nmero dos, y esto le
asegura de contestar todas las preguntas correctamente. Qu sabe de la pregunta dos?
Cul es la respuesta a las cinco preguntas?