Lgica

La lgica comenz siendo dialctica pero a partir de la dialcticas hegeliano marxistas se pas a
llamar por el nombre de lgica. Ya Aristteles pensaba en una teora de la argumentacin correcta y
de carcter normativo, que dio lugar a un desarrollo de la silogstica, as se fueron buscando
patrones de inferencias a lo largo de la historia.

Frege en el siglo XIX reelabora la lgica proposicional, por eso es considerado el fundador de la
lgica clsica, diferencindose as de la lgica tradicional, que es la que atribuimos a Aristteles.
Sin embargo algn tiempo antes ya se haba matematizado la teora silogstica. Por otro lado en los
aos 30 se desarrollan las lgicas no clsicas que es lo que da un impulso a la lgica y deshecha un
aparente intento de desentendimiento de la filosofa frente a la lgica.

Podemos definir la lgica como un estudio de la consecuencia, una teora de razonamientos vlidos,
un estudio de la coherencia y tambin como una suma de gramtica y semntica. Se considera que
se encarga de la dinmica de la informacin, hay muchos procesos informacionales de los que la
teora lgica se encarga. Una proposicin es un pensamiento objetivo que puede ser transmitido por
medios lingsticos, un pensamiento objetivo debe ser V F rotundamente.

Podemos decir que un enunciado es a una proposicin un envoltorio, es un segmento lingstico que
expresa una proposicin y segn esa proposicin decimos de l si es V F. Una argumentacin es
una sucesin de proposiciones; se pueden distinguir 3 partes en una argumentacin: Premisas
(Cadena de razonamiento) y Conclusin. Al par premisas conclusin se le suele llamar
argumentos, la lgica se encarga de demostrar que la conclusin es una CONSECUENCIA de las
premisas, por lo que es reconocido un pensamiento correcto como aquel donde siempre que las
premisas sean V lo ser tambin la conclusin.

En esta lgica proposicional intervienen unos nexos llamados nexos proposicionales: el lenguaje
est constituido por un conjunto numerable de variables proposicionales (p, q, r...) a lo que le
acompaa un conjunto de constantes lgicas, tambin llamadas conectivos lgicos o
proposicionales ( ^ V ) adems de signos auxiliares como pueden ser los parntesis o corchetes.
Una oracin bien formad es aquella que es una sucesin (capitaneada por el sintaxis) de smbolos.

Existen algunas frmulas lgicas:

Si A es una variable proposicional (y metalingstica) A es una frmula.

Si Aes una frmula, A lo ser tambin.
Si A y B son frmulas, tambin lo son:
A ^ B (y)
A V B (o)
A B (Si...entonces,,,)
Nada mas es una frmula
En la lgica se establece una cierta gramaticalidad, la sintaxis debe cumplir un modelo BNF que
condensa la gramtica: = p | | V | ^ | |

Por ejemplo p ^ (r s) p V es una oracin mal formada y [( p ^ (r s) ) ^ p ] V q es una

oracin bien formada. Una subfrmula de una frmula es una parte de ella y adems tambin es una
frmula en s. El alcance de los signos lgicos viene dado por el efecto que produce en esas
subfrmulas, es decir, un signo mondico tendr un alcance de 1 subfrmula y un didico tendr un
alcance de 2 subfrmulas.
El signo lgico principal es aquel que no cae bajo el alcance de otros signos lgicos, quiere decir
que en [ p ( r (s ^ t)) V (q ^ r) V ser el signo lgico principal.

P es una frmula atmica, es decir, no se puede dividir, p es una negacin de una frmula
atmica, a estas formulas atmicas tambin se le llaman literales (positivos o negativos) o tambin
frmulas elementales; estas frmulas del lenguaje pueden ser tan amplias como el conjunto de los
nmeros naturales ( ), problema que soluciona el principio de induccin completa: Si el 0 tiene
una propiedad y cada vez que la tenga un nmero N tambin la tiene as como la tiene N+1, dicha
propiedad ser aplicable a todos los nmeros naturales.

El grado de una frmula es el nmero de ocurrencias de signos lgicos en la frmula. Si A

representa una frmula, g(A) ser el grado de A. Si A= p (q V r) ^ s, g(A) = 5. As mismo
g( A) = g(A) + 1 y g(A^B) g(A V B) y g(A B) sera igual a g(A) + g(B) + 1.

La semntica pone en relacin el lenguaje con cualquier realidad extralingstica, por otro lado, el
sentido es una proposicin, quiere decir, el sentido es la parte objetiva de un enunciado. La
referencia es el individuo concreto, es lo que denota, en definitiva los valores de verdad. Por tanto,
si queremos dotar de semntica al lenguaje proposicional debemos tener en cuenta estos aspectos.

Estos valores de verdad son 1 (V) o 0 (F), podemos asignar valores de verdad a variables
proposicionales. Si p esuna variable proposicional: v(p) = 0 o bien v (p) = 1, as mismo:
V (A) = 1 syss V (A) = 0
V (A ^ B) = 1 syss V (A) = V (B) = 1
V (A V B) = 1 syss V (A) = 1 o V (B) = 1
V (A B) = 1 syss V (A) = 0 o V (B) = 1

De aqu se deducen unas tablas de verdad:

A
0 1
0 1

A ^ B
1 1 1
1 0 0
0 0 1
0 0 0

A V B
1 1 1
1 1 0
0 1 1
0 0 0
 A B
1 1 1
1 0 0
0 1 1
0 1 0

El nmero de combinaciones equivale a 2 elevado a N, donde N es el nmero de combinaciones

posibles. Ej: A B = 2 al cuadrado= 4 posibles combinaciones.

Cuando hablamos de una valoracin satisfactible hablamos de una valoracin a la cual se le asigna
el valor 1. Si v (A) = 1 decimos que la asignacin v satisface A, encambio si v (A) = 0 decimos que
la asignacin v no satisface A. Hay frmulas no satisfactibles; independientemente del valor que le
demos ser 0. Un ejemplo es p ^ p
p ^ p
1 0 0 1
0 0 1 0

Hablamos en este caso de una contradiccin.

Las proposiciones atmicas son meramente satisfactibles y tambin existen algunas que son
siempre satisfacibles, llamadas universalmente vlidas o tautologas. Ej: p p

p p
1 1 1
0 1 0

La negacin de una tautologa equivale a una contradiccin y viceversa, as mismo si la frmula es

meramente satisfactible, la negacin tambin lo ser.

Siendo un conjunto de frmulas y una frmula; es consecuencia lgica de * syss para todas
las asignaciones. Si el valor (v) satisface toda la frmula de entonces tambin satisface .

*Expresiones equivalentes: entraa lgicamente a ; implica lgicamente . Esto quiere

decir que es lo mismo decir que satisface a y que es consecuencia lgica de . La validez
dice que la verdad de la conclusin se sigue de la vedad de las premisas. Este argumento es vlido
syss la conclusin es consecuencia lgica de las premisas

Ser p q, q satisfactible para p? Mediante reduccin al absurdo, es decir, suponiendo que no

hay consecuencia lgica, intentaremos averiguarlo.

p q q p
1 0/1* 0 1 0 0 1

*Encontramos aqu una violacin del principio de no contradiccin. El supuesto es de negar,

por lo que evidentemente existe una consecuencia lgica: p q, q es satisfactible para
p.
En el lenguaje ordinario hay ciertos trminos que se corresponden con conectivos lgicos:

No, no es el caso que =

y, pero, tambin = ^
o, o bien = V
Si...entonces..., solo si = (Si A entonces B; A solo si B; B, si A = A B)

Si Juan estudia entonces no disfruta de su estancia en Santiago. Pero si Juan no estudia entonces
suspende y si suspende no disfruta de su estancia en Santiago, por tanto Juan no disfruta de su
estancia en Santiago = (p : Juan estudia; q: Juan disfruta de su estancia en Santiago; r: Juan
suspende = [(p q) ^ (( p r) ^ r q ) ] q

Dado esto podemos dividir todo el conjunto de frmulas en 2 clases: Satisfactibles (Meramente
satisfactibles y universalmente vlidas) y no satisfactibles (contradictorias). Cada argumento
odinario tiene como correlato un argumento formal, siempre que las proposiciones de el sean
representables por el lenguaje formal. Cuando fi no es consecuencia lgica de gamma, tambin se
puede decir que fi es semnticamente independiente de gamma. (Ej: Hoy es martes, Barcelona es la
capital de Catalua, por tanto ha subido el precio de los boquerones en la lonja).

p|= q ??? Nada nos puede decir si realmente habr consecuencia lgica absoluta ya que puede haber
asignaciones de valores que satisfagan a p y no satisfagan a q por lo que no existe consecuencia
lgica.

Por ejemplo p p es satisfactible pero no siempre resulta serlo, por lo que podemos decir que es
meramente satisfactible, por otro lado p p es universalmente vlida, pero es tautolgica, siempre
es verdadera pero a cambio no ofrece informacin.

p^q|= p ?? Supuesto: No hay consecuencia lgica. Existe v tal que v (p^q) =1 y v (p)= 0. Haciendo
evaluacin del conjuntor: v (p) = 1 y v (q) = 1. Dadoe sto el supuesto es denegar por lo que hay
consecuencia lgica.

Dos frmulas son equivalentes cuando tienen el mismo valor de verdad en cada situacin posible,
por ejemplo: p q es equivalente a p V q

P q
1 1 1
1 0 0
0 1 1
0 1 0

p V q
0 1 1 1
0 1 0 0
1 0 1 1
1 0 1 0

Tambin podemos demostrar la equivalencia mediante la reduccin al absurdo.

En definitiva, cuando decimos que dos frmulas son equivalentes es porque en cada uno de los
casos sus valores de verdad coinciden. Podemos hablar tambin a raz de esto de la propiedad de
intercambio: Cuando tenemos una subfrmula A y la sustituimos por una subfrmula B equivalente,
las dos frmulas principales se conviertan tambin en equivalentes. Ej: Siendo (AVB) y A ^ B
equivalentes, lo sern tambin estas dos frmulas: (p ^ q) V ( (qVr)) - (p^q) V (q ^r). Hemos
sustituido la subfrmula (qVr) por la subfrmula (q ^r) que mantienen una relacin de
equivalencia y las dos frmulas principales son ahora, segn esta propiedad de intercambio,
equivalentes.

Las tablas semnticas tienen relacin con las tablas de valores de verdad pero no son lo mismo. Las
tablas semnticas son conjuntos de sucesiones de frmulas que se obtienen a travs de un nmero
finito de frmulas iniciales llamadas raz de las que al menos una de ellas ser una frmula
compleja. Esa raz es comn a todas las sucesiones las cuales se obtienen por determinacin de
ciertas reglas,; de esa raz saldrn ramas tras la aplicacin de esas reglas que estn hechas para las
frmulas complejas no para los literales.

Puede haber un par de literales complementarios en una misma rama, se les llama par de
contradiccin, as mismo una tabla acabada ser aquella en la que cada una de las ramas lo est; del
mismo modo una raz es safistactible s y solo si la tabla semntica resultante es abierta, por
contrario, si la tabla semntica resultante es cerrada la raz no ser satisfactible.