Formalizacin de proposiciones

Formalizar una proposicin significa abstraer su forma lgica, es decir, revelar su estructura sintctica a travs del lenguaje formalizado de la lgica. En trminos ms sencillos, formalizar una proposicin equivale a representarla simblicamente. Toda proposicin tiene su forma lgica y su frmula. La forma lgica de una proposicin es otra proposicin equivalente a la primera con la diferencia de que en ella toda su estructura

sintctica est completamente explicitada. A partir de aqu, su frmula no es otra cosa que la que resulta de sustituir a toda proposicin atmica distinta por una variable proposicional tambin distinta, a toda conjuncin gramatical por el operador lgico correspondiente y el adverbio no por el operador negativo. La tcnica de formalizacin de proposiciones comprende los siguientes pasos:

a) Se explicita su forma lgica empleando las conjunciones y, o, si..., entonces, si y slo si y el adverbio no en sustitucin de sus expresiones equivalentes. b) Se halla su frmula reemplazando cada proposicin atmica por una variable proposicional, las conjunciones gramaticales por sus operadores lgicos correspondientes y el adverbio no por el operador negativo. c) Los signos de agrupacin se usan para establecer la jerarqua entre los operadores de una frmula lgica, pero slo cuando su omisin la hace ambigua.

Ejemplos de formalizacin de proposiciones:

a) Kant es filsofo, pero Frege es lgico Forma lgica: Kant es filsofo y Frege es lgico Frmula: p: Kant es filsofo. q: Frege es lgico. Pq

b) No iremos al teatro a menos que venga Ral. Forma lgica: Si Ral viene, entonces iremos al teatro. Frmula: p: Ral viene. q: iremos al teatro. p q c) Einstein no es filsofo, sino fsico. Forma lgica: Einstein es fsico y Einstein no es filsofo. Frmula: p: Einstein es fsico. q: Einstein es filsofo. p ~q d) Euclides no es mdico ni fsico. Forma lgica: Euclides no es mdico y Euclides no es fsico. Frmula: p: Euclides es mdico. q: Euclides es fsico ~ p ~q o pq e) Ni Vilma, ni Silvia, ni Anglica ingresaron a la universidad. Forma lgica: Vilma no ingres a la universidad y Silvia no ingres a la universidad y Anglica no ingres a la universidad. Frmula: p: Vilma ingres a la universidad. q: Silvia ingres a la universidad. r: Anglica ingres a la universidad. ~p ~ q ~r

f) Sin carbono, oxgeno, nitrgeno e hidrgeno, no hay vida. Forma lgica: Si no hay carbono y no hay oxgeno y no hay nitrgeno y no hay hidrgeno, entonces no hay vida. Frmula: p: hay carbono. q: hay oxgeno. r: hay hidrgeno. s: hay nitrgeno. t: hay vida. (~ p ~ q ~ r ~ s) ~ t

g) Tanto Waldir Senz como Chemo Del Solar son atletas porque son futbolistas. Forma lgica: Si Waldir Senz es futbolista y Chemo Del Solar es futbolista, entonces Waldir Senz es atleta y Chemo Del Solar es atleta. Frmula: p: Waldir Senz es futbolista. q: Chemo Del Solar es futbolista. r: Waldir Senz es atleta. s: Chemo Del Solar es atleta. ( p q ) ( r s)

h) Csar es profesor o es alumno, pero no puede ser ambas cosas a la vez. Forma lgica: Csar es profesor o Csar es alumno y es falso que Csar sea profesor y Csar sea alumno. Frmula: p: Csar es profesor. q: Csar es alumno. (p q) ~(p q)