LGICA PROPOSICIONAL Y SIMBLICA

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 Prop. simple predicativa 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 UGV. Prop. simple Pseudoproposicin Pseudoproposicin Prop. Simple predicativa Pseudoproposicin Exp. No proposicional Exp. No proposicional Prop. Simple predicativa Exp. No proposicional Pseudoproposicin Prop. Simple predicativa Prop. Comp. conjuntiva Prop. Simple predicativa Exp. No proposicional Prop. Simple predicativa Prop. Simple predicativa Exp. No proposicional Pseudoproposicin Exp. No proposicional Exp. No proposicional

22) Solo el hombre cuyo intelecto esta oscurecido por su ignorancia es inteligente Pseudoprop. 23) La iglesia catlica tuvo hegemona en la edad media y avasall a la ciencia Prop. Comp. Conjunt 24) Lo que Dios ha unido, que ningn hombre lo separe. 25) La nocin de Dios es pues la ms difcil de demostrar. 27) Si hace calor, los cuerpos se dilatan. 28) Le aconsejo es que se dedique ms tiempo a su trabajo intelectual. 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 Exp. No proposicional Prop. Simple predicativa Prop. Comp. condicional Exp. No proposicional Prop. Simple predicativa Prop. Simple predicativa Prop. Simple predicativa Prop. Simple predicativa

26) Los insectos son animales que viven en una organizacin social perfecta Pseudoproposicin

29) Capitn Jimnez, informe inmediatamente las ocurrencias de su unidad Exp. No proposicional

34) La noche est muy triste

Prop. simple predicativa

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
disyuntiva fuerte

Pseudoproposicin Pseudoproposicin Pseudoproposicin Pseudoproposicin Exp. No proposicional Exp. No proposicional Exp. No proposicional Exp. No proposicional Exp. No proposicional Prop.compuesta condicional

45) O los incas conocieron la escritura o solo realizaron dibujos iconogrficos Prop. compuesta

II) Reconozca cules son frmulas bien formadas (FBF) y mal formadas (FMF) 1. p~qr ---------------- FMF 2. ~ [ (~p v ~ q) r ] ---------------- FMF 3. pvqvr ---------------- FBF 4. ~ [p (~ q ~ r)] ---------------- FBF 5. ~ ~ [p v q r] ---------------- FMF 6. pqr ---------------- FBF 7. [(~ p q) ~ r v (q r)] ---------------- FMF 8. ~pvq~ ---------------- FMF 9. p~~q ---------------- FBF 10. q ---------------- FBF 11. ~~pq ---------------- FBF 12. P ( q r ) ---------------- FMF 13. ~p ( ~ q q ) ---------------- FBF 14. ( ~r p ) ( S Q ) ---------------- FMF 15. p q ~p ---------------- FMF III) Hallar la frmula de las siguientes estructuras
3.1 3.2 3.3 3.4 3.5 3.6 3.7 3.8 3.9 Si p y q, no r y no s, ya que no q y p p o q, puesto que r si p r porque si s y no p, q. Ya que no r O si p, q o r si s. Puesto que si s, no p no q si p. Luego, p y no r; ya que s Es imposible p y q, ya que no r si q p, puesto que no r o p si no q y no s No r porque s y no p. Ya que q si p O p o q, o no r ni s. Puesto que si r, s ( ~ q p ) [ (p q) (~ r ~ s ) ] ( p r ) (p v q ) ~r[(s~p)r] (s~p)[(pq)(sr)] (p~q)[s(p~r)] (q~r)~(pq)

[ ( ~ q ~ s ) ( ~ r v p) ] p (pq)[(s~p)~r] ( r s) [ ( p v q ) (~ r ~ s ) ]

3.10

p y no q ya que r. Por lo tanto p y no r

[r(p~q)](p~r)