Está en la página 1de 43

LGICA

PROPOSICIONAL

LA PROPOSICIN
EL LENGUAJE DE LA LGICA PROPOSICIONAL
FORMALIZACIN DE INFERENCIAS
TABLAS DE VERDAD

MAG. ALFREDO MORA

La proposicin
Es cualquier enunciado que potencialmente

puede ser verdadero o falso.


Existen seres vivos en la estrella de Alfa
Centauri
2 + 2 = 4
3 + 3 = 9
Hoy es Viernes
Ayer fue Martes

Algunas expresiones no son


proposiciones
Las frases gramaticales : no afirman ni niegan

nada. Ej: Los perros hambrientos.


Las rdenes : retrese!, cllese!, etc.
Los deseos : cmo me gustara volar!
Las interrogaciones : ser cierto que el
cigarrillo produce cncer?
Las exclamaciones : qu hambre tengo!

Clasificacin de las proposiciones 1


Proposiciones atmicas (o simples)
No tienen ningn tipo de unin o conectiva
(trminos de enlace entre oraciones) : y, pero,
entonces, luego, no, no es el caso que, etc.
Ejemplos de proposiciones simples :
Hoy es Viernes
Tengo 28 aos
Soy peruano
2+7=6

Clasificacin de las proposiciones 2


Proposiciones moleculares (o complejas)
Es la unin de dos o ms proposiciones
atmicas o la negacin de una de ellas. Utilizan
conjunciones o conectivos lgicos.
Ejemplos de proposiciones complejas :
Julin est jugando y Mara est cocinando
Aplicamos una poltica econmica neoliberal
ortodoxa o aplicamos una poltica econmica mixta.
El alma es espiritual y libre.

EJERCICIOS

El lenguaje de la lgica
proposicional
Smbolos primitivos
Variables proposicionales
Conectores lgicos
Signos de agrupacin
Reglas de formacin
Uso de signos de agrupacin

Smbolos primitivos
Variables proposicionales: p, q, r, s, t, ..., z.
Cada letra representa una proposicin. , p1, q1, r1, s1, , p2, q2, , z2,
Conectores lgicos: , , , ,
: negacin y se lee no o no es el caso que. CON. MONADICO
Ejemplo: p se lee como no p y sinnimos respectivos.
: conjuncin y se lee y. CONECTOR DIADICO
Ejemplo: p q se lee como p y q.

: disyuncin y se lee o. CONECTOR DIADICO

Ejemplo: p q se lee como p o q.

: condicional y se lee si entonces. CONECTOR DIADICO


Ejemplo: p q se lee como si p entonces q.
: bicondicional y se lee si y solo si. CONECTOR DIADICO
Ejemplo: p q se lee como p s y slo si q.

Otros sinnimos en conectores


En el caso de la negacin, por trminos como no es el

caso, no se da, no ocurre que, etc.


En el caso de la conjuncin, en vez de y podemos tener
trminos como adems, agregamos, tambin,
pero, si embargo, aunque, tambin el punto
seguido y, en el caso de enumeraciones, la coma, etc.
En el caso del condicional en vez del si entonces
podemos tener si , como tambin entonces
o simplemente , , etc.
En el caso de bicondicional, a parte del si y slo si
podemos tener tambin entonces y solo entonces ,
nicamente si , . solo si , etc.

Variables y Metavariables
Una variable representa una proposicin y est

representada por las letras p, q, r, etc.


Una metavariable puede representar tanto a una
variable como a una frmula, por ejemplo: p q.
Las metavariables se representan por las letras
maysculas del alfabeto empezando por la
primera de ellas: A, B, C, etc.
Las reglas de formacin se aplican tanto a
variables proposicionales como a formulas
proposicionales (es decir a la totalidad del
lenguaje proposicional).

Reglas de Formacin
1. Toda variable proposicional es una frmula bien

formada (FBF)
2. Si A es una FBF entonces A tambin lo es.
3. Si A y B son FBFs, entonces:
a. A B tambin lo son.
b. A B tambin lo son.
c. A B tambin lo son.
d. A B tambin lo son.

4. Una frmula es una FBF si y slo si es el resultado

de la aplicacin de las reglas anteriores.

Uso de los signos de


agrupacin
Los signos de agrupacin en el lenguaje de la

lgica proposicional (LP) son indispensables


para apreciar la jerarqua entre las distintas
variables proposicionales as como conectivas
lgicas.
Aseguran FBF en el lenguaje simblico que
nos permitan tener una sola interpretacin,
libre en su totalidad de cualquier tipo de
ambigedad.

Frmulas mal formadas


Mal uso de los signos de agrupacin, no slo son

ambiguas en su interpretacin, sino que tambin son


FMF :
1. p q r v p
2. q p v q
3. p ( r p)

Son FMF porque : cul es el operador de mayor jerarqua?


En la frmula 1, la bicondicional, la conjuncin o la

disyuncin?.
En la frmula 2, la condicional o la disyuncin?.
En la frmula 3, los signos de agrupacin, estn mal
ubicados.

Formulas bien formadas


Veamos ahora algunos casos de FBF:
( p q ) (q r)
(q v r) (p q) (r s)
{(p q) (r s) ( p v r)} (q v s)

Los signos de agrupacin sirven para sealar

la jerarqua de los operadores o conectivas


lgicas cuando tenemos una frmula con dos
o ms de ellos.

Formalizacin de
inferencias 1
Inferencias son razonamientos formados por un

conjunto de proposiciones
Formalizacin de proposiciones atmicas
Toda proposicin simple es traducida al lenguaje formal,
o formalizada, mediante una variable proposicional.
Como la primera variable en asignarse es p, en caso
de tener nicamente una proposicin a formalizar se le
asignar la variable proposicional p. Ejemplos:
Hoy llueve = p
Tengo 5 hijos = p
Estamos de noche = p

Formalizacin de
inferencias 2
Formalizacin de proposiciones

moleculares
No solo las proposiciones sino tambin la(s)
conectiva(s) proposicional(es).
Para ello asignamos la variable proposicional
p a la primera proposicin, q a la segunda,
etc. excepto en los casos en los cuales una
proposicin cuya variable proposicional ya ha
sido asignada vuelve a aparecer; en este caso
se vuelve a simbolizar con la variable
previamente asignada.

Reglas para la
formalizacin
Primera regla: identificar c/u de las proposiciones del enunciado.
Segunda regla: Asignar a c/u una variable proposicional

empezando por p.
Tercera regla: identificar cada una de las conectivas
proposicionales.
Cuarta regla: Asignar a c/u su smbolo respectivo.
Ejemplo:
1
Identificado las proposiciones tenemos:
2
Pedro es contador y Julin es administrador
3
p
q
Pedro es contador y Julin es administrador
p q
4
Pedro es contador y Julin es administrador
p q

Reglas para la
formalizacin
El descontento de los trabajadores se debe a que hubo

una mala administracin de los recursos humanos.


Aplicando las cuatro reglas :
El descontento de los trabajadores se debe a que hubo
p una mala Administracin de los recursos humanos.
q
Lo cual podra llevarnos a creer que el esquema de LP

que conviene a dicha proposicin molecular es: p q

Formalizacin de proposiciones
con condicional inverso
El condicional tiene la formulacin Si A,

entonces B, y se simboliza como A B. ste


nos indica que si se da A se deber de dar B.
Es decir, nos indica que B es causado por A.
Pero puede darse el caso que se dio A porque
se haba dado B.
Esto se expresa como B porque A, y se
simboliza invirtiendo los trminos:

B A

El descontento de los trabajadores se debe a que


p

hubo una mala Administracin de los recursos humanos.


q
El descontento de los trabajadores no fue la causa de la

mala administracin de los recursos humanos, sino a la


inversa; la mala administracin de los recursos humanos
ha sido la causa del descontento de los trabajadores.
La simbolizacin exacta es ms bien:
qp

Casos similares se presentan con los trminos:

la causa de lo anterior, esto se debe, ello


se debi a que y otros trminos parecidos, los
cuales indican que la traduccin del lenguaje
natural al de LP deber hacerse haciendo uso
del condicional inverso.
Despues de saber traducir las inferencias del
lenguaje natural al lenguaje simblico de LP,
necesitamos un mtodo decisorio, que nos
permita decidir o determinar la validez de la
inferencia.

Formalizacin de
inferencias
A diferencia de las proposiciones moleculares

las inferencias son razonamientos que


culminan siempre en una conclusin (no
siempre est expresada al final de la
inferencia).
Si llueve, entonces habr humedad
Aplicando los pasos 1 al 4, tenemos:
Si llueve, entonces habr humedad.
p q

Cuando tenemos inferencias ms complejas (debido a la

presencia de proposiciones moleculares ms complejas), debe


tenerse cuidado en mantener las jerarquas que c/u de las
proposiciones o grupos de proposiciones guardan entre s en el
lenguaje natural.
Si llueve, habr humedad. No hay humedad. Entonces no llovi.
Aplicando la 1ra regla (identificacin de proposiciones) tenemos:
Si llueve, habr humedad. No hay humedad. Entonces no llovi.
Aplicando la 2da regla (asignacin de variables proposicionales a
cada proposicin) tenemos:
Si llueve, habr humedad. No hay humedad. Entonces no llovi.
p
q
q
p

Aplicando la tercera regla (identificacin de las conectivas

proposicionales) tendramos:
Si llueve, habr humedad. No hay humedad. Entonces no llovi.
p
q
q
p
Aplicando la cuarta regla (formalizacin de las conectivas
proposicionales) tendramos:
Si llueve, habr humedad . No hay humedad. Entonces no llovi.
p
q

p
Representando esta inferencia en lenguaje de LP tendramos entonces:
p q q p
Sin embargo este esquema no es satisfactorio ya que no sabemos cul es
la conectiva de mayor jerarqua ni tampoco como est estructurada la
inferencia que acabamos de simbolizar.

Se hace necesario entonces revisar la manera cmo la inferencia est estructurada

en lenguaje natural para luego, al traducirla al lenguaje de LP, poderla simbolizar de


tal modo que los smbolos reflejen aquello que est simbolizando.
Para estructurar los enunciados proposicionales y sus esquemas tendremos que
usar de los signos de agrupacin. Recordemos primero la inferencia:
Si llueve, habr humedad. No hay humedad. Entonces no llovi.
Ahora analicemos cmo que cada una de sus partes est conectada entre s.
Tenemos el enunciado molecular Si llueve, habr humedad. Luego de l viene un
punto seguido, lo cual indica que aqu termina una idea. El siguiente enunciado
molecular que viene es No hay humedad. Como ste sucede al primer enunciado
luego de un punto seguido, y hemos ya establecido que el punto seguido indica
conjuncin, debemos unir ambos enunciados a travs de la conjuncin. As
podremos simbolizar de este modo:
(p q) q

Luego, vemos que sucede la expresin:

Entonces no llovi que hemos simbolizado


con p. Esta consecuencia de la falta de
humedad se deriva nicamente del
enunciado No llovi o de la conjuncin de
los enunciados Si llueve, habr humedad y
No llovi? Pues la respuesta es que se
deriva de la conjuncin de ambos. As, es
necesario agrupar ambos enunciados, y
luego, como un todo nico, conectarlos con
p.
p q) p p

As pues, a mayor cantidad de signos de

agrupacin que lo encierren, menor la jerarqua


de una conectiva proposicional. Y a la inversa; a
menor la cantidad de signos de agrupacin que
lo encierren, mayor la jerarqua de una
conectiva proposicional.
Quinta regla: Simbolizar la inferencia de tal
modo que se refleje la estructura de las uniones
entre las distintas proposiciones a travs de las
distintas conectivas y sus respectivas jerarquas,
valindose de los signos de agrupacin.

EJERCICIOS

Tablas de verdad
Valores de verdad

Los valores de verdad son los valores que,


desde un punto de vista lgico, pueden tener
las proposiciones. stas, como hemos ya
aprendido o son verdaderas o son falsas. De
ah que el valor de verdad abarque tanto la
verdad como la falsedad, esto es; el valor de
verdad de una proposicin o bien es lo
verdadero o bien es lo falso.
Cada conectiva tiene su respectivo valor de
verdad

Negacin
La nieve es blanca.
Si el valor de verdad de esta proposicin fuera verdadero, su negacin

sera falsa. En cambio, si su valor de verdad fuera falso, entonces su


negacin sera verdadera.
En ese sentido decimos que si el valor de verdad de p es lo verdadero
entonces el valor de verdad de su negacin p ser lo falso.
Generalizando mediante metavariables decimos que si el valor de
verdad de A es lo verdadero, entonces el valor de verdad de su
negacin A ser lo falso.
Representndolo grficamente tendramos lo siguiente:

A
F V
V F

Disyuncin
Adam Smith escribi La Riqueza de las Naciones
o David Ricardo lo hizo.
Lo que nos est diciendo el presente enunciado es que o bien
Adam Smith es el autor de La riqueza de las naciones o bien
David Ricardo lo es. Si se analiza bien esta proposicin
molecular no nos est diciendo que ambas proposiciones sean
verdaderas, nos est indicando que por lo menos una lo es.
Esto quiere decir que para que el enunciado sea verdadero
basta que una de sus proposiciones lo sea (si lo son ambas
mejor) y que por ello nicamente es falso si ambas
proposiciones lo son.
p v q
F F F

Generalizando mediante metavariables

decimos que A v B tiene por valor de verdad


lo falso s y slo si, A tiene como valor de
verdad lo falso B tiene como valor de verdad
lo falso.
Representndolo grficamente tendramos lo
siguiente:

A v B
F F F

Conjuncin
Adam Smith escribi La riqueza de las naciones
y David Ricardo escribi Principios de Economa.
Lo que nos est diciendo el presente enunciado es que por
un lado Adam Smith fue autor de La riqueza de las naciones
que por otro lado David Ricardo fue autor de Principios de
Economa. Si se analiza bien esta proposicin molecular nos
est diciendo que ambas proposiciones son verdaderas.
Esto quiere decir que para que el enunciado molecular sea
verdadero, ambas proposiciones tienen que serlo.
Formalizando tenemos:
p q
VVV

Generalizando mediante metavariables

decimos que A B tiene por valor de verdad


lo verdadero solo si A tiene como valor de
verdad lo verdadero y B tiene como valor de
verdad lo verdadero.
Representndolo grficamente tendramos lo
siguiente:
A B
V VV

Condicional
Si hay inflacin, entonces los precios de los productos se incrementarn.

Formalizando :
p q
No se dice que habr inflacin ni tampoco que el valor de los productos subir; lo
nico que sostiene es que en caso que hubiera inflacin entonces el valor de los
productos subira. Con ello se est estableciendo una relacin causal entre la
inflacin y el incremento del valor de los productos.
Cundo este enunciado sera falso? Este enunciado sera falso slo si se diera el
fenmeno de la inflacin y el valor de los productos no se incrementarn.
Un enunciado condicional es falso nicamente cuando el antecedente es verdadero
y el consecuente es falso.
p q
V F F

En trminos generales podemos generalizar lo

anterior para todos los casos en que se


presente un condicional formulando lo
anterior a travs de metavariables:
A B
V F F
En todos los otros casos, el valor de verdad

del condicional es lo verdadero.

Bicondicional
El resultado de la auditora contable ser positivo s y slo si todas las cuentas

asentadas estn documentalmente justificadas.


Formalizando :
p q
Se establece una relacin de mutua implicancia; si sucede p, entonces suceder
q, y si sucede q, entonces suceder p.
Lo cual quiere decir que este enunciado es verdadero si ocurren ambos miembros.
Al ser una relacin de implicancia mutua, su negacin tambin es posible, esto es;
si no se da p no se dar q y a su vez, si no se da q , no se dar p. Tambien
es verdadero tambin cuando no se dan ninguno de ambos miembros.
Si se da uno de los miembros y el otro no, entonces el enunciado ser falso.
p q
V V V
F V F

En trminos generales podemos expresar lo

anterior para todos los casos en que se


presente un bicondicional formulando lo
anterior a travs de metavariables:
A B
V V V
F V F

Elaboracin de una Tabla de


Verdad para 2 o + variables

La Matriz Principal puede arrojar tres tipos distintos de

resultados:
Todos los valores de verdad son verdaderos. En
este caso recibe el nombre de Tautolgica y se
representa mediante el smbolo T.
Todos los valores de verdad son falsos. En ese
canso recibe el nombre de Contradictoria y se
representa mediante el smbolo .
Presenta tanto valores de verdad verdaderos
como falsos. En ese caso es denominada
Consistente o Contingente y se representa mediante
el smbolo Q.

La Tabla de Verdad
como mtodo decisorio
Uno de los mtodos decisorios tal vez el ms conocido- es el

de las tablas de verdad. Dicho mtodo no solo sirve para


realizar el anlisis de la correccin o incorreccin de las
inferencias formuladas en lenguaje natural y traducidas al
lenguaje de LP, sino tambin para el anlisis de validez formal
de cualesquiera esquema de frmulas simbolizando en L.P. en
ese sentido la Tabla de Verdad es un potente instrumento de
anlisis para decidir la validez o invalidez de una inferencia y
por lo tanto un excelente mtodo decisorio.
Cabe notar que si se toma la Tabla de Verdad como mtodo
decisorio para determinar la validez o invalidez de inferencias,
para que la inferencia sea lgicamente valida su matriz
principal deber ser Tautolgica, en todos los otros casos, tal
inferencia se considerar como lgicamente invalida.

Procedimiento
Primera regla: Formalizacin de la inferencia.
Segunda regla: Evaluacin en la inferencia a

travs del mtodo de Tabla de Verdad. Si la


Matriz Principal es Tautolgica entonces la
inferencia ser lgicamente valida.
Ejemplo:
Si llueve habr humedad. No hay humedad.
Entonces; no llovi.
Formalizando la inferencia tenemos:
( p q) q p

EJERCICIOS