NDICE

DEDICATORIA...................................................................................................2
NDICE..............................................................................................................3
PRESENTACIN.................................................................................................5
INTRODUCCIN................................................................................................6
VALORES DE LA VERDAD..................................................................................8
1.Proposiciones y Tablas de Verdad...............................................................8
1.1.Proposicin...........................................................................................8
1.2.Valor de Verdad..................................................................................10
1.3.Proposicin Compuesta......................................................................11
1.4.Variables de Enunciado...................................................................... 11
1.5.Tablas de Verdad................................................................................ 12
2.Conexin entre Proposiciones...................................................................13
2.1.Conjuncin..........................................................................................13
2.2.Disyuncin..........................................................................................14
2.3.Disyuncin Exclusiva..........................................................................15
2.4.Negacin............................................................................................16
2.5.Tautologas y Contradicciones............................................................18
2.6.Proposicin Condicional......................................................................19
2.7.Proposicin Recproca.........................................................................27
2.8.Proposicin Contrarrecproca..............................................................27
2.9.Proposicin bicondicional................................................................... 30

Valores de Verdad
3.Implicacin...............................................................................................38
3.1.Implicacin Logica..............................................................................38
3.2.Implicacin Lgica y Proposicin Condicional.....................................39
3.3.Implicaciones Lgicas ms Comunes................................................. 41
4.Equivalencia lgica...................................................................................44
4.1.Proposiciones Lgicamente Equivalentes...........................................44
4.2.Equivalencia lgica y Proposicin Bicondicional.................................46
4.3.Equivalencias Lgicas ms Comunes................................................. 47
BIBLIOGRAFA.................................................................................................56
CONCLUSIONES..............................................................................................57

PRESENTACIN
El presente trabajo monogrfico, ha sido elaborado para la asignatura
de Lgica Jurdica, de la Escuela Profesional de Derecho y Ciencia Poltica
de la Universidad Alas Peruanas, Filial Huacho.
Universidad Alas Peruanas Filial Huacho

Pg. 2

Valores de Verdad
Esta monografa intenta cumplir las expectativas de un trabajo de
investigacin amplio con orientacin a la Docente encargada del curso:
Bertha Maritza Casazola Rosales, hemos tratado de hacer un trabajo
completo tanto en la parte del tema principal como tambin cuidando el
fondo y la forma de la problemtica, buscando la claridad y el debido
entendimiento de todo aquel que est dispuesto a interesarse en leer este
trabajo de investigacin.
Hemos recopilado informacin de diversas fuentes tanto fsicas como
virtuales, que nos han ayudado a sacar conclusiones y a encontrar
respuestas a las interrogantes que nos planteamos antes de elaborar la
presente, y que nos permita tener un punto de vista claro y ptimo acerca de
este tema.

INTRODUCCIN
La expresin "tener valor de verdad" no debe ser confundida con "ser
verdadero".
Universidad Alas Peruanas Filial Huacho

Pg. 3

Valores de Verdad
Una oracin descriptiva, que es formulada en lenguaje informativo para
representar o describir algo posee valor de verdad.
Los valores de verdad dos: verdadero y falso. Estos se basan en el principio
lgico de no contradiccin, que establece la imposibilidad de p y -p al mismo
tiempo.
Por ejemplo, es imposible que usted est leyendo y no est leyendo esto al
mismo tiempo.
Los valores de verdad son algo as como evaluaciones que hacemos de las
oraciones en virtud de una relacin, por lo que son conceptos semnticos.
Hay una relacin porque cuando describimos algo ("esta mesa es de
madera", por ejemplo) determinamos dos dominios o mbitos diferentes:
el mbito del lenguaje y el de aquello que designa el lenguaje.
La semntica estudia precisamente la relacin que se presenta entre
el lenguaje y aquello que describe.
Entonces, que una oracin tenga uno u otro valor de verdad depende de la
relacin entre ella y aquello que designa o refiere. La oracin "esta mesa es
de madera" ser verdadera si la mesa, el objeto que designa, es realmente
de madera.
Pero si digo esto mismo respecto de una mesa que es de hierro, entonces la
oracin es falsa, no hay correspondencia entre la oracin y aquello que
designa.
Universidad Alas Peruanas Filial Huacho

Pg. 4

Valores de Verdad
Dijimos que el hecho de que una oracin tenga uno u otro valor de verdad
depende de la relacin semntica establecida, pero eso no es lo mismo que
decir "que una oracin tenga valor de verdad depende de la relacin con
aquello que designa". Pues la oracin, si es descriptiva, tiene valor de
verdad independientemente de si se cumple una u otra relacin.
Y tiene valor de verdad independientemente de si lo sabemos.
Y tiene valor de verdad independientemente de si lo podemos llegar a saber
o no.

VALORES DE LA VERDAD

Universidad Alas Peruanas Filial Huacho

Pg. 5

Valores de Verdad
La estrecha relacin existente entre la matemtica moderna y la logica
formal es una de sus caractersticas fundamentales. La lgica aristotlica era
insuficiente para la creacin matemtica ya que la mayor parte de los
argumentos utilizados en esta contienen enunciados del tipo si, entonces,
absolutamente extraos en aquella.
En esta primera leccin de lgica estudiaremos uno de los dos niveles en los
que se desenvuelve la moderna lgica formal: la lgica de enunciados o de
proposiciones.
1. Proposiciones y Tablas de Verdad
En el desarrollo de cualquier teora matemtica se hacen afirmaciones en
forma de frases y que tienen un sentido pleno. Tales afirmaciones, verbales o
escritas, las denominaremos enunciados o proposiciones.
1.1.Proposicin
Llamaremos de esta forma a cualquier afirmacin que sea verdadera o
falsa, pero no ambas cosas a la vez.
Ejemplo 1.1 Las siguientes afirmaciones son proposiciones.
a) Gabriel Garca Mrquez escribi Cien aos de soledad.
b) 6 es un nmero primo.
c) 3 + 2 = 6
d) 1 es un nmero entero, pero 2 no lo es.
Universidad Alas Peruanas Filial Huacho

Pg. 6

Valores de Verdad
Nota 1.1 Las proposiciones se notan con letras minsculas, p, q, r... La
notacin p: Tres ms cuatro es igual a siete se utiliza para definir que p es
la proposicin tres ms cuatro es igual a siete.
Este tipo de proposiciones se llaman simples, ya que no pueden
descomponerse en otras.
Ejemplo 1.2 Las siguientes no son proposiciones.
a) x + y > 5
b) Te vas?
c) Compra cinco azules y cuatro rojas.
d) x = 2
Solucin
En efecto, (a) es una afirmacin pero no es una proposicin ya que ser
verdadera o falsa dependiendo de los valores de x e y e igual ocurre con la
afirmacin (d). Los ejemplos (b) y (c) no son afirmaciones, por lo tanto no
son proposiciones.
Desde el punto de vista lgico carece de importancia cual sea el contenido
material de los enunciados, solamente interesa su valor de verdad.

Universidad Alas Peruanas Filial Huacho

Pg. 7

Valores de Verdad
1.1.Valor de Verdad
Llamaremos valor verdadero o de verdad de una proposicin a su
veracidad o falsedad. El valor de verdad de una proposicin verdadera es
verdad y el de una proposicin falsa es falso.
Ejemplo

1.3

Dgase

cuales

de

las

siguientes

afirmaciones

son

proposiciones y determinar el valor de verdad de aquellas que lo sean.

a) p: Existe Premio Nobel de informtica.
b) q: La tierra es el nico planeta del Universo que tiene vida.
c) r: Teclee Escape para salir de la aplicacin.
d) s: Cinco ms siete es grande.
Solucin
a) p es una proposicin falsa, es decir su valor de verdad es Falso.
b) No sabemos si q es una proposicin ya que desconocemos si esta
afirmacin es verdadera o falsa.
c) r no es una proposicin ya que no es verdadera ni es falsa. Es un
mandato.
d) s no es una proposicin ya que su enunciado, al carecer de contexto, es
ambiguo. En efecto, cinco nias ms siete nios es un nmero grande
de hijos en una familia, sin embargo cinco monedas de cinco cntimos
Universidad Alas Peruanas Filial Huacho

Pg. 8

Valores de Verdad
ms siete monedas de un cntimo no constituyen una cantidad de
dinero grande.
1.1.Proposicin Compuesta
Si las proposiciones simples p1, p2,..., pn se combinan para formar la
proposicin P, diremos que P la es una proposicin compuesta de p1, p2,
, pn.
Ejemplo 1.4 La Matemtica Discreta es mi asignatura preferida y Mozart
fue un gran compositor es una proposicin compuesta por las
proposiciones La Matemtica Discreta es mi asignatura preferida y
Mozart fue un gran compositor.
l es inteligente o estudia todos los das es una proposicin compuesta
por dos proposiciones: l es inteligente y l estudia todos los das.
Nota 1.2 La propiedad fundamental de una proposicin compuesta es
que su valor de verdad est completamente determinado por los valores
de verdad de las proposiciones que la componen junto con la forma en
que estn conectadas.
1.2.Variables de Enunciado
Es una proposicin arbitraria con un valor de verdad no especificado, es
decir, puede ser verdad o falsa.

Universidad Alas Peruanas Filial Huacho

Pg. 9

Valores de Verdad
En el clculo lgico, prescindiremos de los contenidos de los enunciados y
los sustituiremos por variables de enunciado. Toda variable de enunciado
p, puede ser sustituida por cualquier enunciado siendo sus posibles
estados, verdadero o falso. El conjunto de los posibles valores de una
proposicin p, los representaremos en las llamadas tablas de verdad,
ideadas por L. Wittgenstein1.
1.3.Tablas de Verdad
La tabla de verdad de una proposicin compuesta P enumera todas las
posibles combinaciones de los valores de verdad para las proposiciones
p1, p2,, pn.
Ejemplo 1.5 Por ejemplo, si P es una proposicin compuesta por las
proposiciones simples p1, p2 y p3, entonces la tabla de verdad de P
deber recoger los siguientes valores de verdad:
p

1
V
V
V
V

2
V
V
F
F

3
V
F
V
F

Ludwig Wittgenstein (Viena 1889-Cambridge 1951), nacionalizado britnico en 1938. Estudi Ingeniera Mecnica
en Berln, posteriormente investig Aeronutica en Manchester. La necesidad de entender mejor las matemticas lo
llev a estudiar sus fundamentos. Dej Manchester en 1811 para estudiar lgica matemtica con Russell en
Cambridge. Escribi su primer gran trabajo en lgica, Tractatus logico-Philosophicus, durante la primera guerra
mundial, primero en el frente ruso y luego en el norte de Italia. Envi el manuscrito a Russell desde un campo de
prisioneros en Italia. Liberado en 1919, regal la fortuna que haba heredado de su familia y trabajo en Austria como
profesor en una escuela primaria.
Volvi a Cambridge en 1929 y fue profesor en esta universidad hasta 1947, ao en que renunci. Su segundo gran
trabajo, Investigaciones filosficas fue publicado en 1953, es decir, dos aos despus de su muerte. Otras obras
pstumas de Wittgenstein son: Observaciones filosficas sobre los principios de la matemtica (1956), Cuadernos
azul y marrn (1958) y Lecciones y conversaciones sobre esttica, psicologa y fe religiosa (1966).

Universidad Alas Peruanas Filial Huacho

Pg. 10

Valores de Verdad
F
F
F
F

V
V
F
F

V
F
V
F

2. Conexin entre Proposiciones

Estudiamos en este apartado las distintas formas de conectar proposiciones
entre s. Prestaremos especial atencin a las tablas de verdad de las
proposiciones compuestas que pueden formarse utilizando las distintas
conexiones.
2.1.Conjuncin
Dadas dos proposiciones cualesquiera p y q, llamaremos conjuncin de
ambas a la proposicin compuesta p y q y le notaremos p q. Esta
proposicin ser verdadera nicamente en el caso de que ambas
proposiciones lo sean.
Obsrvese que de la definicin dada se sigue directamente que si p y q
son, ambas, verdaderas entonces p q es verdad y que si al menos una
de las dos es falsa, entonces p q es falsa. Por lo tanto su tabla de verdad
vendr dada por:
p
V
V
F
F

Universidad Alas Peruanas Filial Huacho

q pq
V
V
F
F
V
F
F
F

Pg. 11

Valores de Verdad
Obsrvese tambin que el razonamiento puede hacerse a la inversa, es
decir si p q es verdad, entonces p y q son, ambas, verdad y que si p q
es falsa, entonces una de las dos ha de ser falsa.
2.2.Disyuncin
Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin de
ambas a la proposicin compuesta p o q y le notaremos p q. Esta
proposicin ser verdadera si al menos una de las dos p o q lo es.
De acuerdo con la definicin dada se sigue que si una de las dos, p o q, es
verdad entonces p q es verdad y que p q ser falsa, nicamente si
ambas lo son. Su tabla de verdad ser, por tanto:
p
V
V
F
F

q pq
V
V
F
V
V
V
F
F

Al igual que en la conjuncin, podemos razonar en sentido inverso. En

efecto, si p q es verdad, entonces una de las dos, al menos, ha de ser
verdad y si p q es falsa, entonces ambas han de ser falsas.
La palabra o se usa en el lenguaje ordinario de dos formas distintas. A
veces se utiliza en el sentido de p o q, o ambos, es decir, al menos una
de las dos alternativas ocurre y, a veces es usada en el sentido de p o q,
pero no ambos es decir, ocurre exactamente una de las dos alternativas.
Universidad Alas Peruanas Filial Huacho

Pg. 12

Valores de Verdad
Por ejemplo, la proposicin El ir a Madrid o a Bilbao usa o con el
ltimo sentido. A este tipo de disyuncin la llamaremos disyuncin
exclusiva.
2.3.Disyuncin Exclusiva
Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin
exclusiva de ambas a la proposicin compuesta p o q pero no ambos y
le notaremos p q. Esta proposicin ser verdadera si una u otra, pero no
ambas son verdaderas.
Segn esta definicin una disyuncin exclusiva de dos proposiciones p y q
ser verdadera cuando tengan distintos valores de verdad y falsa cuando
sus valores de verdad sean iguales. Su tabla de verdad es, por tanto:
p
V
V
F
F

q pq
V
F
F
V
V
V
F
F

Haciendo el razonamiento contrario si p Y q es verdad, nicamente

podemos asegurar que una de las dos es verdad y si p Y q es falsa, slo
podemos deducir que ambas tienen el mismo valor de verdad.
Nota 1.3 Salvo que especifiquemos lo contrario, o ser usado en el
primero de los sentidos. Esta discusin pone de manifiesto la precisin

Universidad Alas Peruanas Filial Huacho

Pg. 13

Valores de Verdad
que ganamos con el lenguaje simblico: p q est definida por su tabla
de verdad y siempre significa p y/o q.
2.4.Negacin
Dada una proposicin cualquiera, p, llamaremos negacin de p a la
proposicin no p y la notaremos ~p. Ser verdadera cuando p sea falsa
y falsa cuando p sea verdadera.
La tabla de verdad de esta nueva proposicin, ~p, es:
~
p
V
F

p
F
V

De esta forma, el valor verdadero de la negacin de cualquier proposicin

es siempre opuesto al valor verdadero de la afirmacin original.
Ejemplo 1.6 Estudiar la veracidad o falsedad de las siguientes
proposiciones:
p1: El Pentium es un microprocesador.
p2: Es falso que el Pentium sea un microprocesador.
p3: El Pentium no es un microprocesador.
p4: 2 + 2 = 5

Universidad Alas Peruanas Filial Huacho

Pg. 14

Valores de Verdad
p5: Es falso que 2 + 2 = 5
p6: 2 + 2 = 4
Solucin
p2 y p3 son, cada una, la negacin de p1.
p5 y p6 son, cada una, la negacin de p4.
Pues bien, de acuerdo con la tabla de verdad para la negacin, tendremos:
p1 es verdad, luego p2 y p3 son falsas.
p4 es falsa, luego p5 y p6 son verdad.
Ejemplo 1.7 Construir la tabla de verdad de la proposicin ~ (p ~q).
Solucin
~

p
F
V
F
V

~q
F
V
F
F

p q
V
V
F
F

V
F
V
F

~(p ~q)
V
F
V
V

Existen proposiciones que son verdaderas (falsas) simplemente por su

forma lgica y no por su contenido
1.1.Tautologas y Contradicciones

Universidad Alas Peruanas Filial Huacho

Pg. 15

Valores de Verdad
Sea P una proposicin compuesta de las proposiciones simples p1, p2,...,
pn
P es una Tautologa si es verdadera para todos los valores de verdad que
se asignen a p1, p2,..., pn.
P es una Contradiccin si es falsa para todos los valores de verdad que se
asignen a p1, p2,..., pn.
En adelante, notaremos por C a una contradiccin y por T a una
tautologa.
Una proposicin P que no es tautologa ni contradiccin se llama,
usualmente, Contingencia.
Ejemplo 1.8 Probar que la proposicin compuesta p ~p es una
tautologa y la p ~p es una contradiccin.
Solucin
En efecto:
~
p
V
F

p ~p p ~p
p
F
V

Universidad Alas Peruanas Filial Huacho

V
V

F
F

Pg. 16

Valores de Verdad
Obsrvese que p ~p es verdad, independientemente de quienes sean
las variables de enunciado, p y ~p y lo mismo ocurre con la falsedad de p
~p.
1.2.Proposicin Condicional
Dadas dos proposiciones p y q, a la proposicin compuesta:
si p, entonces q
Se le llama proposicin condicional y se nota por:
pq
A la proposicin p se le llama hiptesis, antecedente, premisa o
condicin suficiente y a la q tesis, consecuente, conclusin o condicin
necesaria

del

condicional.

Una

proposicin

condicional

es

falsa

nicamente cuando siendo verdad la hiptesis, la conclusin es falsa (no

se debe deducir una conclusin falsa de una hiptesis verdadera).
De acuerdo con esta definicin su tabla de verdad es:

p q
V
V
F
F

Universidad Alas Peruanas Filial Huacho

V
F
V
F

p
q
V
F
V
V

Pg. 17

Valores de Verdad
Obsrvese que si p q es verdad no puede deducirse prcticamente
nada sobre los valores de verdad de p y q ya que pueden ser ambas
verdad, ambas falsas o la primera falsa y la segunda verdad. Ahora bien,
si el condicional p q es falso, entonces podemos asegurar que p es
verdadera y q falsa.
Otras formulaciones equivalentes de la proposicin condicional p q son:

p slo si q.

q si p.

p es una condicin suficiente para q.

q es una condicin necesaria para p.

q se sigue de p.

q a condicin de p.

q es una consecuencia lgica de p.

q cuando p.

Analizaremos con detalle cada uno de los cuatro casos que se presentan
en la tabla de verdad.
a) Antecedente y consecuente verdaderos.

Universidad Alas Peruanas Filial Huacho

Pg. 18

Valores de Verdad
En este caso parece evidente que el condicional si p, entonces q se
evale como verdadero. Por ejemplo,
Si como mucho, entonces engordo
es una sentencia que se evala como verdadera en el caso de que
tanto el antecedente como el consecuente sean verdaderos.
Ahora bien, obsrvese que ha de evaluarse tambin como verdadero
un condicional en el que no exista una relacin de causa entre el
antecedente y el consecuente. Por ejemplo, el condicional
Si Garca Lorca fue un poeta, entonces Gauss fue un matemtico
ha de evaluarse como verdadero y no existe relacin causal entre el
antecedente y el consecuente.
Es por esta razn que no hay que confundir el condicional con la
implicacin lgica.
Garca Lorca fue un poeta implica que Gauss fue un matemtico
Es una implicacin falsa desde el punto de vista lgico. Ms adelante
estudiaremos la implicacin lgica.

b) Antecedente verdadero y consecuente falso.

Universidad Alas Peruanas Filial Huacho

Pg. 19

Valores de Verdad
En este caso parece natural decir que el condicional se evala como
falso. Por ejemplo, supongamos que un poltico aspirante a Presidente
del Gobierno promete:
Si gano las elecciones, entonces bajar los impuestos
Este condicional ser falso slo si ganando las elecciones, el poltico no
baja los impuestos. A nadie se le ocurrira reprochar al poltico que no
ha bajado los impuestos si no ha ganado las elecciones.
Obsrvese que el hecho de que p sea verdadero y, sin embargo, q sea
falso viene, en realidad, a refutar la sentencia p q, es decir la hace
falsa.
c) Antecedente falso y consecuente verdadero.
Nuestro sentido comn nos indica que el condicional p q no es, en
este caso, ni verdadero ni falso. Parece ilgico preguntarse por la
veracidad o falsedad de un condicional cuando la condicin expresada
por el antecedente no se cumple. Sin embargo, esta respuesta del
sentido comn no nos sirve, estamos en lgica binaria y todo ha de
evaluarse bien como verdadero, bien como falso, es decir, si una
sentencia no es verdadera, entonces es falsa y viceversa.
Veamos que en el caso que nos ocupa, podemos asegurar que el
condicional no es falso. En efecto, como dijimos anteriormente, p q
es lo mismo que afirmar que:
Universidad Alas Peruanas Filial Huacho

Pg. 20

Valores de Verdad
p es una condicin suficiente para q
es decir, p no es la nica condicin posible, por lo cual puede darse el
caso de que q sea verdadero siendo p falso. O sea, la falsedad del
antecedente no hace falso al condicional y si no lo hace falso, entonces
lo hace verdadero. Por ejemplo,
Si estudio mucho, entonces me canso
Qu ocurrira si no estudio y, sin embargo, me cansara? Pues que la
sentencia no sera invlida, ya que no se dice que no pueda haber otros
motivos que me puedan producir cansancio.
d) Antecedente y consecuente falsos.
La situacin es parecida a la anterior. La condicin p no se verifica, es
decir, es falsa, por lo que el consecuente q puede ser tanto verdadero
como falso y el condicional, al no ser falso, ser verdadero. Obsrvese,
anecdticamente, que es muy frecuente el uso de este condicional en
el lenguaje coloquial, cuando se quiere sealar que, ante un dislate,
cualquier otro est justificado. Si t eres programador, entonces yo
soy el dueo de Microsoft
Ejemplo 1.9 Sean p, q y r las proposiciones El nmero N es par, La
salida va a la pantalla y Los resultados se dirigen a la impresora,
respectivamente. Enunciar las formulaciones equivalentes de las
siguientes proposiciones.
Universidad Alas Peruanas Filial Huacho

Pg. 21

Valores de Verdad
(a) q p.
(b) ~q r.
(c) r (p q).
Solucin
(a) q p.
Si la salida va a la pantalla, entonces el nmero N es par.
La salida ir a la pantalla, slo si el nmero N es par.
El nmero N es par si la salida va a la pantalla.
Una condicin suficiente para que el nmero N sea par es que la
salida vaya a la pantalla.
Una condicin necesaria para que la salida vaya a la pantalla es
que el nmero N sea par.
(a) ~q r.
Si la salida no va a la pantalla, entonces los resultados se dirigen
a la impresora.
La salida no va a la pantalla slo si los resultados se dirigen a la
impresora.

Universidad Alas Peruanas Filial Huacho

Pg. 22

Valores de Verdad
Los resultados se dirigen a la impresora si la salida no va a la
pantalla.
Una condicin suficiente para que los resultados se dirijan a la
impresora es que la salida no vaya a la pantalla.
Una condicin necesaria para que la salida no vaya a la pantalla
es que los resultados se dirijan a la impresora.
(a) r (p q).
Si los resultados se dirigen a la impresora, entonces el nmero N
es par o la salida va a la pantalla.
Los resultados se dirigen a la impresora slo si el nmero N es
par o la salida vaya a la pantalla.
El nmero N es par o la salida va a la pantalla si los resultados se
dirigen a la impresora.
Una condicin suficiente para que el nmero N sea par o la salida
vaya a la pantalla es que los resultados se dirijan a la impresora.
Una condicin necesaria para que los resultados se dirijan a la
impresora es que el nmero N sea par o que la salida vaya a la
pantalla.
Ejemplo 1.10 Sean las proposiciones

Universidad Alas Peruanas Filial Huacho

Pg. 23

Valores de Verdad
p: Est nevando.
q: Ir a la ciudad.
r: Tengo tiempo.
(a) Escribir, usando conectivos lgicos, una proposicin que simbolice
cada una de las afirmaciones siguientes:
Si no est nevando y tengo tiempo, entonces ir a la ciudad.
Ir a la ciudad slo si tengo tiempo.
No est nevando.
Est nevando, y no ir a la ciudad.
(b) Enunciar las afirmaciones que se corresponden con cada una de las
proposiciones siguientes:
q (r ~p)
rq
(q r) (r q)
~(r q)
Solucin
(a) Escribimos en forma simblica las afirmaciones propuestas.
(~p r) q
Universidad Alas Peruanas Filial Huacho

Pg. 24

Valores de Verdad
qr
~p
p ~q
(b) Escribimos en forma de afirmaciones las proposiciones.
Ir a la ciudad si, y slo si tengo tiempo y no est nevando.
Tengo tiempo e ir a la ciudad.
Ir a la ciudad si y slo si tengo tiempo.
Ni tengo tiempo, ni ir a la ciudad.
1.1.Proposicin Recproca
Dada la proposicin condicional p q, su recproca es la proposicin,
tambin condicional, q p.
Por ejemplo, la recproca de Si la salida no va a la pantalla, entonces los
resultados se dirigen a la impresora ser Si los resultados se dirigen a la
impresora, entonces la salida no va a la pantalla.
1.2.Proposicin Contrarrecproca
Dada la proposicin condicional p q, su contrarrecproca es la
proposicin, tambin condicional, ~q ~p.

Universidad Alas Peruanas Filial Huacho

Pg. 25

Valores de Verdad
Por ejemplo, la contrarrecproca de la proposicin Si Mara estudia
mucho, entonces es buena estudiante es Si Mara no es buena
estudiante, entonces no estudia mucho.
Ejemplo 1.11 Escribir la recproca y la contrarrecproca de cada una de
las afirmaciones siguientes:
(a) Si llueve, no voy.
(b) Me quedar, slo si t te vas.
(c) Si tienes cien pesetas, entonces puedes comprar un helado.
(d) No puedo completar la respuesta si no me ayudas.
Solucin
Escribiremos la recproca y la contrarrecproca de varias formas.
(a) Si llueve, no voy.
Recproca.
Si no voy, entonces llueve.
Llueve si no voy.
Una condicin necesaria para no ir es que llueva.
Una condicin suficiente para que llueva es no ir.
Contrarrecproca.
Universidad Alas Peruanas Filial Huacho

Pg. 26

Valores de Verdad
Si voy, entonces no llueve.
Voy slo si no llueve.
Es necesario que no llueva, para que vaya.
Es suficiente que vaya para que no llueva.
(b) Me quedar slo si te vas.
Recproca.
Si te vas, entonces me quedar.
Me quedar, si te vas.
Una condicin necesaria para que te vayas, es quedarme.
Una condicin suficiente para quedarme es que te vayas.
Contrarrecproca.
Si no te vas, entonces no me quedar.
No me quedar si no te vas.
Es suficiente que no te vayas, para no quedarme.
(c) No puedo completar la respuesta si no me ayudas.
Recproca.
Si no puedo completar la respuesta, entonces no me ayudas.

Universidad Alas Peruanas Filial Huacho

Pg. 27

Valores de Verdad
Contrarrecproca.
Si puedo completar la respuesta, entonces me ayudas.
Puedo completar la respuesta slo si me ayudas.
Es necesario que ayudes para poder completar la respuesta
1.1.Proposicin bicondicional
Dadas dos proposiciones p y q, a la proposicin compuesta
p si y slo si q
se le llama proposicin bicondicional y se nota por
p q
La interpretacin del enunciado es:
p slo si q y p si q
o lo que es igual
si p, entonces q y si q, entonces p
es decir,
(p q) (q p)
Por tanto, su tabla de verdad es:
p q

Universidad Alas Peruanas Filial Huacho

Pg. 28

Valores de Verdad
V
V
F
F

V
F
V
F

q
V
F
V
V

p
V
V
F
V

q
V
F
F
V

Luego la proposicin bicondicional p q es verdadera nicamente en

caso de que ambas proposiciones, p y q, tengan los mismos valores de
verdad.
Nota 1.4 Obsrvese que la proposicin condicional p q, se
enunciaba
Si p, entonces q
siendo una formulacin equivalente,
una condicin necesaria para p es q
y la proposicin condicional q p, se enunciaba si
q, entonces p
siendo una formulacin equivalente,
una condicin suficiente para p es q
Por tanto, una formulacin equivalente de la proposicin bicondicional
en estos trminos, sera:
Una condicin necesaria y suficiente para p es q
Universidad Alas Peruanas Filial Huacho

Pg. 29

Valores de Verdad
Ejemplo 1.12 Sean a, b y c las longitudes de los lados de un tringulo
T siendo c la longitud mayor. El enunciado
T es rectngulo si, y slo si a2 + b2 = c2
puede expresarse simblicamente como
p q
donde p es la proposicin T es rectngulo y q la proposicin a2 + b2
= c2.
Observemos lo siguiente: La proposicin anterior afirma dos cosas
I.Si T es rectngulo, entonces a2 + b2 = c2
o tambin,
Una condicin necesaria para que T sea rectngulo es que a2 +
b2 = c2
II.Si a2 + b2 = c2, entonces T es rectngulo
o tambin,
Una condicin suficiente para que T sea rectngulo es que a2 +
b2 = c2
Consecuentemente, una forma alternativa de formular la proposicin
dada es
Una condicin necesaria y suficiente para que T sea rectngulo es que
Universidad Alas Peruanas Filial Huacho

Pg. 30

Valores de Verdad
a2 + b2 =c2
Nota 1.5 Los valores de verdad de una proposicin compuesta, pueden
determinarse a menudo, construyendo una tabla de verdad abreviada.
Por ejemplo, si queremos probar que una proposicin es una
contingencia, es suficiente con que consideremos dos lneas de su tabla
de verdad, una que haga que la proposicin sea verdad y otra que la
haga falsa. Para determinar si una proposicin es una tautologa,
bastara considerar, nicamente, aquellas lneas para las cuales la
proposicin pueda ser falsa.
Ejemplo

1.13 Consideremos

el problema

de determinar

si la

proposicin (pq) p es una tautologa.

Solucin
Construimos su tabla de verdad.
p
V
V
F
F

q pq
V
V
F
F
V
F
F
F

(p q) p
V
V
V
V

Luego, en efecto, (p q) p es una tautologa.

Observemos ahora lo siguiente: Una proposicin condicional slo puede
ser falsa en caso de que siendo la hiptesis verdadera, la conclusin
sea falsa, por tanto si queremos ver si (p q) p es una tautologa,
Universidad Alas Peruanas Filial Huacho

Pg. 31

Valores de Verdad
bastara comprobar los casos en que p q sea verdad, ya que si es
falsa, entonces (p q) p es verdad, consecuentemente una tabla de
verdad abreviada para este ejercicio sera:

p q pq
V V

Ejemplo

1.14

(p q)
p
V

Establecer

si

las

siguientes

proposiciones

son

tautologas, contingencias o contradicciones.

(a) (p q) (q p)
(b) [p (q r)] [(p q) (p r)]
(c) (p ~q) q
(d) p (p q)
(e) (p q) p
(f) [(p q) p] (p q)
(g) [(p q) (r s)] [(p r) (q s)]
Solucin
(a) (p q) (q p)
p q

Universidad Alas Peruanas Filial Huacho

(p q) (q

Pg. 32

Valores de Verdad
V
V
F
F

q
V
F
V
V

V
F
V
F

p)
V
F
F
V

V
V
F
V

Luego es una contingencia.

(b) [p (q r)] [(p q) (p r)]
Haremos una tabla de verdad abreviada. La proposicin condicional
slo es falsa cuando siendo verdad la hiptesis, la conclusin es
falsa. Ahora bien, la hiptesis es verdad cuando lo sean, a un
tiempo, p y q r y sta es verdad si, al menos, una de las dos q o r
lo es, entonces:
p
V
V
V

q
V
F
V

r qr
F
V
V
V
V
V

p (q r)
V
V
V

pq pr
V
F
F
V
V
V

(p q) (p r)
V
V
V

V
V
V

Por tanto, la proposicin es una tautologa.

(c) (p ~q) q
~

(p ~q)

q
F
V
F
V

~q
V
V
F
V

q
V
F
V
F

p q
V
V
F
F

V
F
V
F

Universidad Alas Peruanas Filial Huacho

Pg. 33

Valores de Verdad

luego la proposicin es una contingencia.

(d) p (p q)
Esta proposicin ser falsa nicamente cuando siendo verdad p, p
q sea falsa, pero si p es verdad, entonces p q es verdad
independientemente del valor de verdad de q, luego una tabla de
verdad abreviada ser:
p p q p (p q)
V
V
V

y la proposicin es una tautologa.

(e) (p q) p
Haremos una tabla de verdad abreviada. la proposicin condicional,
nicamente, es falsa cuando siendo p q verdad, la conclusin p es
falsa, pero p q es verdad, nicamente, cuando ambas, p y q, lo
son, luego:
p q p q (p q) p
V V
V
V

es decir, la proposicin es una tautologa.

(f) [(p q) p] (p q)
Universidad Alas Peruanas Filial Huacho

Pg. 34

Valores de Verdad
p
V
V
F
F

q pq
V
V
F
F
V
F
F
F

(p q) p
V
F
V
V

p q
V
F
F
V

[(p q) p] (p q)
V
V
F
V

luego la proposicin es una contingencia.

(g) [(p q) (r s)] [(p r) (q s)]
La proposicin condicional nicamente es falsa cuando siendo
verdad la hiptesis es falsa la conclusin. Por el mismo argumento
(p r) (q s) es falsa cuando siendo p r verdad sea q s sea
falsa, y sta es falsa cuando ambas, q y s, lo son.
Ahora bien, para que la conclusin (p r) (q s) sea falsa, y
utilizando el mismo argumento, p r ha de ser verdad y q s falsa,
luego p y r han de ser una de las dos, al menos, verdad mientras q
y s han de ser, las dos, falsas.
Haremos, pues, una

tabla

de verdad abreviada

que recoja

nicamente estos casos.

p
V
V
F

q
F
F
F

r
V
F
V

s (p q) (r s)
F
(F) F (F)
F
(F) V (V)
F
(V) V (F)

(p r) (q s)
(V) F (F)
(V) F (F)
(V) F (F)

V
F
F

y, consecuentemente, la proposicin es una contingencia.

Universidad Alas Peruanas Filial Huacho

Pg. 35

Valores de Verdad
1. Implicacin
Estudiamos en este apartado la implicacin lgica entre dos proposiciones.
1.1.Implicacin Logica
Se dice que la proposicin P implica lgicamente la proposicin Q, y se
escribe P Q, si Q es verdad cuando P es verdad.
Obsrvese que esto es equivalente a decir que P Q es falso si P es falso
cuando Q es falso, ya que si P es verdad siendo Q falso, no se cumplira la
definicin anterior.
Ejemplo 1.15 Dadas las proposiciones p y q, demostrar que la negacin
de p o q implica lgicamente la negacin de p.
Solucin
Lo que se pide es probar que ~ (p q) ~p, es decir si cada vez que ~ (p
q) es verdad, ~p tambin lo es. En efecto, si ~ (p q) es verdad,
entonces p q es falso, de aqu que p sea falso y, consecuentemente, ~p
sea verdad.
Tambin podemos decir que si ~p es falso, entonces p es verdad, luego p
q es verdad (cualquiera que sea el valor de verdad de q) y, por lo tanto,
~ (p q) es falso.
Nota 1.6 Ahora podremos entender algo mejor lo que comentbamos en
1. de 1.2.6. En efecto, de que Garca Lorca fue un poeta sea verdad no
Universidad Alas Peruanas Filial Huacho

Pg. 36

Valores de Verdad
puede deducirse que Gauss fuera matemtico, aunque lo fue y muy
bueno.
De todas formas, es cierto que existe una semejanza entre el smbolo
para la implicacin lgica y el smbolo para la proposicin condicional.
Esta semejanza es intencionada y debido a la manera en que se usa el
trmino implica, en el lenguaje ordinario es natural leer p q como p
implica q. El siguiente teorema justifica este proceder.
1.2.Implicacin Lgica y Proposicin Condicional
La proposicin P implica lgicamente la proposicin Q si, y slo si la
proposicin condicional P Q es una tautologa.
Demostracin
Veamos que P Q slo si P Q es una tautologa.
En efecto, supongamos que P implica lgicamente Q. Entonces, de
acuerdo con la definicin, cuando P es verdad, Q tambin lo es y cuando
Q es falso, P es falso, por tanto, la tabla de verdad de P Q conteniendo
nicamente estas opciones es:

P Q
V V
F F

Universidad Alas Peruanas Filial Huacho

P
Q
V
V

Pg. 37

Valores de Verdad
es decir, P Q es una tautologa.
Recprocamente, veamos que P Q si P Q es una tautologa.
En efecto, si P es verdad y P Q es una tautologa entonces Q ha de ser
verdad.
Tambin podramos haber dicho que si Q es falso y P Q es una
tautologa, entonces P ha de ser falso.
Debido a este teorema, los lgicos prefieren adoptar el lenguaje comn
como el lenguaje de la lgica y leen p q como p implica q. En este
caso, ellos utilizan la palabra implica como el nombre de un conectivo
lgico y como el nombre de una relacin paralela entre proposiciones.
Nota 1.7 Resolvemos ahora el ejemplo anterior viendo que ~ (p q)
~p es una tautologa. Su tabla de verdad es:
p

~ (p

~ (p q)

q
V
V
V
F

q)
F
F
F
V

p
F
F
V
V

~p
V
V
V
V

p q
V
V
F
F

V
F
V
F

luego, ~ (p q) ~p es, efectivamente, una tautologa.

1.3.Implicaciones Lgicas ms Comunes

Universidad Alas Peruanas Filial Huacho

Pg. 38

Valores de Verdad
La tabla siguiente presenta algunas implicaciones lgicas con los nombres
que usualmente reciben.
Adicin.
P (P Q)
Simplification.
(P Q) P
Ley del Modus Ponendo Ponens (Modus Ponens). Dado un condicional y
afirmando (Ponendo) el antecedente, se puede afirmar (Ponens) el
consecuente.
[(P Q) P] Q
Ley del Modus Tollendo Tollens (Modus Tollens). Dado un condicional y
negando (Tollendo) el consecuente, se puede negar (Tollens) el
antecedente.
[(P Q) ~Q] ~P

Leyes de los Silogismos Hipotticos.

[(P Q) (Q R)] (P R)[(P Q) (Q R)] (P R)
Leyes de los silogismos disyuntivos.

Universidad Alas Peruanas Filial Huacho

Pg. 39

Valores de Verdad
[~P (P Q)] Q[P (~P ~Q] ~Q
Ley del Dilema Constructivo.
[(P Q) (R S) (P R)] (Q S)
Contradiction.
(P C) ~P
Ejemplo 1.16 Verificar las leyes de los silogismos disyuntivos.
Solucin
(a) ~P (P Q) Q. En efecto, si ~P (P Q) es verdad, entonces ~P
es verdad y P Q es verdad, de aqu que P sea falso y P Q verdad,
por lo tanto, Q ha de ser verdad.
Tambin, si hacemos la tabla de verdad del condicional ~P (P Q)
Q,
~
P Q PQ
V
V
F
F

V
F
V
F

V
V
V
F

~P (P Q)
~P (P Q)

P
F
F
V
V

F
F
V
F

Q
V
V
V
V

observamos que es una tautologa luego por el teorema 1.3.2 ~P (P

Q) implica lgicamente ~Q.

Universidad Alas Peruanas Filial Huacho

Pg. 40

Valores de Verdad
(b) [P (~P ~Q)] ~Q. En efecto, si P (~P ~Q) es verdad,
entonces P y ~P ~Q son verdad, luego ~P es falso y ~P ~Q
verdad, por lo tanto, ~Q es verdad.
Tambin, haciendo una tabla de verdad igual que en el apartado
anterior.
~

~P

P
F
F
V
V

Q
F
V
F
V

Q
F
V
V
V

P (~P ~Q)

P (~P ~Q)

F
V
F
F

~Q
V
V
V
V

P Q
V
V
F
F

V
F
V
F

se observa que P (~P ~Q) ~Q es una tautologa luego, por 3.2, P

(~P ~Q) ~Q
Ejemplo 1.17 Demostrar la implicacin lgica (P Q) ~Q ~P (Ley
del Modus Tollendo Tollens).
Solucin
Veamos que ~P es verdad cuando (P Q) ~Q es verdad.
En efecto, si (P Q) ~Q es verdad, entonces P Q ha se ser verdad
y ~Q tambin, luego P Q es verdad y Q es falso de aqu que P tenga
que ser falso y, consecuentemente, ~P verdad.

Universidad Alas Peruanas Filial Huacho

Pg. 41

Valores de Verdad
Otra forma de hacerlo sera razonar en la forma siguiente: si ~P es
falso, entonces P es verdad y pueden ocurrir dos cosas,
si Q es verdad, entonces P Q es verdad, ~Q falso y, por lo tanto,
(P Q) ~Q es falso.
si Q es falso, entonces P Q es falso, ~Q verdad y, por lo tanto, (P
Q) ~Q es falso.
Es decir, en ambos casos, (P Q) ~Q es falso.
1. Equivalencia lgica
1.1.Proposiciones Lgicamente Equivalentes
Las proposiciones compuestas P y Q son lgicamente equivalentes y se
escribe P Q o P Q cuando ambas tienen los mismos valores de
verdad.
Obsrvese que de esta definicin se sigue que para probar que dos
proposiciones son lgicamente equivalentes hay que probar que si P es
verdad, Q tambin ha de serlo y que si P es falso, Q tiene que ser falso.
Obsrvese tambin que otra forma de demostrar lo mismo es probar que
P es verdad partiendo de que Q lo es y probar que si Q es falso, entonces
P tambin lo es.

Universidad Alas Peruanas Filial Huacho

Pg. 42

Valores de Verdad
Ejemplo 1.18 Demostrar las Leyes de De Morgan2.
(a) ~(p q) ~p ~q
(b) ~(p q) ~p ~q
Solucin
(a) ~(p q) ~p ~q
En efecto, si ~(p q) es verdad, entonces p q es falso luego p y q
son, ambas, falsas y, por lo tanto, ~p es verdad y ~q es verdad.
Consecuentemente, ~p ~q es verdad.
Por otra parte, si ~(p q) es falso, entonces p q es verdad luego una
de las dos proposiciones ha de ser verdad y su negacin falsa, luego
~p ~q es, en cualquier caso, falso.
(b) ~ (p q) ~p ~q

Augustus De Morgan (Madras 1806-Londres 1871). Naci en la India, donde su padre trabajaba en la East India
Company, aunque realiz sus estudios en el Trinity College, donde obtuvo el grado de cuarto wrangler. Al negarse a
pasar el indispensable examen religioso no consigui plaza en Cambridge ni en Oxford, a pesar de haber sido
educado en la Iglesia de Inglaterra, en la que su madre esperaba que se hiciese pastor. A consecuencia de ello, De
Morgan se vio nombrado profesor de matemticas, a la temprana edad de 22 aos, en la recin creada Universidad de
Londres, ms tarde University College de la misma universidad, donde enseo de manera continua, excepto durante
breves perodos a consecuencias de sucesivas dimisiones provocadas por casos de reduccin de la libertad
acadmica. De Morgan fue siempre un defensor de la tolerancia intelectual y religiosa, as como un profesor y
escritor excepcional. Era ciego de un ojo, de nacimiento, lo cual puede explicar algunas de sus inofensivas
excentricidades, tales como su odio a la vida rural, su negativa a votar en las elecciones y su renuncia a solicitar el
ingreso en la Royal Society. A De Morgan le encantaban los acertijos, rompecabezas y problemas ingeniosos,
muchos de los cuales aparecen coleccionados en su libro Budget of Paradoxes, que es una deliciosa stira sobre los
cuadradores del crculo publicada despus de su muerte por su viuda. De Morgan fue uno de los precursores de la
lgica matemtica y en 1847 public Lgica formal o el clculo de inferencia.

Universidad Alas Peruanas Filial Huacho

Pg. 43

Valores de Verdad
En efecto, si ~ (p q) es verdad, entonces p q es falso luego una de
las dos proposiciones ha de ser falsa y su negacin verdad, luego ~p
~q es verdad en cualquiera de los casos.
Por otra parte, si ~ (p q) es falso, entonces p q es verdad, luego p
es verdad y q es verdad, de aqu que ~p y ~q sean, ambas, falsas y,
consecuentemente, ~p ~q sea falso.
1.1.Equivalencia lgica y Proposicin Bicondicional
La proposicin P es lgicamente equivalente a la proposicin Q si, y slo si
la proposicin bicondicional P Q es una tautologa.
Demostracin
Veamos que P Q slo si P Q es una tautologa.
En efecto, si P Q, entonces tienen los mismos valores de verdad, es
decir P y Q son, ambos, verdaderos o falsos, de aqu que el valor de
verdad de P Q sea siempre verdadero, es decir es una tautologa.
Recprocamente, probemos que P Q si P Q es una tautologa.
Efectivamente, si la proposicin bicondicional P Q es siempre
verdadera, entonces de acuerdo con su definicin, P y Q son, ambas,
falsas o verdaderas, es decir tienen los mismos valores de verdad y, por
tanto, P es lgicamente equivalente a Q.

Universidad Alas Peruanas Filial Huacho

Pg. 44

Valores de Verdad
Nota 1.8 En el ejemplo anterior vimos que ~ (p q) ~p ~q, luego
este teorema afirma que la proposicin bicondicional ~ (p q) ~p
~q es una tautologa. Veamos que es cierto. En efecto:
p q pq

~ (p

~p

~ (p q) ~p

V
V
F
F

p
F
F
V
V

q
F
V
F
V

q)
F
V
V
V

~q
F
V
V
V

~q
V
V
V
V

V
F
V
F

V
F
F
F

1.2.Equivalencias Lgicas ms Comunes

Al igual que en la implicacin lgica, veamos una tabla con las
equivalencias lgicas ms tiles junto con los nombres que reciben.
Idempotencia de la conjuncin y la disyuncin.
(P P) P
(P P) P
Conmutatividad de la conjuncin y la disyuncin.
(P Q) (Q P)
(P Q) (Q P)
Asociatividad de la conjuncin y la disyuncin. .
[(P Q) R] [P (Q R)]
Universidad Alas Peruanas Filial Huacho

Pg. 45

Valores de Verdad
[(P Q) R] [P (Q R)]
Distributividad de respecto de y de respecto de .
[P (Q R)] [(P Q) (P R)]
[P (Q R)] [(P Q) (P R)]
Leyes de De Morgan.
~ (P Q) (~P ~Q)
~ (P Q) (~P ~Q)
Leyes de dominacin.
P T T
P C C
Leyes de identidad.
P T P
P C P
Doble negacin.
~~P P
Implicacin.
(P Q) ~P Q)
Universidad Alas Peruanas Filial Huacho

Pg. 46

Valores de Verdad
Exportacin.
[P (Q R)] [(P Q) R]
Contrarrecproca.
(P Q) (~Q ~P)
Reduccin al absurdo.
(P Q) [(P ~Q) C]
Ejemplo 1.19 Probar que la proposicin condicional P Q es
lgicamente equivalente a su contrarrecproca ~Q ~P.
Solucin
Veamos que ambos condicionales tienen los mismos valores de verdad.
En efecto, si P Q es verdad, entonces P puede ser verdad o falso. Pues
bien,
si P es verdad, q ha de ser verdad, luego ~P y ~Q son, ambas, falsas y,
consecuentemente, ~Q ~P es verdad.
si P es falso, entonces ~P es verdad y ~Q ~P es verdad, cualquiera
que sea el valor de verdad de Q.
Por lo tanto, en cualquier caso, ~Q ~P es verdad.
Por otra parte, si P Q es falso, entonces P es verdad y Q es falso, luego
~Q es verdad y ~P es falso y, por lo tanto, ~Q ~P es falso.
Universidad Alas Peruanas Filial Huacho

Pg. 47

Valores de Verdad
Tambin podemos hacerlo escribiendo su tabla de verdad.

P Q
V
V
F
F

V
F
V
F

~Q

(P Q) (~Q

Q
V
F
V
V

Q
F
V
F
V

P
F
F
V
V

~P
V
F
V
V

~P)
V
V
V
V

Entonces, el bicondicional (P Q) (~Q ~P) es una tautologa y por

4.2 es una equivalencia lgica.
Ejemplo 1.20 Probar la equivalencia lgica conocida como reduccin al
absurdo.
Solucin
Lo demostraremos partiendo de la segunda proposicin, el razonamiento
es ms sencillo y rpido. En efecto, si (P ~Q) C es verdad, entonces P
~Q ha de ser falso luego P y ~Q son, ambas, falsas de aqu que Q sea
verdad y P Q tambin.
Por otra parte, si (P ~Q) C es falso, entonces P Q ha de ser verdad
(C siempre es falso) luego P es verdad y ~Q tambin, de aqu que Q sea
falso y P Q sea falso.
Ahora lo haremos comprobando, mediante su tabla de verdad, que la
proposicin bicondicional correspondiente, (P Q) [(P ~Q) C],
es una tautologa.
Universidad Alas Peruanas Filial Huacho

Pg. 48

Valores de Verdad
En efecto:
P

P Q
V
V
F
F

V
F
V
F

(P ~Q)

(P Q) [(P ~Q)

C
V
F
V
V

C]
V
V
V
V

C
Q
V
F
V
V

Q
F
V
F
V

~Q
F
V
F
F

F
F
F
F

Por tanto, y segn 4.2,

(P Q) [(P ~Q) C]
Ejemplo 1.21 Demostrar que ~ (p q) (p ~q) (~p q) (~p
~q).
Solucin
En efecto,
~ (p q) ~p ~q
(~p T) (~q T)
(~p (q ~q)) (~q (p ~p))

{De Morgan}
{Identidad}
{Tautologa}

(~p q) (~p ~q) (~q p) (~q ~p)

{Distributividad}
(p ~q) (~p q) (~p ~q) (~p ~q)
{Conmutatividad}

Universidad Alas Peruanas Filial Huacho

Pg. 49

Valores de Verdad
(p ~q) (~p q) (~p ~q)
{Idempotencia}
Ejemplo 1.22 Establecer las siguientes equivalencias simplificando las
proposiciones del lado izquierdo.
(a) [(p q) p] T
(b) ~(~(p q) ~p) C
(c) [(q p) (~p q) (q q)] p
(d) [(p ~p) (~p p)] C
siendo C una contradiccin y T una tautologa.
Solucin
(a) [(p q) p] T
[(p q) p] ~ (p q) p

{Implicacin}

(~p ~q) p

{De Morgan}

p (~p ~q)

{Conmutatividad

(p ~p) ~q

{Asociatividad

de }
de

}
T ~q

Universidad Alas Peruanas Filial Huacho

{Leyes de dominacin}

Pg. 50

Valores de Verdad
T
(b) ~(~(p q) ~p) C
~ (~ (p q) ~p) ~ (~~ (p q) ~p)
~ ((p q) ~p)
~ (p q) ~~p

{implicacin}
{Doble negacin}
{De Morgan}

(~p ~q) p

{Doble Negacin y De

(~q ~p) p

{Conmutatividad de }

~q (~p p)

{Asociatividad de }

~q C

{Leyes de dominacin}

Morgan}

C
(c) [(q p) (~p q) (q q)] p
[(q p) (~p q) (q q)] (~q p) (~~p q) (~q
q)
{Implicacin}
(q p) (p q) T
{Tautologa}
(p q) (p q)
Universidad Alas Peruanas Filial Huacho

Pg. 51

Valores de Verdad
{Conmutatividad}
p (q q)
{Distributividad}
p C
{Identidad}
p
(d) [(p ~p) (~p p)] C
[(p ~p) (~p p)] (~p ~p) (~~p p)
~p p

{implicacin}

{Idempotencia

doble negacin}
C

{Contradiccin}

Ejemplo 1.23 Si y son dos operadores lgicos, se dice que 4 es

distributivo respecto de si las proposiciones p (q r) y (p q) (p
r) son lgicamente equivalentes.
Probar, usando tablas de verdad, que y son, cada uno, distributivos
respecto del otro y que es distributivo sobre s mismo.
Solucin

Universidad Alas Peruanas Filial Huacho

Pg. 52

Valores de Verdad
(a) Probaremos que p (q r) (p q) (p r), para lo cual
veremos que la proposicin bicondicional correspondiente es una
tautologa. En efecto:
p

p (q

(p q) (p

p q r
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

r
V
V
V
F
V
V
V
F

r)
V
V
V
F
F
F
F
F

q
V
V
F
F
F
F
F
F

r
V
F
F
F
F
F
F
F

r)
V
V
V
F
F
F
F
F

V
V
V
V
V
V
V
V

Por tanto, p (q r) (p q) (p r)

Universidad Alas Peruanas Filial Huacho

Pg. 53