Clculo lgico

Clculo lgico
El clculo lgico, o derivacin lgica, es un algoritmo o sistema lgico que permite inferir o deducir un enunciado
verdadero a partir de otro u otros que se tienen como vlidamente verdaderos.
La inferencia o deduccin es una operacin lgica que consiste en obtener un enunciado como -conclusin- a partir
de otro(s) -premisa(s)- mediante la aplicacin de reglas de inferencia.
Decimos que alguien infiere -o deduce- "T" de "R" si acepta que si "R" tiene valor de verdad V, entonces,
necesariamente, "T" tiene valor de verdad V.
Las personas en nuestra tarea diaria, utilizamos constantemente el razonamiento deductivo; partimos de enunciados
empricos -supuestamente verdaderos y vlidos- para concluir en otro enunciado que se deriva de aquellos.
La lgica matemtica, como ciencia formal, se ocupa de analizar y sistematizar las reglas que permiten la
transformacin de unos enunciados -premisas- en otros -conclusiones- con objeto de convertir las operaciones
deductivas en un clculo riguroso y eficaz.
Al aplicar las reglas de este clculo lgico a los enunciados que forman un argumento, previa la simbolizacin
adecuada de los enunciados en frmulas o Expresiones bien formadas (EBF)[1] construimos un modelo dentro de un
sistema deductivo que, referido al lenguaje ordinario, llamamos de Clculo de deduccin natural.
La representacin grfica de los smbolos (constantes lgicas) no est normalizada, lo que lleva a veces a ciertas
dificultades de interpretacin.

Sistematizacin de un clculo
Reglas de formacin de frmulas
I.- Una letra enunciativa (con o sin subndice) es una EBF (Expresin Bien Formada - en ingls wff o sea wellformed formula que significa frmula bien formada).
II.- Si A es una frmula, A tambin lo es.
III.- Si A es una EBF y B tambin, (A /\ B); (A \/ B); (A B); (A B) tambin lo son.
IV.- Ninguna expresin es una frmula del Clculo sino en virtud de I, II, III.
Nota: A, B,... con maysculas estn utilizadas como metalenguaje en el que cada variable expresa cualquier
proposicin, atmica o molecular.
Nota: Para la definicin como funcin lgica de , /\, \/, , y , vase Tabla de valores de verdad
Reglas de transformacin
R.T.1: Dada una tesis EBF del clculo, en la que aparecen variables de enunciados, el resultado de sustituir una,
algunas o todas esas variables por expresiones bien formadas (EBF) del clculo, ser tambin una tesis EBF del
clculo. Y ello con una nica restriccin, si bien muy importante: cada variable ha de ser sustituida siempre que
aparece y siempre por el mismo sustituto.
Veamos el ejemplo:

Clculo lgico

1
2

Regla de Transformacin
donde

; y donde
donde

O viceversa
1

Regla de Transformacin

2
3

donde
donde

; y donde

Esta regla recibe el nombre de regla de sustitucin

R.T.2: Si X es una tesis EBF del sistema y lo es tambin X --> Y, entonces Y es una tesis EBF del sistema.
Esta regla recibe el nombre de regla de separacin
Sobre la base de estas dos reglas, siempre podremos reducir un argumento cualquiera a la forma:
[A /\ B /\ C...... /\ N ] ----> Y
lo que constituye un esquema de inferencia en el que de la verdad de las premisas A, B, N y su producto, podemos
obtener la conclusin Y.

Concepto de modelo
Cuando en un Clculo C, se establece una "correspondencia" de cada smbolo con elementos determinados
individuales distinguibles entre s, de un Universo L, real (tal universo L no es un conjunto vaco, por las mismas
condiciones que hemos establecido), ENTONCES se dice que L es un MODELO de C.

El lenguaje natural como modelo de un clculo lgico

Naturalmente el clculo lgico es til porque puede tener aplicaciones.
Pero en qu consiste o cmo se hacen tales aplicaciones?
Para el clculo de enunciados podemos considerar que el lenguaje natural es un modelo de C si podemos
someterlo, es decir, aplicarle una correspondencia en C. Este proceso es lo que se llama formalizacin del
lenguaje.
El lenguaje cientfico necesita "formalizar el lenguaje" a fin de evitar ambigedades en las expresiones y en los
contenidos semnticos de las palabras.
Cuando es posible se llega a una formalizacin completamente sometida a reglas previamente establecidas, como se
pretende en este caso, y los elementos que constituyen las Expresiones bien formadas (EBF)s del lenguaje natural se
pueden sustituir por variables sin significado, sin contenido semntico alguno porque realizaran la misma funcin
que cualquier expresin de la lengua que cumpla la funcin sintctica de la expresin. Entonces podemos proceder
como en un clculo.
No siempre es posible, pero es, sera, el lenguaje ideal de la ciencia,[2] porque evitara la necesidad de
"interpretacin". No habra ms que sustiuir variables por variables lingsticas y constantes por sus expresiones
lingsticas formalizadas.
Es lo que se pretende en este apartado: someter las expresiones del lenguaje natural a unas variables simblicas
mediante unas reglas de simbolizacin:

Clculo lgico

Reglas de simbolizacin
Regla I.
Cada uno de los enunciados simples del lenguaje natural se sustituir por variables proposicionales simbolizadas por
letras minsculas: p, q, r, s, t,.....
Regla II.
Las expresiones del lenguaje natural tales como "no", "no es cierto", "no es el caso que" "es falso", "es imposible" y
todas aquellas que sean equivalentes, se sustituirn por el smbolo de negacin lgica:
Llueve: p; No llueve: p
Regla III.
Las expresiones del lenguaje natural tales como "y", "ni", "pero", "que", "mas", y todas las que sean equivalentes, se
sustituyen por el smbolo de conjuncin lgica:
Llueve: p; Hace fro: q; Llueve y hace fro: p q;
Regla IV.
Las expresiones del lenguaje natural tales como "o", "o...o", "bien...bien", "ya...ya", y sus equivalentes, se sustituyen
por el smbolo de disyuncin lgica:
Llueve: p; Hace fro: q; O llueve o hace fro: p q
Regla V.
Las expresiones naturales tales como "si.... entonces", "luego...", "por tanto", "por consiguiente", "con tal que...", "se
infiere", "se deduce" y sus equivalentes se sustituirn por el smbolo de implicacin lgica o condicional material:
Llueve: p; Hace fro: q; Si llueve entonces hace fro: p q
Regla VI.
Las expresiones del lenguaje natural tales como "...si y solo si...", "...equivale a...", "...es igual a...", "vale por...",
"...es lo mismo que...", y sus equivalentes se sustituirn por el smbolo bicondicional:
Llueve: p; Hace fro: q; Llueve si y solo si hace fro: p q
Uso de parntesis:
1.- No se utiliza parntesis en aquellos casos en que los conectores afecten a enunciados simples o atmicos.
2.- Se utiliza parntesis cuando el conector afecte a toda una conjuncin, disyuncin, condicional o bicondicional.
3.- Se utiliza el parntesis en las expresiones conjuntivas y disyuntivas precedidas o seguidas de un condicionador o
bicondicionador.
4.- Se utiliza el parntesis en las expresiones que nos interese precisar la dominancia del conector, o bien porque los
conectores posean la misma dominancia -como en el caso del conjuntor y del disyuntor que son idempotentes- o bien
porque el sentido de la expresin exige la alteracin de la dominancia de las conectivas fuertes -el condicionador y el
bicondicionador que son las conectivas fuertes.

Clculo lgico

Cadena deductiva
Es una secuencia finita de enunciados de los cuales uno, la conclusin, se sigue necesariamente de los anteriores.
Cada enunciado que forma parte de una determinada cadena deductiva constituye una lnea de derivacin.
- Las distintas lneas de derivacin se colocarn una debajo de otra numeradas correlativamente a partir del uno.
- Las lneas correspondientes a las premisas iniciales irn provistas de un guion que preceder al nmero que tengan
asignado.
- Si la lnea corresponde a una frmula inferida, se indicar a su derecha la regla aplicada y las premisas o las lneas a
las que se ha aplicado la regla.
N lnea

EBF

Regla

Lneas

-1

Premisa

-2

Premisa

&

EBF

Regla S

lnea , 2

EBF

Regla R

lnea 1

n-2

EBF

Regla X

lneas 1, $

n-1

EBF

Regla T lneas 2, (n-2)

EBF

Regla U lneas &, (n-1)

Cierre

Conclusin

De qu manera puede obtenerse la conclusin?

a) La conclusin puede obtenerse "directamente" aplicando reglas de inferencia sobre las premisas iniciales.
b) Cuando en el desarrollo de la derivacin es necesario utilizar premisas adicionales (supuestos no contemplados en
las premisas dadas), decimos que la derivacin es "subordinada", esto es, la obtencin de la conclusin se subordina
a la utilizacin de tales supuestos.
c) En caso de que la conclusin no pueda obtenerse por los mtodos ya reseados, recurriremos a la derivacin
"indirecta" o de "reduccin al absurdo".
Observaciones tcnicas
- Las lneas de derivacin que introducen provisionalmente supuestos no contemplados en las premisas iniciales,
debern llevar una seal en escuadra mirando hacia abajo. El significado de la seal es: "supongamos por el
momento..."
Lnea n

X Significa que X es un supuesto provisional no contemplado en las premisas.

Lnea n+1

Lnea no utilizable fuera del supuesto.

Lneas

Lnea no utilizable fuera del supuesto.

lnea n+a

Y Significa el cierre del supuesto y su cancelancin

- Los supuestos provisionales debern ser cancelados antes de establecer la conclusin. Un supuesto provisional
queda cancelado cuando, en una lnea posterior de dicha derivacin, se obtiene una frmula tal que permite la
deduccin inmediata de otra frmula que es independiente del referido supuesto. La cancelacin de un supuesto se
expresa cerrando la escuadra.
- La reduccin al absurdo consiste en suponer como premisa provisional la negacin de la frmula que se pretende
demostrar y obtener, mediante este supuesto, una contradiccin. La consecuencia lgica ser la negacin del
supuesto, es decir, la afirmacin de la conclusin deseada.

Clculo lgico

- Todo supuesto provisional o las frmulas de l derivadas incluidas dentro de las escuadras no podrn utilizarse
despus de la cancelacin del supuesto como elementos de nuevas inferencias.

Reglas del clculo de deduccin natural. Clculo proposicional

En este clculo la proposicin lgica es considerada como un todo en su condicin de poder ser V, verdadera, o F,
falsa.
Se distinguen las reglas primitivas y las derivadas. Las derivadas son producto de las primitivas, pero facilitan y
reducen los pasos de la deduccin. Asimismo las de reemplazo significan que una expresin puede ser sustituida
directamente por su equivalente, a veces como definicin.

Reglas primitivas
Ejemplo de clculo proposicional
- (t/\v)-->p
Clculo de Deduccin
- 1 t--> c
- 2 v --> m
- 3 (m /\ c) --> p
4 t /\ v Supuesto
5 t E.C.4
6 v E.C.4
7 c M.P.1,5
8 m M.P.2,6
9 m /\ c I.C.7,8
10 c /\ m C.C.9
11 p M.P.3-9
___________ Cierre supuesto
12 (t /\ v) --> p I.I.4-10
Las reglas primitivas son las siguientes:
Introduccin del negador, demostracin indirecta o absurdo I.N.
lnea (n)

Supuesto provisional

Lneas derivadas provisionales

no utilizables fuera del supuesto

lnea (n+a)

B /\ B

Regla I.C, lnea s, r

_________ Lnea de cierre

Lnea (n+a)+1

Regla I.N. lneas (n - n+a+1)

Eliminacin del negador o Ex contradictione quodlibet ECQ

Conclusin

Clculo lgico

lnea n

Frmula de la cadena

lnea n+a

Frmula de la cadena

_______ Lnea de cierre

C

Regla E.N.,lneas n, n+a Conclusin

Resulta curiosa esta regla, pero es la que justifica argumentos tales como: "Si esto que dices es verdad, yo soy el
Papa de Roma", que, son vlidos aunque intiles, pues se da por supuesta la falsedad de las premisas.
Por eso "ex contradictione quod libet", es decir, de una contradiccin podemos concluir lo que queramos.
Introduccin del conjuntor o producto: I.C.
lnea n

Frmula de la cadena

lnea n+a

Frmula de la cadena

_______ Cierre
A /\ B

Regla I.C., lneas n, n+a Conclusin

Eliminacin del conjuntor o simplificacin: E.C.

lnea n

A /\ B
_________ Cierre
A

Regla E.C. lnea n Conclusin

Introduccin del disyuntor o adicin: I.D.

lnea n

Frmula de la cadena

_________ Cierre
A \/ B

Regla I.D., lnea n

Conclusin

Eliminacin del disyuntor o casos: E.D.

lnea n

A \/ B

lnea (n+1)

Supuesto provisional

Lneas derivadas provisionales

no utilizables fuera del supuesto

lnea (n+ b)

Regla X, lnea s, r

lnea (n+x)

Supuesto provisional

Lneas derivadas provisionales

no utillizables fuera del supuesto

lnea (n+x)+a

Regla T, lnea t, r

_________ Cierre
C

Casos,lneas [(n+1-n+b),(n+x-n+x+a)]

Introduccin del implicador o teora de la deduccin I.I.

Clculo lgico

lnea (n)

Supuesto provisional

Lneas derivadas provisionales

no utilizables fuera del supuesto

lnea (n+a)

Regla X, lnea s, r

_________

Cierre

AB

Regla I.I. lneas (n+1-n+b),conclusin

Lnea (n+b)+1

Eliminacin del implicador o Modus ponens E.I.

lnea n

AB

Frmula de la cadena

lnea n+a

Frmula de la cadena

_________ Cierre
B

Regla E.I., lneas n, n+a Conclusin

Reglas derivadas
Algunas de las reglas derivadas ms utilizadas:
Silogismo hipottico o Transitividad del condicional S.H.
lnea n

AB

Frmula de la cadena

lnea n+a

BC

Frmula de la cadena

_________ Lnea de cierre

AC

Regla S.H., lneas n, n+a Conclusin

Silogismo disyuntivo o inferencia de la alternativa S.D.

lnea n

AB

Frmula de la cadena

lnea n+a

Frmula de la cadena

_________ Lnea de cierre

B

Regla S.D., lneas n, n+a Conclusin

Modus tollens M.T.

lnea n

AB

Frmula de la cadena

lnea n+a

Frmula de la cadena

_________ Lnea de cierre

A

Regla M.T., lneas n, n+a Conclusin

Clculo lgico

Reglas de Reemplazo
En las que las lneas de cierre son dobles indicando que ambas frmulas son equivalentes, es decir, pueden
sustituirse directamente una por otra puesto que su conexin es un bicondicional
Leyes de De Morgan
lnea n

(A /\ B)

Frmula de la cadena

============ Doble lnea de cierre

( A \/ B)

lnea n

Regla de De Morgan 1., lnea n. Conclusin

(A \/ B)

Frmula de la cadena

============ Doble lnea de cierre

( A /\ B)

Regla de De Morgan 2., lnea n. Conclusin

Conmutacin de la conjuncin
lnea n

A /\ B

Frmula de la cadena

============ Doble lnea de cierre

B /\ A

Conmutacin conjuncin CC., lnea n. Conclusin

Conmutacin de la disyuncin
lnea n

A \/ B

Frmula de la cadena

============ Doble lnea de cierre

B \/ A

Conmutacin disyuncin CD., lnea n. Conclusin

Asociativa de la conjuncin AC.'

lnea n

[A /\ (B /\ C)]

Frmula de la cadena

============ Doble lnea de cierre

[(A /\ B) /\ C]

Asociativa conjuncin AC., lnea n. Conclusin

Asociativa de la disyuncin AD.

lnea n

[A \/ (B \/ C)]

Frmula de la cadena

============ Doble lnea de cierre

[(A \/ B) \/ C]

Distributiva de la conjuncin

Asociativa disyuncin AD., lnea n. Conclusin

Clculo lgico

lnea n

[A /\ (B \/ C)]
============

Frmula de la cadena
Doble lnea de cierre

[(A /\ B) \/ (A /\ C)]

Distributiva de la conjuncin DC., lnea n. Conclusin

Distributiva de la disyuncin
lnea n

[A \/ (B /\ C)]

Frmula de la cadena

============

Doble lnea de cierre

[(A \/ B) /\ (A \/ C)]

Distributiva de la disyuncin DD., lneas n. Conclusin

Doble negacin
lnea n

Frmula de la cadena

============ Doble lnea de cierre

A

Doble negacin DN., lnea n. Conclusin

Transposicin
lnea n

(A B)

Frmula de la cadena

============ Doble lnea de cierre

(B A)

Transposicin., lnea n. Conclusin

Definicin del implicador

lnea n

AB

Frmula de la cadena

============ Doble lnea de cierre

A \/ B

Implicacin, Imp., lnea n. Conclusin

Equivalencia 1
lnea n

AB
============

Frmula de la cadena
Doble lnea de cierre

[(A B) /\ (B A)

Equivalencia 1., lnea n. Conclusin

Equivalencia 2
lnea n

AB
============
[(A /\ B) \/ (A /\ B)

Exportacin

Frmula de la cadena
Doble lnea de cierre
Equivalencia 2., lnea n. Conclusin

Clculo lgico

10

lnea n

[(A /\ B) C]

Frmula de la cadena

============ Doble lnea de cierre

[A (B C)]

Exportacin. Exp., lnea n, Conclusin

Identidad
lnea n

Frmula de la cadena

============ Doble lnea de cierre

A

Identidad, lnea n,

Conclusin

Tautologa
lnea n

Frmula de la cadena

============ Doble lnea de cierre

(A \/ A)

Exportacin. Exp., lnea n. Conclusin

Clculo como lgica de clases

La lgica de clases considera la proposicin considerando la pertenencia o no pertenencia de un elemento o
individuo a una determinada clase. Es la interpretacin de una proposicin o enunciado lingstico bajo la
formalizacin de la teora de conjuntos.
Por clase se entiende un conjunto de individuos que tienen una propiedad comn. Ntese que la propiedad define a la
clase, no al individuo, lo que lo diferencia esencialmente de la lgica de predicados. En este caso, por tanto, el valor
de verdad viene dado por la pertenencia o no pertenencia a una clase. Por ello, la tabla de valores de verdad se
explicita como tablas de pertenencia.
As, no es lo mismo decir: "Hs = Scrates es un hombre" (donde atribuimos una cualidad que atae al ser mismo de
Scrates), que decir: "S H = Scrates pertenece a la clase de los hombres."
La clase tiene sentido aun cuando no existan individuos. As, la clase hombre, como concepto de hombre, existe
aunque no existan los hombres. De la misma forma que existe el concepto de "caballos con alas", aun cuando no
existan pegasos.
Actualmente la lgica llamada tradicional, silogstica, se interpreta como lgica de clases.
Elementos y su simbolizacin
Universo: es la clase de todas las clases, de todos los elementos del universo que
estemos considerando. Se la llama clase universal. U
Clase vaca: clase que no tiene ningn elemento :
Individuos:
Clase: conjunto de individuos que tienen una propiedad en comn. Puede
significarse de varias maneras:
A=

- Por enumeracin

A = (Todos los nacidos en Asturias) - Por definicin de una propiedad

A=
Pertenencia:

( x/ nacido en Asturias) - Por un funcin proposicional cuantificada[3]

No pertenencia:

Clase vaco

Clculo lgico

Generalizador:
Particularizador:
Conectivas :

11
Todo x.[4]
Algn x.[5]
- Definidas de igual forma que en la lgica de

enunciados relativas a la pertenencia o no pertenencia de un individuo a una

clase.
La negacin se define como una operacin entre las clases, la clase
complementaria.

Clase universal

Operaciones entre las clases y su simbolizacin

a) Clase complementaria: clase complementaria de una clase A es la
clase formada por todos los elementos que no pertenecen a esa clase A.

Observemos que equivale a la negacin.

Clase complementaria

Unin de clases:

Clase interseccin:

Clculo lgico

12

Clase diferencia:

Clase diferencia simtrica:

Definicin Clase Complementaria

b) Clase unin o unin de clases: la clase unin de dos clases A y B es la clase formada por los elementos que
pertenecen a una o a otra clase.
A=
B=
=
Observamos que equivale a la disyuncin.

Clculo lgico

13

Definicin Clase Unin de Clases

b)Interseccin de clases o clase interseccin: clase interseccin de dos clases A y B es la clase formada por los
elementos que pertenecen a una y a otra clase.
A=
B=
=

Definicin Clase Interseccin de Clases

Observamos que equivale a la conjuncin.

c)Diferencia: clase diferencia es la clase formada por los elementos de A que no pertenecen a B.
A=
B=
=

Definicin Clase Diferencia de Clases

Clculo lgico

14

Relaciones entre las clases

a) Identidad o equivalencia: puede suceder que todos los miembros
de una clase lo sean tambin de otra, y viceversa. Por ejemplo:
;

;
A = Todos los nios que tienen un ao de edad. B = Todos los nios
nacidos hace un ao.
Pongamos atencin en que la equivalencia se refiere a la extensin de
los individuos que pertenecen a la clase, pero formalmente la
propiedad que la define puede ser diversa. Por ello tiene sentido decir
A = B como clases diferentes, pero equivalentes.

Equivalencia de clases:

b) Inclusin: cuando todos los miembros de una clase pertenecen a

otra
;

;
c) Disyuncin: cuando ningn elemento de B pertenece a A, ni ningn
elemento de A pertenece a B.
;
Inclusin de clases:

Proposiciones tipo
La clsica clasificacin aristotlica:
Tipo A: todos los S son P. "Todos los hombres son mortales", se
interpreta como:[6]

Tipo E: ningn S es P. "Ningn hombre es mortal", se interpreta como:

Tipo I: algn S es P. "Algn hombre es mortal", se interpreta como

Disyuncin de clases:

Tipo O: algn S es No-P. "Algn hombre no es mortal", se interpreta como

Reglas del clculo de clases

Como leyes lgicas, es decir tautologas que se pueden comprobar mediante tablas de pertenencia, se estableces
algunas reglas que resultan tiles para los algoritmos de clculo de deduccin de proposiciones:

Clculo lgico

15

Leyes asociativas:

Leyes conmutativas:

Leyes distributivas:

Ley de involucin:

Leyes de De Morgan:

Leyes de absorcin:

Ley de contraposicin:

Ley de la transitividad:

Junto con estas leyes especficas se mantienen las mismas reglas del clculo de enunciados, en las relaciones de unas
proposiciones con otras.

Reglas del clculo cuantificacional. Clculo de predicados

Cuando el argumento no se fundamenta en las relaciones conectivas entre las proposiciones como un todo, sino en el
anlisis de las proposiciones, se hace necesario la ampliacin del clculo lgico como son, ahora, las reglas de
cuantificacin, para el clculo cuantificacional.
La cuantificacin permite explicitar el mbito de aplicacin de un predicado a un sujeto o conjunto de sujetos. Por lo
que el clculo segn este modo de anlisis de la proposicin se conoce como clculo de predicados.

Reglas de simbolizacin
La expresin
Siendo

denota cualquier proposicin o funcin proposicional.

un predicado que se aplica a una variable individual

= ser cuadrado;

= cualquier cosa;

= cualquier cosa cuadrada

Una funcin proposicional sin cuantificacin alguna no puede tener valor de verdad V o falsedad F y no es, por
tanto, una proposicin.
La expresin

denota la ocurrencia de

= ser cuadrado;
En este caso

= esta mesa;

en

. Siendo a, b, c, d, e. constantes individuales.

= Esta mesa es cuadrada

es una proposicin singular, en que

,y

puede tener valor V o F.

Una proposicin no puede tener ocurrencias libres, variables sin cuantificar, para poder tener valor V o F.

Clculo lgico

16

La sustitucin de una variable

variable

en una funcin proposicional

ha de hacerse bajo la condicin de que la

, como variable de individuos, debe estar libre en

. (Si

no contiene ocurrencias libres de

en todos los lugares en que

, entonces

Una ocurrencia libre es la ocurrencia de una variable

universal o existencial.

y
,

son idnticas;

ocurre libre en

son lo mismo).

, etc. no sometida al alcance de un cuantificador

Por ejemplo:
Sustituyendo la variable

= ser una rueda, por la variable

= ser una rueda de bicicleta, respecto al predicado

= ser redondo, cuando el universo, o contexto de que se trata es el de las bicicletas:

y por tanto

Cuantificadores
Generalizador Universal
Es el resultado del producto de a /\ b /\ c /\ d /\ e /\ f.... en todas las ocurrencias posibles de x. Equivale a Todos
los posibles x
Particularizador existencial
Es el resultado de la adicin a \/ b \/ c \/ d \/ e \/ f..... en todas las ocurrencias posibles de x. Equivale Existen
algunos, o al menos un individuo que verifica Px.
Instanciacin
Sustituyendo en una funcin proposicional las variables de individuos x, y, z,... por constantes a, b, c..... como
individuos: Pedro, Juan, este libro, etc.
Ejemplos:
P = Ser cuadrado x = cualquier cosa a = esta mesa
x Px = Para todo x, para cualquier x, x es cuadrado
x Px = Para algn x, se da Px. Existe al menos un x tal que x es cuadrado
Px = Ser cuadrado Pa = Esta mesa es cuadrada

Clases de proposiciones
Singulares:
MaSiendo M = ser mortala = AntonioMa Antonio es mortal
Generales:
Siendo:
P = Ser hombre M = Ser mortal x = variable individual, cualquier individuo
x (Px Mx) Para todo x si Px entonces Mx Todos los hombres son mortales
x (Px /\ Mx) Existe algn x para el que Px /\ Mx Algn hombre es mortal
x (Px Mx) Para todo x si Px entonces Mx Ningn hombre es mortal
x (Px /\ Mx) Existe algn x tal que Px /\ Mx Algn hombre no es mortal
Proposiciones mltiplemente generales:
Enunciados compuestos cuyos componentes son proposiciones generales con ms de una variable de individuos y/o
con proposiciones singulares.

Clculo lgico

17

Sea el caso de la proposicin:

x (Px Lx)] Ld Que podra equivaler a: Si todos los perros ladran, entonces Desko (mi perro) ladra.
Si fuera el caso

x (Px Lx) Ly

Px y Lx, son ocurrencias ligadas, sometidas al alcance de un cuantificador.

Ly en cambio es una ocurrencia libre, y por eso puede sustituirse por otra variable o por una constante, como Ld.

Reglas del clculo cuantificacional

Ejemplo de clculo de predicados
- /\x (Cx-->Sx) -->(Mk-->Sk)
Clculo de Deduccin
- 1 /\x (Mx-->Cx)
2 /\x (Cx-->Sx)
3 Mk
4 Mk--> Ck I.U.1
5 Ck M.P.4,3
6 Ck-->Sk I.U.2
7 Sk M.P.6,5
8 Mk-->Sk I.I.3,7
___________ Cierre supuesto
9 /\x (Cx-->Sx)-->(Mk-->Sk) I.I.2-8
Adems de todas las reglas referidas a las proposiciones como un todo, se tienen las siguientes:
Instanciacin Universal. I.U.
Lnea n

/\xPx
lnea de cierre

Lnea n+a

Py

U.I. lnea n. Conclusin

Generalizacin existencial. E.G.

Lnea n

Py
lnea de cierre

Lnea n+a

Instanciacin existencial. I.E.

\/xPx

E.G. lnea n. Conclusin

Clculo lgico

18

lnea n

\/xPx

lnea (n+1)

Py

Supuesto provisional

Lneas derivadas provisionales

no utilizables fuera del supuesto

lnea (n+a)

Regla &&, lnea s, r

______ Lnea de cierre

Lnea (n+a)+1 p

Regla E.I. lneas (n - n+a+1)

Conclusin

Con la condicin de que y sea una variable que no ocurre libre ni en p ni en ningn rengln que preceda a Py.
Generalizacin universal. G.U.
Lnea n

Py
lnea de cierre

Lnea n+a

/\xPx

G.U. lnea n. Conclusin

Con la condicin de que y sea una variable que no ocurre libre ni en /\xPx ni en ninguna hiptesis dentro de cuyo
alcance se encuentra Py
Negacin de un cuantificador N.C.
/\xPx

xPx

xPx

xPx

====== ====== ====== ====== Doble lnea de cierre

\/x Px \/xPx

\/xPx

\/xPx

Principio de identidad Id.

Identidad: Px
y=x

Px

y=x

Lnea de cierre

Py (y = x) x = y x = x

Clculo de relaciones
En algunas ocasiones la validez de un argumento reside en las relaciones que una o varias proposiciones establecen
entre varios individuos.
As la relacin ser ms grande que fundamenta un argumento claramente vlido:
Antonio es ms grande que Pepe, y Pepe es ms grande que Juan. Luego Antonio es ms grande que Juan.
Simbolizacin
Sea la relacin
R = ser ms grande que;
a = Antonio;
p = Pepe
Rap Simboliza la proposicin Antonio es ms grande que Pepe.
Nota importante: Es fundamental la consideracin del orden de las constantes o variables de la relacin. No es lo
mismo Rab que Rba como se comprende fcilmente. Aun cuando pueda haber relaciones en las que el orden no

Clculo lgico
vara la relacin lgica, por ejemplo ser igual a.
Sea ahora el argumento anteriormente considerado, donde
R = ser ms grande que; a = Antonio; p = Pepe; j = Juan
El esquema de inferencia consecuente sera:
(Rap /\ Rpj) Raj
Que nos da la forma de un esquema de inferencia basado en relaciones.
Clases de proposiciones
En funcin del nmero de los individuos entre los que se da la relacin:
Didicas, tridicas, tetrdicas.
Didica Raj Antonio es amigo de Juan
Tridica: Rsmv Segovia est entre Madrid y Valladolid
Tetrdica: Ramjc Antonio cambi la moto a Juan por un coche
Funciones proposicionales
Si sustituimos las constantes individuales por variables de individuos tendramos:
Rxy Rxyz Rwxyz
Proposiciones generales y cuantificadores
Salta a la vista la dificultad que encierra el manejo de tantas variables y sus cuantificadores; por eso simplificamos la
consideracin a relaciones binarias.
Para ejemplificacin de las proposiciones consideramos la relacin A = amar a
/\x /\y Axy Todo ama a todo
/\y /\x Axy Todo es amado por todo
\/x \/y Axy Algo ama a algo
\/y \/x Axy Algo es atrado por algo
/\x /\y Axy Nada ama cosa alguna
/\y /\x Axy Nada es amado por cosa alguna
Teniendo en cuenta las posibles conectivas entre variables y cuantificadores la simbolizacin requiere un anlisis
lgico complejo del lenguaje, teniendo en cuenta que no siempre es necesario explicitar relaciones cuando stas no
intervienen en la forma lgica del argumento.
La simbolizacin, debido a la ambigedad del lenguaje, y a veces al contenido de las mismas relaciones, no siempre
es clara ni convincente a la hora de determinar el sentido lgico de la expresin lingstica simbolizada en
proposiciones lgicas. Por eso a modo de ejemplo simbolizamos:
Consideremos la expresin: Algn golfista aficionado gana a todos los profesionales.
Consideraremos el caso de alguno que es aficionado = \/x Ax; /\y = Todos los que son profesionales; y G = ganar a.
Analizamos la expresin:
\/x {(x es un aficionado) /\ (x puede ganar a todos los profesionales)}
y luego como:
\/x {(x es un aficionado) /\ /\y (Si y es profesional --> (x gana a y)}
lo que usando nuestras simbolizaciones:
\/x {Ax /\ /\y (Ay --> Gxy)}
Es evidente que la prctica hace innecesarios los pasos intermedios.

19

Clculo lgico
Reglas de clculo
No es necesario introducir nuevas reglas para tratar los argumentos que incluyen relaciones. La lista de reglas del
clculo proposicional y cuantificacional posibilitan tratar todos los argumentos relacionales, si bien la reduccin de
las proposiciones a unidades proposicionales a las que se puedan aplicar las reglas es realmente complicado.

Referencias
[1]
[2]
[3]
[4]

Transformando los enunciados lingsticos en proposiciones lgicas

Como llegaron a pretender los neopositivistas
Que se lee: Todo x tal que x pertenece a la clase de los nacidos en Asturias
Conjuntor grande; equivale a la conjuncin de todos los elementos que pertenecen a la clase: UNIQ-math-0-526839639c97a952-QINU

[5] Disjuntor grande; equivale a la disjuncin de todos los elementos que pertenecen a la clase:
[6] En la formalizacin grfica de los silogismos esta relacin de inclusin, es decir los juicios universales afirmativos tipo A, se representan
interpretando la proposicin como: "No hay ningn S que no sea P. Vase SilogismoConvencin para la representacin grfica del Juicio tipo
A

Bibliografa
COPI, IRVING M. (1982). LGICA SIMBLICA. MEXICO 22 D.F: EDITORIAL CONTINENTAL S.A. DE
C.V. ISBN 968-26-0134-7.
DEAO, ALFREDO (1974). INTRODUCCIN A LA LGICA FORMAL. MADRID: ALIANZA EDITORIAL.
ISBN 84-206-2064-5.
GARRIDO, M. (1974). LGICA SIMBLICA. MADRID: TECNOS. ISBN 84-309-0537-5.

20

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Clculo lgico Fuente: http://es.wikipedia.org/w/index.php?oldid=71780569 Contribuyentes: Acratta, Aleposta, Antur, Boja, Diegusjaimes, Elmeister, Gafotas, Gusgus, Hichokei, JDPhD, Jkbw,
Lipedia, Lucien leGrey, Luis Felipe Schenone, MONIMINO, Martnhache, Matuk94, 112 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:Venn0000.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Venn0000.svg Licencia: Public Domain Contribuyentes: ABF, CommonsDelinker, Mate2code, Waldir
Archivo:Venn1111.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Venn1111.svg Licencia: Public Domain Contribuyentes: CommonsDelinker, Mate2code, Waldir, 2 ediciones
annimas
Archivo:Venn1010.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Venn1010.svg Licencia: Public Domain Contribuyentes: CommonsDelinker, Mate2code, Waldir, 1 ediciones
annimas
Archivo:Venn0111.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Venn0111.svg Licencia: Public Domain Contribuyentes: CommonsDelinker, JurgenNL, Mate2code, Waldir,
1 ediciones annimas
Archivo:Venn0001.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Venn0001.svg Licencia: Public Domain Contribuyentes: CommonsDelinker, Mate2code, Tony Wills,
Waldir, 9 ediciones annimas
Archivo:Venn0100.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Venn0100.svg Licencia: Public Domain Contribuyentes: CommonsDelinker, Mate2code, Waldir
Archivo:Venn0110.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Venn0110.svg Licencia: Public Domain Contribuyentes: CommonsDelinker, Herbythyme, Jarekt,
Mate2code, Waldir, 3 ediciones annimas
Archivo:Relation1001.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Relation1001.svg Licencia: Public Domain Contribuyentes: Mate2code, Waldir
Archivo:Relation1011.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Relation1011.svg Licencia: Public Domain Contribuyentes: Mate2code, Waldir
Archivo:Relation1110.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Relation1110.svg Licencia: Public Domain Contribuyentes: Mate2code, Waldir

Licencia
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/

21