You are on page 1of 34

LGICA PROPOSICIONAL

Rafael Mora
Cepre-Uni
LGICA PROPOSICIONAL
Tambin llamada lgica de grado cero (u orden
cero), lgica coligativa, lgica sentencial, lgica de
enunciados, lgica conectiva. Es parte de la lgica
clsica que efecta el clculo lgico en base a
proposiciones sin analizar donde no hay
cuantificacin alguna. Considera a la proposicin
como elemento mnimo y su relacin con otras
proposiciones. El aparato de dicho clculo, as, se
compone de variables proposicionales, que
representan proposiciones atmicas; metavariables,
que se refieren a proposiciones compuestas;
operadores lgicos didicos y mondicos, que
significan las diversas funciones veritativas tomadas
en cuenta para el clculo; signos auxiliares como los
parntesis, las llaves, los corchetes; y reglas de
formacin, que norman la construccin correcta de
frmulas. Esta lgica es decidible por medio de las
tablas de verdad o con el uso de la forma normal
conjuntiva.
EQUIVALENCIA DE FRMULAS
Dos frmulas A y B son equivalentes si y slo si sus
matrices son iguales; si sus matrices son diferentes, de
dice que A y B no son equivalentes.
Notacin:
A B: se lee A es equivalente a B
A B: se lee A no es equivalente a B
Ejemplo:
PRINCIPIOS LGICOS CLSICOS
La tradicin aristotlica ha considerado
como fundamentales a los principios lgicos
otorgndoles mxima jerarqua. Dichos
principios pueden transformarse a frmulas
cuya evaluacin de sus matrices lgicas nos
revele que se trata de una tautologa. Esto
significa que no podemos privilegiar slo a
estas tautologas por sobre otras igual de
vlidas. Dichos principios son los siguientes:
1. Principio de Identidad: Toda proposicin
es verdadera si y solo si ella misma es
verdadera
Forma Lgica: pp
2. Principio de No-contradiccin: No es
posible que una proposicin sea verdadera
y falsa al mismo tiempo.
Forma Lgica: ~(p~p)
3. Principio de Tercio Excluido: Toda
proposicin es necesariamente verdadera o
necesariamente falsa. No existe una
posibilidad intermedia.
Forma Lgica: p~p
LEYES DE EQUIVALENCIAS NOTABLES
Conmutacin (Conm.)
(pq) (q p)
(pq) (qp)
(pq) (qp)
(p q) (p q)
Asociacin (Asoc.)
p(qr) (pq)r
p(qr) (pq) r
p (q r) (p q) r
Distribucin (Distrib.)
(pq) r (pr) (qr)
(pq) r (pr) (qr)
p(qr) (pq)(qp)
p(qr) (pq)(qp)
LEYES DE EQUIVALENCIAS NOTABLES
Doble Negacin (DN)
~~pp
~~~p ~p
Teoremas de De Morgan (DM)
~(pq) ~p~q
~(pq) ~p~q
pq ~(~p~q)
pq ~(~p~q)
Idempotencia (Idem.)
pp p
pp p
Def. del condicional (Def. cond.)
pq ~pq
pq ~(p~q)
LEYES DE EQUIVALENCIAS NOTABLES
Def. del bicondicional (Def. Bicondicional)
p q (pq) (qp)
pq [ (pq) (~p~q) ]
Def. de la disyuncin fuerte (Def. DF)
p q ~ (p q)
p q (pq) (~p~q)
Absorcin (Abs.)
p (p q) p
p (p q) p
p (~p q) pq
p (~p q) pq
Transposicin (Trans.)
pq ~q~p
p q (~ q ~p)
LEYES DE EQUIVALENCIAS NOTABLES

Consideremosque T es una frmula tautolgica, C es


una frmula contradictoria y Q es una frmula
consistente.

(T Q) Q
(C Q) C
(T Q) T
(C Q) Q

(T Q) Q
(C Q) T
(Q T) T
(Q C) ~Q
IMPLICACION DE FRMULAS
Una frmula A implica a B si y solo si unidas en forma
condicional, A como antecedente y B como consecuente, su
matriz resulta tautolgica (en este caso decimos que la inferencia
es vlida); si su matriz es consistente o contradictoria, se dice que
A no implica a B (en este caso decimos que la inferencia es
invlida).
Notacin:
AB: se lee A implica a B
Ejemplo:
LEYES DE IMPLICACIONES NOTABLES
Regla del Modus Ponendo Ponens
(MP): A partir de una frmula
condicional y de la afirmacin de su
antecedente, se obtiene su
consecuente.
1. AB
2. A___
B
Ley del MP: [(pq)p]q
Regla del Modus Tollendo Tollens
(MT): A partir de una frmula y de la
negacin de su consecuente, se
obtiene su consecuente.
1. AB
2. ~B__
~A
Ley del MT: [(pq)~q]~p
LEYES DE IMPLICACIONES NOTABLES
Regla del Silogismo Disyuntivo (SD): A
partir de una formula disyuntiva y de la
negacin de una de sus componentes, se
obtiene la otra componente.
1. AB
2. ~A_
B
Ley del SD: [(pq) ~p ] q
Regla del Silogismo Hipottico (SH): A
partir de dos frmulas condicionales,
donde el consecuente de la primera es el
antecedente de la segunda, se obtiene
una condicional formada por el
antecedente de la primera y el
consecuente de la segunda.
1. AB
2. BC
AC
Ley del SH: [(pq)(qr)] (pr)
LEYES DE IMPLICACIONES NOTABLES
Regla de Adicin (Ad): A
partir de una frmula, se
obtiene la disyuncin de esa
frmula con cualquier otra.
1. A__
AB
Ley de Ad: [p(pq)]
Regla de Simplificacin
(Simpl.): A partir de la
conjuncin de dos frmulas,
se obtiene una de ellas.
1. AB
B
Ley de Simpl: pq q
LEYES DE IMPLICACIONES NOTABLES
Regla de Adjuncin o
Conjuncin (Conj.): a
partir de dos frmulas, se
obtiene la conjuncin de
ambas
1. A
2. B___
A&B
Ley de Conj: pq (pq)
FALACIAS FORMALES
Las falacias son razonamientos invlidos,
es decir, proposiciones con caracterstica
tabular contingente o contradictoria, o lo
que es lo mismo no-tautolgica. Las
falacias que conoceremos a continuacin
son de la lgica de proposiciones, dejamos
para otra oportunidad las de las lgicas de
niveles superiores.
1. Falacia de afirmacin del
consecuente. Atenta contra el MP. Por
ejemplo:
Enunciado: Si soy penalista, entonces soy
abogado. Soy abogado. Luego, soy
penalista.
Forma Lgica: (pq) q. p
2. Falacia de negacin del antecedente.
Atenta contra el MT. Por ejemplo:
Enunciado: Si soy vocal, entonces soy
magistrado. No soy vocal. Luego, no soy
magistrado.
Forma Lgica: (pq) ~p .. ~q
FALACIAS FORMALES
3. Falacia de cambio del antecedente de
la conclusin. Atenta contra el SH. Por
ejemplo:
Enunciado: Si eres cardilogo, entonces
eres mdico. Si eres mdico, entonces eres
profesional. Luego, si eres profesional,
entonces eres cardilogo
Forma Lgica: [(pq) (qr)] (r p)
4. Falacia de medio concluyente o cadena
falsa. Atenta contra el SH. Por ejemplo:
Enunciado: Si te jubilas, recibirs una
remuneracin mensual. Si te jubilas, sers
parte de la poblacin econmicamente
pasiva. Por lo tanto, si recibes una
remuneracin mensual, entonces sers
parte de la poblacin econmicamente
pasiva
Forma lgica: [(p q) (p r)] (q r)
FALACIAS FORMALES
5.Falacia de Afirmacin de los extremos.
Atenta con el SD. Por ejemplo:
Enunciado: Eres poeta o eres msico. Eres
poeta. Luego, no eres msico
Forma lgica: [(pq) p] ~q
MTODO DE DEDUCCIN NATURAL
Tambin suele denominrsele inferencia
natural y clculo secuencial, y fue propuesto
por Gentzen en 1934.
El mtodo de la DN es una prueba formal
empleada para determinar la validez de un
argumento. Esta prueba est constituida por una
sucesin de enunciados de los cuales algunos
son premisas del argumento a ser validado, y
otros son incorporados en el curso de la prueba
luego de ser deducidos a travs de la aplicacin
de dos tipos de reglas, a saber, las denominadas
reglas de inferencia y las llamadas regla de
reemplazo, de modo que el ltimo enunciado
de la serie viene a ser la conclusin de
argumento que se pretende validar.
Este mtodo se plantea como una alternativa al
mtodo de las tablas de verdad sobre todo
cuando tratamos con ms de 5 variables por
ejemplo.
Pero ste mtodo de DN no es un algoritmo,
pues no contiene un conjunto predeterminado
de pasos cuya observancia conduzca de modo
necesario a la obtencin de un objetivo.
EJEMPLO
Aplica el mtodo de la deduccin natural para saber si
es posible concluir lo resaltado:
P1. p(qr)
P2. ~q ~r
P3. s ~p // p s
P. 4. ~(q r) P2 DM
P. 5. ~p P1 y P4 MT
P. 6. ~p s P5 Adicin
P. 7. p s P6 Def. Condicional
Scholz: { [p(qr)] (~q ~r) (s ~p) } (p s)
El razonamiento anterior es VLIDO!
LA INFORMTICA
DEFINICIN:
La informtica (de informacin y automtica) es el estudio de los
procedimientos que permiten manipular, almacenar, procesar y
transmitir las informaciones en forma automtica y su utilizacin en
ordenadores. La computadora es una mquina que trata
automticamente la informacin. Realiza operaciones en la
siguiente forma: acepta datos, los procesa de acuerdo a las
indicaciones del programa respectivo y entrega el resultado.

QU ES INFORMACIN?
La informacin es el conjunto de datos organizados, procesados,
valorables en cantidad y calidad, que constituyen un mensaje sobre
un determinado ente o fenmeno. Informacin significa toda
transmisin de seales a travs de canales.

En Lgica la informacin la entenderemos como la situacin de


verdadera o falsa de una proposicin, es decir, la calidad de una
proposicin o en este caso el estado de cerrado o abierto de un
interruptor y el estado de prendido o apagado de un foquito.

PREMISA FUNDAMENTAL:
La Lgica (Ciencia cuya unidad mnima es la frmula proposicional)
y la Electrnica (Ciencia cuya base son los circuitos elctricos) son
isomorfas y conforman la Informtica.
LA INFORMTICA
CIRCUITO LGICO
Son estructuras formales (sistemas
abstractos) que representan sistemas para la
transmisin de informacin de toda ndole
(desde la electricidad hasta datos
informticos) simulando el comportamiento
real de un circuito elctrico.
Circuito elctrico es toda de transmisin de
impulsos elctricos.
Los circuitos elctricos reales tienen los
siguientes elementos:
A. Fuente de energa (batera, pila,
tomacorriente)
B. Cable de transmisin
C. Interruptores (llamados as porque
interrumpen o permiten el flujo de
electricidad)
D. Resistencia o receptor de informacin
(foco, lmpara)
La energa parte del polo negativo de la
fuente y se transmite por el cable llega hasta
el foco (que se prende) y viaja por el cable
hasta llegar al polo positivo de la fuente.
ISOMORFISMO
La aplicacin de la lgica proposicional a los
circuitos elctricos es posible en virtud del
isomorfismo existente entre ambos. Llamamos
isomorfismo a la relacin de igualdad
estructural que existe entre dos objetos.
En efecto, el matemtico e ingeniero
norteamericano Claudio Shannon uno de los
diseadores de las modernas computadoras
descubri, en 1936, el isomorfismo (igualdad de
formas bsicas) existentes entre la lgica de
proposiciones y la teora de los circuitos
elctricos.
Gracias a este descubrimiento se ha
desarrollado una teora sistemtica de los
circuitos elctricos y sta ha hecho posible
resolver cualquier problema concerniente a la
construccin y funcionamiento de estos
circuitos bsicos de las computadoras
electrnicas.
Para hacer el isomorfismo es necesario
considerar slo 3 funciones lgicas: la
conjuncin, la disyuncin y la negacin. Como
a travs de esas 3 funciones bsicas se puede
definir las dems funciones lgicas, entonces el
isomorfismo es total.
ISOMORFISMOS
La verdad o la falsedad de una proposicin puede
representarse por 1 y 0. Mientras que el 1 indica
presencia, el 0 indica ausencia, de ah que 1 y 0 se
asocian a lo verdadero y lo falso.
PRIMER ISOMORFISMO
Una proposicin simple puede ser verdadera o falsa.
De igual manera podemos decir que un interruptor
puede estar cerrado o abierto.
Ser verdadero es como estar cerrado y ser falso es
como estar abierto. Las posibilidades son anlogas:
V = 1 = interruptor cerrado pasa la informacin
V = 0 = interruptor abierto no pasa la informacin
SEGUNDO ISOMORFISMO
Ahora bien, una proposicin compuesta puede ser
verdadera o falsa.
De igual manera, si fluye la informacin entonces el
foquito encender, y si no fluye entonces el foquito
no encender.
El estado de encendido y apagado corresponden a
los valores de verdad y falsedad respectivamente. De
nuevo, las posibilidades son anlogas:
V = 1 = foco prendido la informacin est pasando
F = 0 = foco apagado la informacin no est pasando
TABLA DE ISOMORFISMOS

ESTADO INTERRUPTOR SITUACIN DEL CIRCUITO


LGICO
F=0 ABIERTO APAGADO

V=1 CERRADO ENCENDIDO

El interruptor determina si la informacin pasa o no pasa.


El foquito forma parte del cable y, por tanto, tambin su
situacin depende de los interruptores.
TIPOS DE CIRCUITOS LGICOS
CIRCUITO EN SERIE: Es aquel que est constituido por interruptores
dispuestos uno detrs de otro. Se le representa mediante una
conjuncin. BASTA QUE UNO DE LOS INTERRUPTORES EST ABIERTO PARA
QUE EL FOCO NO PRENDA

p q pq Circuito Lgico

1 1 1

1 0 0

0 1 0

0 0 0
TIPOS DE CIRCUITOS LGICOS
CIRCUITO EN PARALELO: Es aquel que est constituido por
interruptores dispuestos uno a lado del otro. Se le representa
mediante una disyuncin. BASTA QUE UNO DE LOS
INTERRUPTORES EST CERRADO PARA QUE EL FOCO PRENDA

p q pq Circuito
Lgico
1 1 1

1 0 1

0 1 1

0 0 0
LA AFIRMACIN Y LA NEGACIN
Convencin:
Una proposicin simple se representa mediante un
circuito con un solo interruptor.
Cuando encontremos proposiciones simples negadas
las representaremos de igual manera o con una coma
como superndice: p . Ejemplo:
PREGUNTA
SOLUCIN
PREGUNTA
SOLUCIN