Universidad Jos Carlos Maritegui

TEMA II

1. APLICACIONES PRACTICAS DE LOGICA SIMBOLICA Y LGEBRA DE

PROPOSICIONES
La proposicin lgica hace ms fcil y efectiva la manipulacin de valores de
verdad entre proposiciones. Las tablas de verdad muestran los principales valores
de verdad de diferentes grupos de proposiciones conectados por operadores. Los
valores de verdad de una proposicin compuesta dependen en los valores de
verdad de estos componentes (p, q, r, s...) y de la funcin del conector. Asignando
smbolos a proposiciones y conectores, expresando relaciones entre declaraciones
dentro de una tabla de verdad donde los valores de verdad son mas fcilmente
reconocidos, tan bien como formalizados.

1.1 Negacin
La negacin es la inversa de los valores de verdad de una declaracin como se
muestra en la figura:

p p

V F

F V

Negacin

Ejemplos

a. Algunas personas tienen miedo a morir (p)

b. Algunas personas no tienen miedo a morir ( p)

Lo que se considera en este caso es solo negar la proposicin original,

utilizando la negacin de la proposicin.

1.2 Conjuncin
Cuando conjugamos dos declaraciones, tiene el sentido de afirmar que son
simultneamente verdaderas. Por ejemplo, al decir que "Londres es la capital
de Inglaterra y Cuba es una isla,". El conector funciona indicando que las dos
proposiciones conjuntadas son verdaderas, de modo que si p es la proposicin
"Londres es capital de Inglaterra" y q es la proposicin "Cuba es una isla", la
conjuncin de ambas proposiciones se representar de la siguiente manera:

Asignacin de valores proposicin

p = Londres es capital de Inglaterra p q (y se lee "p y q")

q = Cuba es una isla

Londres es capital de Inglaterra y Cuba es una isla

Considerando que la conjuncin de dos proposiciones cualquiera indica la

verdad simultanea de ambas, la proposicin compuesta resultante es
verdadera si efectivamente ambas son verdaderas. En otro caso la proposicin
resultante es falsa. Resumiendo todo esto en una tabla de verdad como se
muestra en la Figura.

13
 Universidad Jos Carlos Maritegui

p q pq

V V V

V F F

F V F

F F F

Conjuncin

1.3 Disyuncin
La disyuncin tiene la funcin de enlazar dos proposiciones, indicando que al
menos una de ellas es verdadera (aunque pueden serlo ambas tambin);
supongamos el siguiente ejemplo, si p es la proposicin "3 es un nmero
primo" y q es la proposicin "3 es un nmero natural". La proposicin
compuesta indica que cuando menos una de las proposiciones simples es
verdadera. En general, dada una proposicin compuesta cuya conectiva es una
disyuncin, ser verdadera si al menos una de las alternativas es verdadera (y
por supuesto cuando las dos lo sean). Ser falsa slo cuando las dos
alternativas sean falsas. En la figura No. 4 veremos como quedara el ejemplo
asignndole variables a las proposiciones simples, as como, Chequearemos y
revisemos la explicacin anterior.

Asignacin de valores proposicin

p = 3 es un nmero primo p q (y se lee " p q")
q = 3 es un nmero natural
3 es un nmero primo o 3 es un nmero natural

p q p q

V V V

V F V

F V V

F F F

Disyuncin

1.4 Condicional
Al relacionarse dos proposiciones con este conector es muy importante
distinguir la que queda a la izquierda (a la que se le llama antecedente), de la
que queda a la derecha (que se llama consecuente).

El sentido de este conector es sealar, que si la proposicin antecedente es

verdadera, tambin lo es la proposicin consecuente; es decir, basta o es
suficiente que el antecedente sea verdadera, para que el consecuente tambin

14
Universidad Jos Carlos Maritegui

sea verdadero. De aqu que una proposicin compuesta en la que el conector

es condicional, ser falsa si siendo verdadero el antecedente, es falso el
consecuente. La proposicin ser verdadera en los dems casos, en los que no
ocurre que el antecedente es verdadero y el consecuente falso.

Ejemplo. S p es la proposicin "Marte es un planeta", en tanto que q es la

proposicin "Marte brilla con luz propia".

Asignacin de valores proposicin

p = Marte es un planeta p q (y se lee " Si p, entonces q")
q = Marte brilla con luz propia
Si Marte es un planeta entonces Marte brilla con luz propia

p q p q

V V V

V F F

F V V

F F V

Condicional

1.5 Bicondicional
Esta expresin es un conector lgico que al relacionar dos proposiciones indica
que el valor de verdad de ambas es el mismo, ya sea verdadero o falso. As, p
q es una proposicin que significa que si p es verdadera, entonces q
tambin es verdadera y si q es verdadera, entonces p tambin es verdadera.
En realidad la conectiva Bicondicional es la conjuncin () de dos
proposiciones condiciones (si...entonces) es decir, la proposicin p q tiene el
mismo sentido que la proposicin (p q) (p q).

Consideremos el siguiente ejemplo: asignmosle valores a las variables que

estamos utilizando. De esta manera si p toma la proposicin de "Febrero tiene
29 das" y q es "El ao es bisiesto".

Asignacin de valores Proposicin

p = Febrero tiene 29 das p q (y se lee " S y solo s q")
q = El ao es bisiesto
Febrero tiene 29 das si y solo si el ao es bisiesto

p q p q

V V V

V F F

15
 Universidad Jos Carlos Maritegui

F V F

F F V
Bicondicional

En este conector la regla a utilizar es la siguiente, la proposicin es verdadera

siempre y cuando las dos proposiciones sean verdaderas o falsas.

2. TABLAS DE VERDAD
En este caso explicaremos con ms detalles como se construye una tabla de
verdad, en este caso con 3 variables.

1. Primero se construye la frmula y a su izquierda las variables (letras) que en

ella entran. De esta manera ya se tiene el encabezado.

2. Para conocer el nmero de renglones se aplica la frmula 24, siendo "n" el

nmero de variables. En este caso 24=22, o sea. 2 x 2 x 2 = 8. Trazando pues
ocho renglones.

3. Debajo de cada una de las variables de la izquierda (p, q, r) se escribe una

columna de valores. Empezando por la derecha anotando una V y una F, una V
y una F, etc., hasta completar el nmero de renglones (en este caso ocho). La
siguiente columna a la izquierda se forma escribiendo dos veces V y dos veces
F, etc., hasta llenar los renglones. La siguiente columna se forma escribiendo
cuatro veces V y cuatro veces F.

4. Para calcular los valores de los conectivos se aplica la regla respectiva y se

empieza por los ms interiores. El ltimo conectivo en ser calculado es el que
est fuera de todo parntesis.

5. Ejemplo:

p q R (p q) (r q)

V V V V V V

V V F V V V

V F V F F F

V F F F V V

F V V F V V

F V F F V V

F F V F F F

F F F F V V

Ejemplo de construccin de tablas de verdad.

16
Universidad Jos Carlos Maritegui

2.1 Tautologa, contradiccin e incongruencia

a) Tautologa
Es una proposicin compuesta que es verdadera en todos los casos,
cualquiera que sea el valor de verdad de sus proposiciones simples. La
proposicin tautolgica o tautologa es siempre verdadera por su forma
lgica, es decir, por la forma en que se relacionan sus proposiciones
simples.

p q p p p

V V F V

V F F V

F V V V

F F V V

Tautologa

b) Contradiccin
Es una proposicin compuesta que es falsa en todos los casos, cualquiera
que sea el valor de verdad de las proposiciones simples.

Puesto que la negacin invierte los valores de verdad de una proposicin,

al negar una tautologa obtenemos una contradiccin, y viceversa; al negar
una contradiccin obtenemos una tautologa.

p q p p p

V V F F

V F F F

F V V F

F F V F

Contradiccin

c) Incongruencia
Una proposicin incongruente (llamada tambin contingente) es una
proposicin compuesta que es verdadera en algunos casos y falso en otros.
Son proposiciones de las que tenemos que determinar las combinaciones
de los valores de verdad que las hacen verdadera o falsa y, por ello, su
valor de verdad depende no de la forma lgica sino del valor de verdad de
sus proposiciones simples.

17
 Universidad Jos Carlos Maritegui

P q p q

V V V

V F F

F V V

F F V

Incongruencia

3. Leyes principales de la lgica de proposiciones

Existen varias equivalencias lgicas proposicionales parecidas a las del lgebra
Booleana

Denominacin Representacin lgica

Leyes equipotenciales P P P P P P

Leyes asociativas (P Q) R P (Q R) (P Q) R P (Q R)

Leyes conmutativas P Q Q P P Q Q P

Leyes distributivas P (Q R) (P Q) (P R) P (Q R) (P Q) (P R) P T P
P F P P F F
P T T P P F
P P T

Leyes de absorcin P (P Q) P P (P Q) P

Leyes de identidad (P F) P (P F) F
(P T) T (P T) P
Leyes complementarias (P P) T P P
(P P) F
Leyes de Morgan (P Q) P Q (P Q) P Q

Leyes condicionales (P Q) ( P Q) (P Q) ( Q P)

Leyes bicondicionales (P Q) ((P Q) (Q P)) (P Q) (( P Q) (P Q))

18