Академический Документы
Профессиональный Документы
Культура Документы
Lgica Proposicional
1.1 Introduccin
El ser humano, a travs de su vida diaria, se comunica con sus semejantes a
travs de un lenguaje determinado (oral, escrito, etc.) por medio de frases u
oraciones. Esa frases pueden interrogaciones, rdenes, saludos o bien
declaraciones que afirman o niegan algo. Estas declaraciones que pueden tener
diferentes contenidos pero siempre admiten ser verdaderas o falsas, son las que
denominaremos "proposiciones". Lo importante en el presente estudio es el hecho
de que, a partir de proposiciones simples o "atmicas" es posible asociar un
conjunto de stas mediante ciertos "conectivos lgicos" y podemos llegar a elaborar
razonamientos que nos permitan llegar a una conclusin o inferencia, cuya validez
o invalidez es posible comprobar.
Hoy en da, la lgica proposicional que estudiaremos en este captulo, tiene una
importancia singular dada su aplicacin en los llamados "circuitos lgicos" de uso
en la electrnica y la informtica.
1.2 Proposicin
Por lo general, a las proposiciones se las representa por las letras del alfabeto
desde la letra p, es decir, p, q, r, s, t, ... etc.
As, por ejemplo, podemos citar las siguientes proposiciones y su valor de
verdad:
p : 15 + 5 = 21 (F)
q: Santa Fe es una provincia Argentina. (V)
r: El nmero 15 es divisible por 3. (V)
s: El perro es un ave. (F)
2
Son aquellos enunciados a los que no se les puede asignar un valor de verdad.
Entre ellos
tenemos a los exclamativos, interrogativos o imperativos.
As tenemos, por ejemplo:
- Cmo te llamas?
- Prohibido pasar
- Borra el pizarrn.
Aquellas proposiciones que constan o se les puede representar por una sola
variable, se llaman proposiciones simples o atmicas. Por ejemplo, sea la
proposicin
p: 3 + 6 = 9
es una propos icin simple o atmica.
Cuando una proposicin consta de dos o ms enunciados simples, se le llama
proposicin compuesta o molecular. As, por ejemplo:
p y q
encontramos dos enunciados. El primero (p) nos afirma que Pitgoras era griego y
el segundo (q) que Pitgoras era gemetra.
1.7.1 Negacin
Ejemplo.
La negacin de
p: el alumno estudia matemtica
es ~p: el alumno no estudia matemtica
4
1.7.2 Conjuncin
p q p q
V V V
V F F
F V F
F F F
Ejemplo.
Sea la declaracin
p q
vemos que est compuesta de dos proposiciones a las que llamaremos p y q, que
son
p: 5 es un nmero impar
q: 6 es un nmero par
1.7.3 Disyuncin
p q p q
V V V
V F V
F V V
F F F
Ejemplo.
El sentido de la disyuncin compuesta por p y q (p: tiro las cosas viejas, q: tiro las
cosas que no me sirven) es incluyente, pues si tiro algo viejo, y que adems no me
sirve, la disyuncin es V.
p q p q
V V V
V F F
F V V
F F V
Ejemplo.
6
Supongamos la implicacin
p q
Ejemplo.
p q p q
V V V
V F F
F V F
F F V
La doble implicacin o bicondicional slo es verdadera si ambas proposiciones
tienen el mismo valor de verdad.
7
p q p q q p (p q) (q p)
V V V V V
V F F V F
F V V F F
F F V V V
Ejemplo.
Sea i) a = b si y slo si a = b
p q p q
V V F
V F V
F V V
F F F
Ejemplo.
p q p q
V V V
V F F
F V V
F F V
Hay tres casos en los que p q es V, y entre ellos hay uno en que p es V, en el
cual resulta q verdadera. Es evidente que hacemos referencia al primer rengln de
la tabla y tenemos que si p q es V y p es V, entonces q es V. Se dice entonces
que el antecedente p es condicin suficiente para el consecuente q.
En cambio, si p es F, nada podemos decir de q puesto que puede ser V o F. Por
otra parte, cuando p q es V, si q es V, entonces p puede ser V o F; mas para
que p sea V se necesita que q lo sea. Se dice entonces que q es condicin
necesaria para p.
Estas condiciones suelen expresarse del siguiente modo:
q si p (condicin suficiente)
p slo si q (condicin necesaria)
Ejemplo.
La siguiente implicacin es V:
Ejemplo.
p q p q
V V V
V F F
F V V
F F V
p q ~p q
V V V
V F F
F V V
F F V
Como vemos, luego de realizar las tablas de valor veritativo encontramos que
ambas proposiciones tienen el mismo resultado final. Con esto, decimos que
ambas proposiciones son lgicamente equivalentes, y en este caso particular lo
simbolizamos:
(p q) (~p q)
tambin se utiliza el smbolo de bicondicional para expresar equivalencia
(p q) (~p q)
~{ (p q) (s t) }
10
Si al evaluar una frmula lgica, resulta que todos los valores de verdad
resultantes son siempre V para cualquier combinacin de sus valores veritativos,
decimos que dicha frmula es una Tautologa o Ley lgica.
Ejemplo.
p ~p p ~p
V F V
F V V
Ejemplo.
{(p q) p }
p q p q q p
q
V V V V V
V F F F V
F V V F V
F F V F V
Ejemplo
Analicemos la frmula lgica p ~p
11
p ~p p ~p
V F F
F V F
Como bien dijimos arriba, aquellas frmulas lgicas que resultan ser siempre
verdaderas no importa la combinacin de los valores veritativos de sus
componentes, son tautologas o leyes lgicas. En el clculo proposicional existen
algunas tautologas especialmente tiles cuya demostracin se reduce a la
confeccin de su correspondiente tabla de verdad, a saber:
Involucin
~(~p) p
(se lee "no, no p, equivale a p")
Idempotencia
(p ~p) p
(p ~p) p
Conmutatividad
a) de la disyuncin: p q q p
b) de la conjuncin: p q q p
Asociatividad
a) de la disyuncin: (p q) r p (q r)
b) de la conjuncin: (p q) r p (q r)
Distributividad
Leyes de De Morgan
~( p q ) ~p ~q
" La negacin de una disyuncin equivale a la conjuncin de las negaciones"
~( p q ) ~p ~q
"La negacin de una conjuncin equivale a la disyuncin de las negaciones"
V V V F V V
V F F V F V
F V V F V V
F F V F V V
~( p q ) ( p ~q)
Ejemplo.
y para p, si es V, se tiene:
13
1) Conjuncin
p q
2) Disyuncin
Como vemos, admite el pasaje de corriente cuando al menos una de las dos es
V (comprobar en la correspondiente tabla de verdad).
3) Implicacin
( p q ) ( ~p q )
4) Diferencia simtrica
( p q ) ~( p q )
~{ ( p q ) ( q p )}
~( p q ) ~( q p )
( p ~q ) ( q ~p )
( p q ) ( p ~p ) ( ~q q ) ( ~q ~p )
( p q ) ( ~p ~q )
p ~p
q ~q
Ejemplo.
p r
q
15
9 + 4 = 11 (F)
Definicin:
Ejemplos.
1.14.2 Cuantificadores
Ejemplo.
y en smbolos: x / ~ P(x)
Entonces, para negar una funcin proposicional cuantificada universalmente se
cambia el cuantificador en existencial, y se niega la funcin proposicional.
Ejemplo.
Supongamos la proposicin:
Todos los alumnos de mi colegio son aplicados
La vamos a escribir en lenguaje simblico, negarla y retraducir la negacin al
lenguaje ordinario.
Nos damos cuenta pronto que se trata de la implicacin de dos funciones
proposicionales:
P(x): es alumno de mi colegio
Q(x): es aplicado
Tenemos:
x : P(x) Q(x)
Teniendo en cuenta la forma de negar una funcin proposicional cuantificada
universalmente y una implicacin resulta:
x / P(x) ~ Q(x)