Logica: las reglas, ley

FORMA LÓGICA DE UN ENUNCIADO
Es la expresión que se obtiene al reemplazar en la simbolización del enunciado todos los símbolos descriptivos (no lógicos) por símbolos-esquema o meta-variables (sonsímbolos lógicos como “[ ]”, “< >”, “{ }”, “o” que indican el “lugar vacío” de la categoría correspondiente, i.e. predicados, constantes de individuo o enunciados.)

[(!) ¡UN MISMO ENUNCIADO PUEDETENER MÁS DE UNA FORMA LÓGICA!]

Para encontrar la forma lógica común a dos enunciados:
i) Identifico el contenido descriptivo (predicados, constantes de individuo, enunciados) y el contenido lógico de(conectivas y cuantificadores) ambos enunciados.

ii) Prestando atención al enunciado con menor riqueza expresiva (aquel cuya simbolización es más simple) trato de obtener su forma lógica.

iii)Trato de “adaptar” el enunciado simbolizado con mayor riqueza expresiva, a la forma lógica del otro enunciado. (Para esto no importa que parte lógica o descriptiva del enunciado “más complejo” sepierda con la abstracción, lo importante es la forma lógica común a ambos enunciados)

FORMA LÓGICA DE RAZONAMIENTO.
Es la expresión que se obtiene al reemplazar en la simbolización del razonamientotodos los enunciados por formas de enunciados.

Ej) A -> B (x Px ^ ((x Qxa -> Rab [ ] -> { }
A ( (x Px ^ ((x Qxa -> Rab ) -> ((z Raz v ¬Pc) [ ]
------------------------------------------------------------------------ --------------
B (z Raz v ¬Pc { }

INTERPRETACIÓN DE UNA FORMA DE RAZONAMIENTO.
Dada una forma lógica de razonamiento, unainterpretación en lenguaje simbólico o lenguaje cotidiano es dar un ejemplo o caso concreto de tal forma, asignando a cada símbolo esquema una secuencia adecuada de símbolos dependiendo de su categoría.

Ej)( x [ ]x -> (y ({ }y v ¬< >)
( x [ ]x
-----------------------------------
(y ( { }y v ¬ < > )

(x Px -> (y ( Qy v ¬ Ra )
(x Px
-----------------------------------
(y ( Qy v ¬ Ra )...