Professional Documents
Culture Documents
PSICOLOGA
MATEMTICA
DOC 2
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 las denominadas
frases u oraciones. Estas pueden tener diferentes significados pero siempre van a
resumirse a las formas de verdaderas o falsas, siendo ste el precedente fundamental
para el desarrollo humano. Lo importante en el presente estudio es el hecho de que, a
partir de los enunciados y de acuerdo a su significado es posible establecer una
proposicin y a partir de un conjunto de stas podemos llegar a una conclusin o
inferencia, siendo la lgica la ciencia encargada del estudio de stas.
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
La proposicin es el significado de una idea, enunciado, conjunto de palabras o letras a
las que se les puede asignar uno y slo uno de los valores de verdad, que pueden ser:
VERDADERO (V)
FALSO (F)
(F)
(V)
(V)
(F)
encontramos dos enunciados. El primero (p) nos afirma que Pitgoras era griego y el
segundo (q) que Pitgoras era gemetra.
1.6 Notacin y Conectivos Lgicos
A partir de proposiciones simples es posible generar otras, simples o compuestas. Es
decir que se puede operar con proposiciones, y para ello se utilizan ciertos smbolos
llamados conectivos lgicos.
Operacin asociada
Significado
Negacin
Conjuncin o producto lgico
Disyuncin o suma lgica
Implicacin
Doble implicacin
no p o no es cierto que p
pyq
p o q (en sentido incluyente)
p implica q, o si p entonces q
p si y slo si q
~p
1.7.2 Conjuncin
Dadas dos proposiciones p y q, se denomina conjuncin de estas proposiciones a la
proposicin p q (se lee "p y q"), cuya tabla de verdad es:
p
p q
V
V
F
F
V
F
V
F
V
F
F
F
La tabla que define esta operacin, establece que la conjuncin es verdadera slo
si lo son las dos proposiciones componentes. En todo otro caso, es falsa.
Ejemplo.
Sea la declaracin
i) 5 es un nmero impar y 6 es un nmero par
p
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
y por ser ambas verdaderas, la conjuncin de ellas (que no es sino la declaracin i) es
verdadera.
Ahora bien, sea la declaracin
ii) Hoy es el da 3 de noviembre y maana es el da de 5 de noviembre
Esta conjuncin es falsa, ya que no pueden ser simultneamente verdaderas ambas
proposiciones.
1.7.3 Disyuncin
Dadas dos proposiciones p y q, la disyuncin de las proposiciones p y q es la
proposicin p q cuya tabla de valor de verdad es:
p q
V
V
F
F
V
F
V
F
V
V
V
F
p q
V
V
F
F
V
F
V
F
V
F
V
V
Ejemplo.
Supongamos la implicacin
i) Si apruebo, ENTONCES te presto el libro
1 = -1 1 = (-1)
(F)
p q
V
V
F
F
V
F
V
F
V
F
F
V
p q
qp
(p q) (q p)
V
V
F
F
V
F
V
F
V
F
V
V
V
V
F
V
V
F
F
V
Ejemplo.
Sea i) a = b si y slo si a = b
El enunciado est compuesto por las proposiciones:
p: a = b
q: a = b
1.8 Esta doble implicacin es falsa si p es F y q es V. En los dems casos
p q
V
V
F
F
V
F
V
F
V
F
V
V
~p q
V
V
F
F
V
F
V
F
V
F
V
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 logicamente equivalentes, y en este caso particular lo simbolizamos:
(p q) (~p q)
1.9 Tautologa, contradiccin y contingencia
Al conjunto de proposiciones, conectivos lgicos y smbolos de agrupacin lo
denominamos frmula lgica. Por ejemplo:
~{ (p q) (s t) }
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.
Si analizamos la proposicin t: p ~p realizando su tabla de verdad:
p
~p
p ~p
V
F
F
V
V
V
Ejemplo.
pq
qp
{(pq)p}q
V
V
F
F
V
F
V
F
V
F
V
V
V
F
F
F
V
V
V
V
~p
p ~p
V
F
F
V
F
F
~(~p) p
(se lee "no, no p, equivale a p")
(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
a) de la conjuncin respecto de la disyuncin:
(p q) r (p r) (q r)
b) de la disyuncin respecto de la conjuncin:
(p q) r (p r) (q r)
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"
1.11 Negacin de una Implicacin
Las proposiciones p q y ~(p ~q) son equivalentes, como vemos realizando la tabla
de valores correspondientes:
p
pq
(p ~q)
~(p ~q)
p q ~(p ~q)
V
V
F
F
V
F
V
F
V
F
V
V
F
V
F
F
V
F
V
V
V
V
V
V
Ejemplo.
Sea la implicacin p: hoy es viernes entonces maana es domingo
Su negacin es ~p: hoy es viernes y maana no es domingo.