Reglas de formacin de frmulas lgicas

Una frmula lgica, es decir, una formula bien formada (FBF) es una cadena de
smbolos construida segn reglas establecidas por la sintaxis lgica. Puede ser de
dos tipos: atmica y molecular.
Una frmula atmica es aquella que no contiene entre sus smbolos ningn operador
y puede ser representada por una variable proposicional, mientras que una frmula
molecular contiene entre sus signos, al menos, un operador.
La sintaxis lgica es una disciplina metalgica que estudia el lenguaje de la lgica
desde el punto de vista normal, es decir, sin interesarse ms que por las relaciones
entre los smbolos. Ella permite la construccin de frmulas bien formadas
estableciendo, con tal objeto, las reglas para usar y combinar smbolos.
Las siguientes son reglas de la sintaxis lgica que posibilitan la construccin de
frmulas bien formadas:

Formalizacin de proposiciones

Formalizar una proposicin significa abstraer su formula 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 una formula lgica y su frmula. La forma lgica de una
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 solo 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 dignos de agrupacin se usan para establecer la jerarqua entre los
operadores de una frmula lgica, pero slo cuando su omisin la hace ambigua.
Formalizacin de inferencias
Una inferencia (razonamiento, deduccin, argumentacin o argumento) es una
operacin lgica que consiste en derivar a partir de la verdad de ciertas
proposiciones conocidas como premisas la verdad de otra proposicin conocida
como conclusin.
Las premisas de una inferencia son proposiciones que ofrecen las razones para
aceptar la conclusin. Preceden a las premisas, en inferencias desordenadas, las
palabras puesto que, ya que, pues, porque, siempre que, si, etc.
La conclusin de una inferencia es la proposicin que se afirma sobre la basa de las
premisas. Preceden a la conclusin las palabras luego, por lo tanto, por
consiguiente, en consecuencia, etc. Adems, en inferencias desordenadas, la
proposicin inmediatamente anterior a las palabras que preceden a las premisas es
la conclusin.
Formalizar una inferencia significa abstraer su forma lgica, vale decir, explicitar
su estructura sintctica a travs del lenguaje formalizado de la lgica. La tcnica
de formalizacin de inferencias queda expuesta a travs de los siguientes paso:

a) Se ordena la inferencia, pero slo en el caso de que su forma lgica haya sido
alterada en el lenguaje natural, observando el esquema: premisa-conclusin.
b) Se explica u estructura lgica empleando las conjunciones y, o, si
entonces...., si y slo si y el adverbio no, en lugar de sus expresiones
equivalentes, simultneamente, se disponen las premisas y la conclusin una
debajo de la otra. Entre la ltima premisa y la conclusin se escribe una barra
horizontal y la palabra luego, en consecuencia, o por tanto, antes de la
conclusin.
c) Se halla su frmula lgica sustituyendo cada proposicin atmica por una
variable proposicional distinta, las conjunciones gramaticales por sus operadores
lgicos correspondientes, el adverbio no por el operador negativo y la palabra
luego por el smbolo Los signos de agrupacin se usan para establecer la jerarqua
entre los operadores de una frmula, pero slo cuando su omisin la hace ambigua.
d) Se construye una frmula condicional que tenga como antecedente las premisas
unidas por el operador conjuntivo y como consecuente la conclusin, de tal forma
que la estructura lgica de cualquier inferencia quede representada
esquemticamente de la siguiente manera:

Funciones veritativas y tablas de la verdad

Definicin tabular de los operadores lgicos
De la conjuncin
Una frmula conjuntiva p^q es verdadera si y solo si p es verdadera y q
tambin es verdadera. En los dems casos la formula p^q es falsa.

Tabla de verdad
Donde n representa a f y v (siempre se tiene en cuenta). Y el exponente es el
numero de variables proposicionales que se tienen en la formula ya formalizada, en
este caso 2. El resultado en este caso 4 nos indica el nmero de arreglos que tienen
estas dos variables. Despus de esto procedemos a ubicar la tabla de verdad en el
campo de las variables, de tal forma que en la primera variable se ubiquen la
mitad en v y la mitad en f, en la otra variable hacemos lo mismo pero de forma que
queden ubicados las v y las f respecto a la mitad de la primera variable, es decir,
en p quedara vvff y en q vfvf.

Ubicamos la variables al lado izquierdo y en el derecho Se ubica la formula a la

cual se le va a hacer la tabla, ya ubicados los arreglos posibles procedemos a
solucionarla, teniendo en cuenta que para que sea v p^q tienen que ser las dos
verdaderas.

De la disyuncin inclusiva
Una frmula disyuntiva inclusiva p v q es falsa si y slo si p es falsa y q
tambin es falsa. En los dems casos la frmula p v q es verdadera.

De la disyuncin exclusiva
Una frmula disyuntiva es verdadera si y slo si las variables p y q no tienen el
mismo valor. En los dems casos es falsa.

Del condicional
Una frmula condicional es falsa si su antecedente p es verdadero y su
consecuente q es falsa. En los dems casos es verdadera.

Del bicondiconal
Una frmula bicondicional es verdadera si y slo si las variables p y q tienen el
mismo valor. En los dems casos es falsa.

De la negacin
Una frmula negativa es verdadera si y slo si la variable p es falsa y es falsa si y
slo si es verdadera. Justamente debido a que el operador negativo tiene como
funcin transformar el valor verdadero en falso y viceversa se llama operador
inversor.

De la negacin conjunta
Una formula es verdadera si y slo si p es falsa y q tambin es falsa. En todos
los dems casos es falsa.

De la negacin alterna
Una frmula negativa alterna pq es falsa si y slo si p es verdadera y q

tambin es verdadera. En todos los dems casos es verdadera.

Definicin tabular de frmulas moleculares complejas

Las frmulas moleculares definidas anteriormente a travs de la tabla de la verdad
son elementales en la medida en que contienen un solo operador y dos variables. En
adelante trabajaremos con frmulas moleculares complejas, es decir, frmulas que
contienen dos o ms operadores distintos o dos o ms veces el mismo operador.
Para definir tabularmente frmulas moleculares complejas se deben observar los
siguientes pasos:
Paso 1. Dada la frmula molecular compleja se establece la jerarqua entre sus
operadores a travs de los signos de agrupacin:

Paso 2. Se construye las matrices secundarias que corresponden a las de los

operadores de menor jerarqua aplicando sus respectivas definiciones:

Paso 3. Se construye, finalmente, la matriz principal que corresponde a la del

operador de mayor jerarqua aplicando la definicin correspondiente a las marices
de los operadores que la siguen en jerarqua:

La matriz principal, como podr observarse, se ha obtenido aplicando la definicin

del operador negativo a los valores de la matriz 2. La matriz 2 se obtuvo aplicando
la definicin del operador disyuntivo a los valores de las matrices 2. La matriz 3
del lado izquierdo se ha obtenido aplicando la definicin del operador disyuntivo
inclusivo a los valores p y q. La matriz del lado derecho se ha obtenido aplicando
la definicin del operador condicional a los valores de las matrices 4. La matriz 4
del lado izquierdo se ha obtenido aplicando la definicin del operador negativo a
los valores de q y la matriz 4 del lado derecho, aplicando la definicin del
operador negativo a los valores de p.

Clasificacin de las frmulas moleculares por su matriz principal

Las tablas de verdad nos permiten clasificar a las frmulas moleculares, atediendo
a su matriz principal, en tautolgicas, consistentes y contradictorias
(inconsistentes).

Las frmulas moleculares tautolgicas (FMT), llamadas tambinleyes lgicas, son

aquellas en que los valores de su matriz principal son todos verdaderos.

Frmulas moleculares consistentes (FMC), son aquellas en que algunos de los

valores de su matriz principal son verdaderos y algunos falsos.

Frmulas moleculares contradictorias , denominadas tambin frmulas

inconsistentes, son aquellas en que los valores de su matriz principal son todos
falsos.

Implicacin y equivalencias de frmulas

Implicacin de frmulas

Una frmula A implica a B si y slo si unidas en forma condicional, A como

antecedente y B como consecuente, su matriz resulta tautolgica; si su matriz es
consistente o contradictoria, se dice que A no implica a B.

Equivalencia d frmulas
Dos frmulas A y B son equivalentes si y slo si sus matrices son iguales; si sus
matrices son diferentes, se dice que A y B no son equivalentes.

Inferencias:

La inferencia es la forma en la que obtenemos conclusiones en base a datos y

declaraciones establecidas.

Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.

Inductiva: (de lo particular a lo general): La inferencia inductiva es la conclusin

que se obtiene de distintos casos y no se puede decir si la conclusin es verdad en
general.

Deductiva: (de lo general a lo particular): La inferencia deductiva es cuando

tenemos un caso en que analizamos todos los resultados y de acuerdo a las
premisas slo hay una posible situacin, en este caso decimos que la situacin
nica es la conclusin, y si estas premisas son verdaderas entonces la conclusin
tambin lo es.
En este caso se encuentran MPP: Modus Ponendo Ponens y MTT: Modus Tollendo
Tollens que de acuerdo a la tabla de verdad de la condicional son dos formas de
establecer una inferencia vlida.

Transductiva: (de particular a particular o de general a general)

Al igual que el caso inductivo, es difcil asegurar que la conclusin es verdadera.

Abductiva: De la misma forma que la deductiva, tambin analiza todas las

posibilidades, pero aqui hay varios casos que se pueden presentar de los cuales no
se tiene la certeza de ser verdadera, y es necesario tener ms informacin para
poder verificar su validez.

Principales reglas y leyes de la lgica proposicional:

MPP Modus ponendo ponens

AB
A
----B
MTT Modus tollendo tollens
AB

~B
----~A
SH Silogismo hipottico
AB
BC
----AC
SD Silogismo Disyuntivo
AvB
~A
----B
AvB
~B
----A
DC Dilema Constructivo
AB
CD
AvC
----BvD
DD Dilema Destructivo
AB
CD
~B v ~D
----~A v ~C
Simp. Simplificacin
A^B

----A
A^B
----B
Conj. Conjuncion
A
B
----A^B
Ad. Adicin
A
----AvB

El mtodo de la deduccin natural

La deduccin natural cono un mtodo sintctico y no algortmico
El mtodo de la deduccin natural fue propuesto en 1943 por el investigador
Gerhard Gentzen. Desde entonces se conocen diversas variantes de l que algunos
textos de lgica presentan como reglas para construir derivaciones, deducciones o
pruebas formales. Pertenece al grupo de los mtodos sintcticos, y dentro de stos
a los no algortmicos. Es sintctico porque procede slo por transformaciones de
las frmulas aplicando a las premisas una serie de reglas o leyes lgicas
previamente adoptadas. Es no algortmico porque el nmero de pasos no puede
prescribirse previamente en su totalidad, su eficiencia va de acuerdo q la
capacidad natural o adquirida del que lo aplica.
Procedimiento:
De acuerdo al mtodo de la deduccin natural, para evaluar una inferencia, es
decir, para mostrar que la conclusin de una inferencia se sigue lgicamente de las
premisas, es preciso indicar las reglas de inferencia vlidas elementales que
conducen de las premisas a la conclusin.
Dada una inferencia cualquiera, el proceso derivativo consta de los siguientes
pasos:

Paso 1. Se asigna a cada proposicin atmica su correspondiente variable.

Paso 2. Se simbolizan las premisas y la conclusin disponiendo aqullas en forma
vertical y escribiendo la conclusin a continuacin de la ltima premisa en el mismo
rengln. Entre la ltima premisa y la conclusin se escribe una barra separadora /
seguida del smbolo que se lee luego o por lo tanto.
Paso 3. Se procede a ejecutar las derivaciones tomando como punto de partida
cualquier de las premisas, siempre que sea factible, e indicando a la derecha en
forma abreviada de qu premisas y mediante qu ley o regla se ha obtenido la
nueva expresin.

Modalidades de la deduccin natural

Prueba directa (PD)
Sea la inferencia siguiente:
Si hay abundancia de peces. Habr abundante arina de pescado. Si hay abndate
harina de pescado, se incrementa la exportacin. La exportacin no se incrementa.
O hay abundancia de peces o ser preciso recurrir a otras actividades. Luego, ser
preciso recurrir a otras actividades.
A) Se halla su forma lgica:
1. si hay abundancia de peces, entonces habr abundante harina de pescado.
2. Si hay abundante harina de pescado, entonces se incrementa la exportacin.
3. La exportacin no se incrementa.
4. O hay abundancia de peces o ser preciso recurrir a otras actividades.
Luego. Ser preciso recurrir a otras actividades.
B) Se halla su frmula: se determinan las variables y se expresan simblicamente
las premisas y la conclusin.
p: hay abundancia de peces
q: hay abundancia de harina de pescado
r: se incrementa la exportacin

s: ser preciso recurrir a otras actividades

C) Se efectan las derivaciones

Habindose obtenido la conclusin, puede afirmarse que la inferencia original es

correcta o vlida.
No es necesario, ni siempre es posible, comenzar las derivaciones por la primera
premisa; se puede comenzar por cualquier otra, siempre que ello sea posible. En el
ejemplo propuesto, se puede partir de la segunda premisa comparndola con la
tercera, de la manera siguiente:

El primer proceso se ha utilizado SH, MT y SD. En cambio, en el segundo

procedimiento se ha empleado dos veces el MT y luego el SD.
La prueba condicional (PC)
La prueba condicional (PC) es una modalidad dentro del mtodo de la deduccin
natural y se aplica en los casos en que una inferencia tenga conclusin condicional
o implicativa
En efecto, siendo la conclusin una frmula condicional o implicativa
necesariamente tendr antecedente y consecuente. Para saber si una conclusin de
este tipo se deriva de las premisas se deriva de las premisas dadas se agrega el
antecedente de la conclusin a las premisas, y, luego, aplicando a este nuevo
conjunto de premisas las reglas o leyes lgicas ya conocidas, se realizan las

derivaciones hasta obtener el consecuente de la conclusin.

Procedimiento
Dado el caso de que la conclusin de una inferencia sea una frmula condicional o
implicativa:
Paso 1. Se toma primeramente su antecedente y se introduce como una nueva
premisa (PA: premisa adicional).
Paso 2. Se efectan las derivaciones corriendo la demostracin algunos lugares
hacia la derecha hasta hallar el consecuente de la conclusin.
Paso 3. Se une implicativamente la premisa adiciona con el ltimo paso logrado
volviendo la demostracin a la izquierda, a la posicin original.
Ejemplo:

La prueba por la reduccin al absurdo (PRA)

Esta es otra modalidad dentro del mtodo de la deduccin natural. Resulta de la
fusin de la regla de la prueba condicional y de la nocin de contradiccin; de aqu
su nombre de reduccin al absurdo.
Consiste en introducir como premisa adicional la negacin de la conclusin para
llegar a encontrar una contradiccin en las premisas. Es decir, se supone la
falsedad del consecuente para llegar a la falsedad del antecedente, mostrando de
esta manera que la conclusin se halla implicada en las premisas (demostracin

indirecta).
El sentido de esta demostracin se puede entender fcilmente si se recuerda que
por el modus tollens (MT) se puede deducir la negacin del antecedente de una
implicacin cuando se niega el consecuente, es decir, cuando se sabe que el
consecuente es falso.
Procedimiento
Dada una inferencia cualquiera:
a) Se niega la conclusin y se introduce como una nueva premisa
b) Se efectan las derivaciones corriendo la demostracin varios lugares hacia la
derecha hasta encontrar una contradiccin.
c) Se un en forma condicional o implicativa la premisa adicional con la
contradiccin hallada, a travs de la regla de la prueba condicional, volviendo la
demostracin a la izquierda, a la posicin original.
d) Se establece la conclusin deseada como una inferencia lgicamente deducida de
las premisas por la reduccin al absurdo.

Formas normales
Concepto de formas normales
Es importante anotar que unas frmulas pueden reducirse a otras. Por ejemplo, la
formula condicional puede reducirse a la negacin de la conjuncin o a la
disyuntiva ,que son sus equivalente.
La transformacin de unas frmulas en otras da origen a un verdadero clculo
lgico de acuerdo a reglas precisas que permiten pasar de formas complicadas a
reglas precisas que permiten pasar de formas complicadas a formas simples. De
aqu nace un nuevo procedimiento decisorio, llamado de las formas normales, cuyo
carcter es sintctico ya que slo se toman en cuenta las relaciones de los smbolos
entre s.
Se llaman formas normales a aquellas frmulas constituidas nicamente por
conjunciones ^, disyunciones v y negaciones que slo afectan a variables. Las
formas normales son frmulas moleculares compuestas por conjunciones o
disyunciones bsicas, cuyos elementos son variables negadas o sin negar.