1

PROPSITO DE LA LOGICA
Si se toma como punto de partida de que la Lgica Formal estudia la formalizacin del
lenguaje natural en un lenguaje formal y los principios de la inferencia valida, entonces un
propsito fundamental

en el proceso de formalizacin del lenguaje natural es la

formulacin de un lenguaje formal que se debe emplear para el estudio de los

razonamientos.
La Lgica Proposicional enfoca el estudio de la formulacin de un lenguaje formal
tomando como elemento central a la proposicin o enunciado simple, que puede ser
verdadero o falso.
No enfatiza en los componentes internos de las proposiciones como el sujeto y predicado,
ms bien considera a la proposicin como un todo indivisible.

PROPOSICIONES.
Una proposicin es una frase declarativa simple que puede ser verdadera o falsa. Es la
unidad mnima del lenguaje con contenido de informacin.
Las proposiciones, segn la lgica proposicional, pueden ser simples o atmicas, y
compuestas o moleculares.
Las proposiciones simples o atmicas son aquellas proposiciones que no admiten dentro de
si, ms que una sola proposicin, as por ejemplo:
La aritmtica, el lgebra y la geometra comparten las matemticas. Juan,
Pedro y Mara son hermanos.
En cada uno de estos casos, se trata de una sola proposicin, pues y no cumple con la
funcin de unir o de conjuncin, sino que cumple con la funcin de relacionar, como se

ver ms adelante en la lgica de predicados. Razn por la cual stos ejemplos se

simbolizan con la letra 'p'. En cambio si decimos:
La aritmtica, el lgebra y la geometra son disciplinas matemticas
se trata de una proposicin compuesta por tres proposiciones tales como:
La aritmtica es una disciplina matemtica.

El lgebra es una disciplina matemtica.

La geometra es una disciplina matemtica

Y la simbolizacin correspondiente a las mismas ser mediante las letras proposicionales

p, q, r, respectivamente, con lo cual la simbolizacin correspondiente en es: p . q . r
En este ejemplo (1) y cumple con la funcin de unir o nexo conjuntivo de las tres
proposiciones.
Las proposiciones compuestas o moleculares son proposiciones que admiten dentro de s,
dos o ms proposiciones; o tambin, las proposiciones moleculares son aquellas
compuestas por dos o ms proposiciones atmicas, relacionadas entre s mediante
expresiones lingsticas llamadas conectivas. En el ejemplo ltimo dado, la conectiva que
se ha utilizado es la conjuncin.

TIPOS DE PROPOSICIONES.

Dependiendo del tipo de informacin que se quiera representar, las proposiciones pueden
ser de diferente tipo:
a) De accin.- Expresa la ocurrencia de un hecho y no hace referencia a algn objeto o
individuo especfico.
Ej:
-

Hace calor.

Llueve.

- Es viernes.
b) De atribucin de propiedades a sujetos especficos.Este tipo de proposiciones describen una propiedad o caracterstica que tiene un objeto o
individuo especfico.
Ej:
-

Juan juega futbol.

La casa es verde.

Pedro es bueno.

c) De Relacin: Relacionan sujetos u objetos, se debe tener cuidado en que la proposicin

no se constituya en una proposicin molecular o la combinacin de dos proposiciones
atmicas (frases declarativas simples).
Ej:

Juan y Pedro son primos.

Juan est sentado entre Luis y Jaime.

CONECTIVAS.

Las elementos que relacionan unas proposiciones con otras se denominan conectivas
(conectores), pues toda proposicin molecular necesariamente est determinada o afectada
por una o varias conectivas.
Si se considera los siguientes ejemplos de proposiciones moleculares:

Melgar Y Vallejo son dos grandes hombres.

Juan sabe francs Y ingls.

Juan se casa O termina su noviazgo.

Si es estudioso, ENTONCES aprobar el examen.

Manuel ir al estadio SI, Y SLO SI, juega San Jos.

NO es cierto que Luis Y Ana sean buenos estudiantes.

Se puede observar que los elementos (resaltados con maysculas) son conectivas porque
relacionan unas proposiciones con otras.
Es importante notar que el elemento NO, en lgica es considerado una conectiva, pues,
aunque no conecta, afecta negativamente tanto a proposiciones atmicas por separado como
a relaciones entre proposiciones. Ello significa que la parte de la lgica que estudia los
diversos modos de relacin de las proposiciones en un discurso, sin intentar ingresar en un
anlisis de la estructura de las mismas, se denomina lgica proposicional, sentencial o de
enunciados; pues, proposicin, sentencia, o enunciado son trminos sinnimos.

CONECTIVA

SIMBOLO

NEGACION
no ocurre que p
no es cierto que p
es falso que p

EXPRESION EN LENGUAJE NATURAL

~p

NO p

etc.
CONJUNCION
p aunque q
p pero q
p sin embargo q
p no obstante q
p a pasar de q

p q

P y/e q

etc.
p q
DISYUNCION
o bien p o bien q
al menos p o q
como minimo p o q

p o/u q

etc.
p q
IMPLICACION
solo si q entonces p
p suficiente para q
q necesario para p
no p a menos que q

si p entonces q

etc.
BICONDICIONA p q
L
p necesario y suficiente para q

p si y solo si q

DEFINICIN FORMAL DEL LENGUAJE PROPOSICIONAL.

El punto de partida para la definicin de un lenguaje formal es el establecimiento del

alfabeto del lenguaje, todos los lenguajes comportan un conjunto finito de smbolos que
permiten la formacin de las estructuras del lenguaje, es decir, la formacin de palabras
oraciones, etc. El lenguaje natural, castellano en nuestro caso, considera un conjunto de
smbolos (letras) mediante las cuales es posible construir las palabras y oraciones, las
cuales contienen alguna informacin.
1

ALFABETO DEL LENGUAJE.

Constituyen el conjunto de smbolos que el lenguaje requiere, el lenguaje para una Lgica
Proposicional requiere tres tipos de smbolos:
1

Smbolos para proposiciones.: llamados tambin letras proposicionales son

codificaciones de proposiciones atmicas o frases declarativas simples. Se
recomienda emplear letras minsculas a partir de la letra p, por ejemplo p, q, r, s,

...... para grupos pequeos y letras subindicadas para grupos grandes, por ejemplo p1, p2,
p3, p4, .................
Al conjunto de de smbolos para las letras proposicionales se las denota con la letra P.
Por ejemplo:

P = { p, q , r, s ,t }

Smbolos para Conectivos lgicos: elementos de conexin que permiten formar

estructuras complejas del lenguaje:

(negacin) ; (disyuncin) ; (conjuncin)

; (implicacin) ; (doble implicacin) .

Smbolos de parntesis o de puntuacin: para el establecimiento de subestructuras

y niveles de prioridad : ( , )

Ej:

p : Juan juega

futbol. r : Juan es bueno.

s : Pedro es bueno t :
Llueve
Observaciones:

Los conjuntos 2. y 3. son comunes para todo lenguaje proposicional, es decir no

cambian.

El conjunto 1. varia de acuerdo al fenmeno o razonamiento que se est modelando,

es decir cada razonamiento proporciona un conjunto P diferente cuyas letras
proposicionales codifican proposiciones diferentes aun cuando las letras sean las
mismas.

Por ejemplo:
r1

P={p, q, r, s, t}

r2

P={p, q, r}

r3

P={a, b, c, d, e, f, g}

Como el conjunto P es variable, por lo tanto el lenguaje proposicional a desarrollar esta en

funcin del conjunto P y se lo denota como sigue:

L(P)

SINTAXIS DEL LENGUAJE PROPOSICIONAL:

Tomando como base el conjunto de smbolos del lenguaje (alfabeto) se debe establecer el
conjunto de reglas para la obtencin de frmulas bien construidas (fbc) del lenguaje, porque

la simple combinacin de proposiciones y conectivas no garantiza la obtencin de frases

sintacticamente correctas..
Definicin.- Las Formulas Bien Construidas (fbc) del lenguaje proposicional se definen
recursivamente con la aplicacin de las siguientes reglas:
1

Toda Letra Proposicional es una formula bien construida del lenguaje. A estas
formulas se las denomina Formulas Atmicas.

Si A y B son frmulas del lenguaje , entonces:

A ,B , (A B) , (A B ) , (A B), (A B ) tambin son frmulas del lenguaje.

3

Son frmulas del lenguaje nicamente las obtenidas con la aplicacin de las reglas 1
y 2.

La descripcin de estas tres reglas contempla una definicin recursiva.

CASO BSICO: Regla 1.
PROCESO INDUCTIVO: Reglas 2 y 3
Ej: Dado el conjunto P de letras proposicionales: P{p, q, r, s}
Son formulas del lenguaje:
-

s,

(formula atmica) por la regla 1.

(pq) r ,

((pq) r) t

( por la regla 2.)

El uso adecuado de parntesis es muy importante para definir las sub estructuras del una
formula.
Por lo tanto:
p q

es diferente a (p q) r

El empleo del alfabeto del lenguaje y de las reglas sintcticas establecidas permiten formar
proposiciones complejas que se las desglosa de la siguiente manera:
Proposiciones conjuntivas:
Las proposiciones conjuntivas surgen de la unin de dos proposiciones atmicas, que se
denominarn componentes conjuntivos, y la alteracin de la ubicacin de los mismos no
incide en la funcin de la conjuncin, que es unir. La condicin que hace una conjuncin
verdadera, es que ambos componentes conjuntivos sean verdaderos, en caso contrario la
conjuncin es falsa.
As por ejemplo:
p q

Locke y Hume son representantes del empirismo ingls

Los componentes conjuntivos son:
Locke es representante del empirismo ingls

Hume es representante del empirismo ingls

Descartes es racionalista, pero Hume es empirista

p q

Donde :
p: Descartes es racionalista. q: Hume
es empirista.
Aunque Descartes es idealista, Hume es empirista
Donde :

p q

p: Descartes es idealista. q:
Hume es empirista.
Proposiciones disyuntivas:
Las proposiciones disyuntivas surgen de la inclusin o no de dos alternativas. las
proposiciones que las componen, se denominarn componentes disyuntivos, y como en el
caso de la conjuncin, la alteracin de la ubicacin de los mismos no incide en la funcin
de la disyuncin.
As por ejemplo en la disyuncin inclusiva:
A menos que se tomen medidas, el Riachuelo seguir contaminado.
pvq
Dnde:

p: se toman medidas.
q: el riachuelo seguir contaminado.

Las becas de investigacin son para

Francia y/o Alemania p v q

Dnde:

p: las becas de investigacin son para Francia.

q: las becas de investigacin son para Alemania.

Un ejemplo de disyuncin exclusiva:

La tarifa area incluye un viaje de cabotaje o a

Bariloche o a cataratas p v q

Dnde:

p: la tarifa area incluye un viaje de cabotaje a Bariloche.

q: la tarifa area incluye un viaje a cataratas.

O bien descartes es racionalista, o bien es empirista

p vq

dnde:
p: Descartes es racionalista.
q: Descartes es empirista.

La condicin que hace una disyuncin verdadera, radica en que siempre al menos uno de
los componentes sea verdadero. Solamente en la disyuncin inclusiva tambin es verdadera
cuando ambos componentes sean verdaderos, en caso contrario es falsa.
Se utilizar la disyuncin inclusiva, para todos los ejemplos posteriores, en todos los casos
de disyuncin que se encuentren en las operaciones entre proposiciones y/o razonamientos.
Proposiciones condicionales:
Las proporciones condicionales presentan una estructura muy peculiar, en la cual los
elementos (antecedentes y consecuentes), que las componen no puedan alterar su ubicacin,
pues esto modificara la funcin de la misma. En las proposiciones condicionales, la
ubicacin de las proposiciones que la componen (antecedentes y consecuente) se determina
por la estructura misma. La nica condicin que hace un condicional falso, radica en el
caso de un antecedente verdadero y un consecuente falso, por cuanto ser verdadero en
todos los otros casos. As por ejemplo:

Si los pasajes se reservan con tiempo, viajaremos en

primera. Antecedente

p: Los pasajes se

reservan con tiempo. consecuente q: viajaremos en

primera.
p

Viajaremos en primera, Si los pasajes se reservan con

tiempo. Consecuente p: viajaremos en primera.

Antecedente
tiempo. q

q: Los pasajes se reservan a

p

Iremos al campo, Solo si hace buen

tiempo. Antecedente p: hace buen
tiempo. Consequent q : Iremos al
campo.

Cabe sealar, que este tipo de proposiciones condicionales se denominan tambin

materiales, se caracterizan por tener los verbos en modo indicativo. Pero hay otro tipo de
proposicin condicional que se denomina contra fctico y se caracterizan por tener verbos
en modo subjuntivo, con lo cual no es posible determinar el valor de verdad de las
proposiciones que lo componen, ya que stas refieren a situaciones que no existen. Por lo
tanto los condicionales contra fcticos exceden el mbito de la lgica, y sta no se ocupa de
ellos. As por ejemplo:
Si San Martn no se hubiera muerto, seguira vivo.
A partir de lo visto en los ejemplos de proposiciones condicionales materiales, es
importante tener en cuenta que: si bien la asignacin de las letras proposicionales es
arbitraria, en la simbolizacin de las proposiciones, sin embargo es conveniente seguir un
orden determinado. Por lo tanto se sugiere que la adjudicacin de las letras siga

la

secuencia de las mismas: p, q, r, s, t y en funcin del orden en que vayan apareciendo las
proposiciones, una vez simbolizadas las proposiciones, se procede a abstraer la forma
proposicional segn lo indique la conectiva en cuestin. As por ejemplo:
Descartes es idealista, si Locke es realista y Hume es realista.
P
q
r
(q r)

(1)

Segn Kant, si la intuicin se constituye de materia y de forma,

q

entonces la materia es la sensacin y la forma es Espacio tiempo. r

(p q)

(r s)

(2)

En la simbolizacin correspondiente a las formas proposicionales compuestas, se

utilizan los signos de puntuacin tales como el parntesis, corchete y llave, en el mismo
sentido con que operan en las matemticas, es decir, determinan el alcance de una
operacin, en este caso la operacin, que se lleva a cabo por una conectiva.
En el ejemplo (1), el s indica el antecedente de la construccin principal que es
el condicional, dicho antecedente, es a su vez una proposicin compuesta conjuntiva,
por lo tanto, el parntesis nos indica el alcance de la conjuncin y a su vez, el
antecedente del condicional.
En el ejemplo (2), el si nos indica el antecedente proposicin conjuntiva y el
entonces nos indica el consecuente proposicin conjuntiva- en cada uno de ellos el
parntesis indica el alcance de la conjuncin respectiva, y adems determina el
antecedente por un lado, y el consecuente del condicional, por el otro.
Otro aspecto que se debe tener en cuenta en la simbolizacin, es que cuando una
proposicin atmica se repite, tambin debe repetirse la letra proposicional adjudicada en
la simbolizacin de la misma. As por ejemplo:
O Descartes es idealista, o Descartes no es
idealista. p
-p
p w -p

Tomado del texto de M.Cs. Ing Julio Cesar Bermudez Vargas

www.sistemas.edu.bo/jbermudez/sis1205a/CAP3.pdf

www.exa.unicen.edu.ar/catedras/...
html.rincondelvago.com/logica-proposicional.html

Carlos Fuentes es un escritor.

(Simple)

2) Sen(x) no es un nmero mayor que 1.

(Compuesta)

3) El 14 y el 7 son factores del 42.

(Simple)

4) El 14 es factor del 42 y el 7 tambin es factor del 42.

(Compuesta)

5) El 2 o el 3 son divisores de 48.

(Simple)

6) El 2 es divisor de 48 o el 3 es divisor de 48.

(Compuesta)

7) Si x es nmero primo, entonces x impar.

8) Si x > 10, entonces 2x - 3 > 16.
9) No todos los nmeros primos son impar

(Compuesta)
(Compuesta)