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:

• 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.


• 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.


• 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:

• 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


• 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


• 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)