Formalización de proposiciones

Formalizar una proposición equivale a representarla simbólicamente.

La técnica de formalización de proposiciones comprende los siguientes pasos:

a) Se explicita su forma lógica empleando las conjunciones ‘y’, ‘o’,‘si..., entonces’, ‘si y sólo si’ y el adverbio ‘no’ en sustitución de sus expresiones equivalentes.
b) Se halla su fórmula reemplazando cada proposición atómica por una variable proposicional, las conjunciones gramaticales por sus operadores lógicos correspondientes y el adverbio ‘no’por el operador negativo.
c) Los signos de agrupación se usan para establecer la jerarquía entre los operadores de una fórmula lógica, pero sólo cuando su omisión la hace ambigua.

Ejemplos de formalización de proposiciones:

a) Kant es filósofo, pero Frege es lógico
Forma lógica:
Kant es filósofo y Frege es lógico
Fórmula:
p: Kant es filósofo.
q: Frege es lógico.
p^q


b) No iremos al teatro a menos que venga Raúl.
Forma lógica:
Si Raúl viene, entonces iremos al teatro.
Fórmula:
p: Raúl viene.
q: iremos al teatro.
p->q

c) Las Fuerzas Armadas y las Fuerzas Policiales participan en el desarrollo económico y social del país, pero no son deliberantes.
Forma lógica:
Las Fuerzas Armadas participan en el desarrollo económico del país y las Fuerzas Armadas participan en el desarrollo social del país y las Fuerzas Policiales participan en el desarrollo económico del país y las Fuerzas Policiales participan en el desarrollo social del país y las Fuerzas Armadas no son deliberantes y las Fuerzas Policiales no son deliberantes.
Fórmula:
p: las Fuerzas Armadas participan en el desarrollo económico del país.
q: las Fuerzas Armadas participan en el desarrollo social del país.
r: las Fuerzas Policiales participan en el desarrollo económico del país.
s: Las Fuerzas Policiales participan en el desarrollo social del país.
t: las Fuerzas Armadas son deliberantes.
w: las Fuerzas Policiales son deliberantes.
(p^q^r^s)^(~t^~w)