formalizacion

FORMALIZACION DE PROPOSICIONES

Definición
Es el proceso mediante el cual se identifican proposiciones simples y estructuras
lógicas proposicionales, asignándoles un símbolo del lenguaje formal dela lógica
proposicional y organizándolos con los signos auxiliares de dicho lenguaje.
La asignación de la que habla la definición anterior es la siguiente: La relación entre
conectivos lógicos yconectores es la siguiente:

César Torres ()

CM

April 1, 2014

2 / 16

Si al formalizar no queda claro cuál es el conectivo dominante, se debe utilizar la
siguiente convención:

CésarTorres ()

CM

April 1, 2014

3 / 16

Ejemplo

Conjuntor: Estudio y hago trabajo. ≡ p ∧ q.
Disyuntor: se presentan dos casos
Disyuntor débil: Estudio o trabajo. ≡ p ∨ q
Disyuntor Fuerte: Onací en Colombia o nací en Perú. ≡ p ≡ q

Implicador: Si es verano entonces voy a la playa. ≡ p → q
Replicador: Me agito porque he corrido. ≡ p ← q.
Biimplicador: Aumenta la inflación si y sólo sisuben los precios. ≡ p ⇐⇒ q

César Torres ()

CM

April 1, 2014

4 / 16

Pasos Para Formalizar

Consideremos el siguiente ejemplo
“La Teoría de la Comunicación interviene en diversasciencias del hombre y en la
tecnología; ya que se debe a que haya sido propuesta para servir de campo unificador
de las ciencias sociales, ofreciendo a éstas tanto un lenguaje como una problemáticacomún.”
Solución
Paso 1: Indentificar las proposiciones simples y asignarles variables
p : La Teoría de la Comunicación interviene en diversas ciencias del hombre
q : La Teoría de la Comunicacióninterviene en la tecnología
r : La Teoría de la Comunicación ha sido propuesta para servir de campo unificador
de las ciencias sociales
s : La Teoría de la Comunicación ofrece a las ciencias socialesun lenguaje común
t : La Teoría de la Comunicación ofrece a las ciencias sociales una problemática
común

César Torres ()

CM

April 1, 2014

5 / 16

Paso 2: Indentificar las concetivos...