1

P
Paradoja de Russell: " yo afeito a quienes no se
afeitan a si mismos, y solamente a estos.
¿Quién afeita al barbero?

Sir Bertrand Russell 1872- 1970

TEMA I.

LÓGICA Y LENGUAJE: PROPOSICIONES Y CONECTIVOS LOGICOS

Al final de este tema el estudiante será capáz de:

 Identificar los conectivos definidos en clase y en el material teórico.

 Decidir el valor de V ó F de una proposición compuesta a partir de los
valores V ó F de proposiciones simples.
 Reconocer el conectivo dominante de una proposición compuesta.
 Elaborar Tablas de Verdad de proposiciones compuestas.
 Demostrar si una proposición compuesta es una Tautología o si es una
Contradicción.
 Asignar valores de V o F a proposiciones simples para obtener el valor de V
ó F preestablecido en una proposición compuesta

2.1. Proposiciones simples

En la lógica simbólica, cada uno de los conceptos se define de manera estricta; no

debe quedar lugar a dudas o imprecisiones en su significado. Nada se da por
supuesto. Por ejemplo, en el lenguaje ordinario un enunciado u oración se puede
definir como “una palabra o un grupo de palabras, que declara, pregunta, ordena,
solicita o exclama algo; unidad convencional del habla o escritura coherente, que
normalmente tiene un sujeto y un predicado, que empieza con mayúscula y termina
con un punto”.

Sin embargo en la lógica simbólica una oración tiene un significado mucho más
limitado y se llama proposición.

En el capítulo anterior establecimos que una proposición es un enunciado para el

cual hay un criterio que permite establecer de manera única y no ambigua si
es verdadero o falso.

En otras palabras, una  proposición es un enunciado al cual se le puede asociar

uno de los conceptos “verdadero” o “falso”, pero no ambos.

Las características esenciales en esta definición las podemos expresar con estos dos
principios:

Principio del tercero excluido: Cada proposición es o verdadera o falsa.

Principio de no contradicción: Ninguna proposición es a la vez verdadera y falsa.
 2

Si el enunciado es una pregunta o una orden , si es demasiado imprecisa o si carece

de sentido, no se podrá clasificar como verdadera o falsa y por tanto no se llamaría
proposición.

Tomando en cuenta la definición dada, rellena la siguiente tabla:

Enunciado ¿Es
proposición?
3+6 = 7
No me dejes con este dolor
La luna es cuadrada
¿Llegaste a tiempo?
Evelyn cursa el octavo semestre de Psicología
Hoy es viernes
Prohibido prohibir
La materia es un estado transitorio de energía
Esta frase es falsa

2.2. Conectivos Lógicos y Proposiciones compuestas:

En el lenguaje corriente se pueden enlazar proposiciones simples para formar otras
más complejas. Para traducir del lenguaje común al simbólico, se establece una
especie de “taquigrafía notacional”.

En esta “taquigrafía”, se denotan las proposiciones simples con letras minúsculas tales
como p,q,r,s,,.... y luego se definen ciertos conectivos.

Veamos un ejemplo:

Si decimos “Hoy es un día tormentoso y hace calor”, podemos descomponer este

enunciado en dos proposiciones simples, de la siguiente manera:
p: Hoy es un día tormentoso
q: Hoy hace calor
Al conectarlas con la conjunción “y” estamos formando una nueva proposición. En
lógica, esta conjunción también tiene un símbolo y es : 
La simbolización de la proposición inicial sería entonces: p  q

Definición:

Una proposición compuesta se forma enlazando proposiciones simples con

conectivos. El valor de certeza de una proposición compuesta dependerá de los
valores de certeza de las proposiciones simples que la componen

Los conectivos que abordaremos inicialmente en este curso serán:

conectivo nombre símbolo

y conjunción 
o disyunción 
no negación ~
Si...entonces condicional 
 3

Ya sabemos que el valor de certeza de una proposición simple puede ser verdadero
(V) o falso (F).

2.3. Definiciones y Tablas de certeza ( o tablas de verdad ) para los

conectivos lógicos

Definición:

La proposición ~p es la proposición compuesta cuyo valor lógico es el contrario al

valor lógico de la proposición p

Tabla de verdad para la negación:

Dada la proposición p consideremos los posibilidades para la validación de

la proposición ~ p p ~p
Si p es verdadera, su negación será falsa y si p es falsa, su negación será V F
verdadera. Esto lo podemos resumir con la siguiente tabla: F V

Ej: Si p es “Nos atacan desde el país vecino”

La negación de p será:” No nos atacan desde el país vecino” y se simbolizará por
~p

Ej: Si r es “Hoy es martes ”

La negación de r será: “Hoy no es martes” y se simbolizará por ~ r
En este ejemplo ¿Pudiésemos también negar r con la proposición “Hoy es jueves ”?

Definición:
La conjunción de dos proposiciones p, q es otra proposición denotada por p q,
la cual es cierta, si y sólo si p y q son ciertas.

Tabla de verdad para la conjunción:

Dadas las proposiciones p , q , consideremos los posibilidades para la validación de

la proposición compuesta p q:

p q p q
Esta tabla se llama “Tabla de verdad o tabla de certeza” V V V
para la conjunción de dos proposiciones V F F
F V F
Se toman como “sinónimos” de la conjunción: F F F
 Además
 Pero
 Sin embargo
 Aunque
 También
 Aún
 A la vez y No Obstante
 4

Ejercicio:

Construye al menos cinco proposiciones en castellano equivalentes a cada una de las

que se dan a continuación:
a. Juan pesca pero no baila.
b. Estoy satisfecha por tu actuación , pero no totalmente feliz
c. No irás a casa de María aunque quieras.
d. Estudio al mismo tiempo que veo televisión.

Definición:

Dadas las proposiciones p y q, definimos la proposición “ p disyunción q”, denotada

como p  q, a la proposición que es F sólo si ambas proposiciones lo son y V en los
demás casos.

Tabla de verdad para la disyunción:

Dadas las proposiciones p , q , consideremos los posibilidades para la veracidad de la
proposición compuesta p  q:
p q pq
V V V
V F V
F V V
F F F

Definición:

Dadas las proposiciones p , q , se denota por p q y se lee “si p entonces q”, al

condicional de dos proposiciones; p es el antecedente y q es el consecuente. p q es
la proposición compuesta que sólo es F si el antecedente es V y el consecuente F, en
los demás casos es V

Tabla de verdad para el condicional:

Se denota por p q y se lee “si p entonces q”, al condicional de dos proposiciones
A p se le da el nombre de antecedente y q es el consecuente.
También se dice que p es condición suficiente para (que ocurra) q o que q es
condición necesaria para p.

Para obtener los valores de certeza del condicional p q, conviene pensar en el
condicional como una “promesa”.

Dada la siguiente proposición :“Si apruebas el semestre con índice mayor a 4.5
entonces te regalaré un I-pod ”
Podemos establecer que p es : apruebas el semestre con índice mayor a 4.5 y
q: te regalaré un I-pod; observamos que la “promesa “ no se cumple en el caso en
que apruebes el semestre con un índice mayor a 4.5 y no te regale el i-pod ; es decir
p verdadero y q falso.
Sólo en este caso , el enunciado ” Si apruebas el semestre con índice mayor a
4.5 entonces te regalaré un I-pod ”es falso ( ¡no se cumplió la promesa!)
 5

La tabla de verdad del condicional viene dada por:

p q pq
V V V
V F F
F V V
F F V

NOTA: Lo que sigue, es IMPORTANTE para la simbolización.

Muchas veces nos encontraremos con proposiciones condicionales, que están

redactadas o enunciadas de manera que no aparece primero el “si” del condicional. Lo
importante es detectar cual es la consecuencia.

Veamos un ejemplo:

Dado el condicional “Si gano la lotería entonces te regalaré 10.000 dólares" lo

podríamos enunciar también como:
Tomaremos : p: “gano la lotería” y q: “ te regalo 10.000 dólares”

 Que gane la lotería , implica que te regalaré 10.000 dólares (p implica q )

 Te daré 10.000 dólares si gano la lotería. (q si p)
 Para darte 10.000 dólares es suficiente que gane la lotería. (p es suficiente para
q)
 Es necesario haberte regalado 10000 dólares para que me haya ganado la lotería
(q es necesario para p)
 Te daré 10.000 dólares cuando gane la lotería (q cuando p)
 Te daré 10.000 dólares siempre que gane la lotería (q siempre que p)
 Me habré ganado la lotería sólo si te regalo 10000 dólares (p sólo si q)
 Te regalé 10000 dólares porque me gané la lotería (q porque p)
 Te daré 10.000 dólares a menos que no gane la lotería.(q a menos que no p)

Ejercicio:

Encuentra al menos cinco expresiones equivalentes en castellano para los

siguientes condicionales:
a. Si como mucho pan , engordo
b. Si no estudio al menos 5 horas diarias , no lograré aprobar este curso.
c. Si abres la boca, tendrás problemas.

Definición:

La proposición bicondicional de p y q , denotada p q es la proposición compuesta

que es V si ambas proposiciones tienen el mismo valor de verdad ( esto es : ambas
son V o ambas son F ) y es F si las dos proposiciones tienen valores lógicos
diferentes.
 6

Tabla de verdad para la proposición bicondicional:

Dadas las proposiciones p , q , consideremos los posibilidades para la veracidad de la

proposición compuesta p q:
p q p q
V V V
V F F
F V F
F F V

Ejercicio:

1. Demostrar usando Tablas de Verdad la equivalencia de las proposiciones p  q

y ( p  q)  (q  p ).
2. La negación del bicondicional , se denomina diferencia simétrica (“o”
excluyente). Lo denotamos como  . Pruebe que la diferencia simétrica de dos
proposiciones p  q es equivalente a (p q )  (p  q).

2.4. Tautologías y Contradicciones

Definición:

Una tautología a una proposición compuesta que es siempre verdadera ,

cualesquiera que sean los valores de verdad de las proposiciones que la conforman.
(La tabla de verdad de una tautología contiene exclusivamente el valor
V ). Por convención denotaremos una tautología como V0.

Definición:

Una contradicción a una proposición compuesta que es siempre falsa, cualesquiera

que sean los valores de verdad de las proposiciones que la conforman. (La tabla de
verdad de una contradicción contiene exclusivamente el valor F ).
Por convención denotaremos una contradicción como F0.

Ejercicios :

1. Tomando en cuenta las definiciones anteriores , decide cuáles de las

siguientes proposiciones compuestas son tautologías, cuales contradicciones y cuales
son proposiciones cualesquiera.
a) b) c)
d) e) f)

2.5. Proposiciones equivalentes

Definición:
Dos proposiciones son equivalentes si sus valores de verdad son idénticos, esto es, son
aquellas proposiciones que tienen la misma tabla de verdad.
 7

PROPIEDADES DE EQUIVALENCIA de PROPOSICIONES CON CONECTIVOS LÓGICOS

Proposición Equivalente a Nombre de la equivalencia

pp p Idempotencia de la conjunción
pp p Idempotencia de la disyunción
p ~ ~p Ley de la doble negación
p  V0 p Ley del neutro para la conjunción
p  F0 p Ley del neutro para la disyunción
p  ~p F0 Ley de la contradicción
p  ~p V0 Ley de la tautología
pq qp Ley conmutativa para la conjunción
pq qp Ley conmutativa para la disyunción
(p  q)  r p  ( q  r) Ley asociativa para la conjunción
(p  q)  r p  ( q  r) Ley asociativa para la disyunción
p  ( q  r) (p  q)  (p  r) Ley distributiva del  respecto al 
p  ( q  r) (p  q)  (p  r) Ley distributiva del  respecto al 
~ (p  q) ~p  ~q Ley de De Morgan (negación de conjunción)
~ (p  q) ~p  ~q Ley de De Morgan (negación de una disyunción)

Como ejercicio, pueden probar (verificando a través de las tablas de verdad) que en
efecto estas proposiciones son equivalentes.

2.6. Formas derivadas de un condicional.

Existen otras proposiciones condicionales relacionadas con el condicional pq

que definimos a continuación :

Dado el condicional p  q , se definen:

El recíproco de p  q qp
El inverso o contrario de ~p  ~q
pq
El contrarrecíproco de p  ~q  ~p
q

Ejemplo:
Dado el condicional “Si quebrantamos la ley, entonces vamos a la cárcel “, veamos
cuales serían las formas derivadas:

El recíproco (q  p) : Si vamos a la cárcel, entonces quebrantamos la ley

El inverso o contrario ( ~p  ~q) : Si no quebrantamos la ley, entonces no vamos
a la cárcel
El contrarrecíproco : ~q  ~p : Si no vamos a la cárcel, entonces no
quebrantamos la ley

p q qp

~p ~ q ~q ~ p
 8

En las flechas horizontales cada proposición es recíproca de la otra.

En las verticales, cada proposición es contraria (inversa) de la otra y en
la diagonales, cada proposición es contrarrecíproca de la otra.

Construyamos la tabla de verdad para estas formas derivadas:

Directa Recíproca Contraria Contrarrecíproca o

Contrapositiva
p q pq qp ~p  ~q ~q  ~p
V V V V V V
V F F V V F
F V V F F V
F F V V V V

Observando esta tabla, trate de obtener alguna conclusión (referida a equivalencia de

proposiciones)

2.7. Formas equivalentes del condicional y de la negación del condicional

Actividad 1:
a. En la tabla siguiente se dan una serie de proposiciones en la columna izquierda
que vamos a asumir verdaderas.En la columna derecha de la tabla, complete
con otra proposición en castellano, de manera que la proposición dada sea
falsa.

Proposición Es falso si…..

Si como muchos carbohidratos, engordo
Cuando me gane la lotería, te regalaré el
viaje a los Roques
Iré a la playa cuando escampe
Es suficiente que tengas más de 18 años
para que puedas votar
Cuando medito, logro la paz interior
No seguiré las órdenes si van en contra de
mis principios
Si inscribes más de 24 créditos, tendrás
dificultades con los horarios

b. Ahora observe la “estructura “ de las proposiciones en ambas columnas.

¿Pudiera elaborar una conjetura?

c. Para conseguir esta conjetura ha razonado en forma __________________

d. ¿Cree que puede verificar su conjetura?

e. Explique y escriba todo el proceso que ha seguido.

 9

EJERCICIOS TEMA II:

1. Decide si cada una de los enunciados siguientes es o no una proposición.

a. EL 12 de octubre de 1949 fue miércoles.

b. Tenga un feliz día.
c. Levántese y pase a que lo cuenten.
d. 8+15=23.
e. No todos los números son positivos.
f. Ve y búscale una silla.
g. Iván cumple años en abril.
h. ¡Qué felicidad!
i. ¿Te gusta la comida árabe?

2. Representa con p a la proposición “ Ella tiene ojos azules ” y con q a “ El tiene

43 años de edad”
Traduce al lenguaje común las siguientes proposiciones compuestas:
a.- p  ~ q b.- ~p~q c.- ~ p  ~ q d.-
~ (p  q) e.- ~ (p  ~ q)

3. Simbolizar las proposiciones compuestas que se dan a continuación:

a. Ana estudia o trabaja

b. Eduardo y Carlos prometen mucho
c. Ni María ni Elena cumplirán su promesa
d. No es cierto que trabajé
e. No es cierto que no trabajé
f. No sucede que no sea cierto que no trabajé
g. Eduardo y Carlos prometen mucho, pero ni Eduardo ni Carlos cumplirán
h. Eduardo y Carlos prometen mucho y Eduardo no cumplirá pero Carlos si lo
hará.

4. Construye en castellano argumentos que tengan las siguientes estructuras.

Premisa 1: p q Premisa 1: p  q Premisa 1:  p ( q  r ) Premisa 1: p  q

Premisa 2: p   Premisa 2: p  r Premisa 2:  q   r Premisa 2: q  r
r Conclusión :  q  Conclusión : p Conclusión : p r
Conclusión : q   r
r
 10

5. Para los siguientes argumentos se pide:

Identificar las premisas y la conclusión

Simbolizar cada una de las premisas y la conclusión

a. Para que valga la pena tomar el curso de Lógica, es suficiente que

el profesor sea capaz. Si las calificaciones son justas entonces no
vale la pena tomar el curso de lógica. Pero resulta que las
calificaciones son justas y po r tanto, el profesor no es capaz.

b. Juan toma el autobús o el tren. Si él toma el autobús o maneja su

propio auto, entonces llega tarde y falta a la primera sesión. No
llegó tarde. En consecuencia, no tomó el tren.

c. La Vino-tinto no estará en la final por que Leopoldo Jiménez no

es un jugador estrella. Violeta ama a la Vino -tinto o Leopoldo
Jiménez es un Jugador estrella. Violeta no ama a la Vino -tinto. Por
lo tanto, la Vino -Tinto no estará en las finales.

d. Si presto atención al profesor de lógica, me a burro. Si no lo hago,

me aplaza . De modo que, me aburro o me aplaza.

e. Luis ama a Rosa o de lo contrario no la hubiera perdonado nunca.

No es el caso que Luis ame a la vez a Ana y a Rosa. Por tanto, si
Luis ha perdonado a Rosa, no ama a Ana.

f. Si la guerra es inminente, entonces el ejército ha sido movilizado.

Si el ejército ha sido movilizado, entonces el enemigo atacará. La
guerra es inminente y no obstante, el enemigo no atacará. Por
consiguiente, si la guerra es inminente y el enemigo no atacará,
nosotros somos los agresores.

g.
6. Escribe la tabla de verdad para las siguientes proposiciones. Se presenta un
ejemplo resuelto:
La tabla de verdad de (p  q)  [ (p  q) q] es:

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

Hacer lo mismo para las siguientes proposiciones.

a. p  ( ~ p p) b.(p  q)  [ p ( ~q)]
c.(p  p) [ q( ~q)] d. ~ p [ ~ (p  q )]
e. [(p  q)  r ]  [(p  q) r ] f. (p  q) [p  (~ p  q)]
 11

7. Junto a cada proposición escrita a continuación, se puso el nombre del

conectivo dominante. Añade los paréntesis necesarios.
a. Conjunción: r  pq
b. Disyunción: r  qt
c. Condicional: p r  q
d. Condicional: p  q  t
e. Disyunción: q r  ~s
f. Negación: ~ p r
g. Condicional: r  p  q
h. Condicional: r  q  t
i. Disyunción: p  r  q
j. Conjunción: p  q  t
k. Negación de una disyunción : ~ s r  ~p
l. Negación de un condicional : ~ s  r  ~p
m. Disyunción: ~p r  ~s

8. ¿Qué valores de certeza deben asignarse a “p” y a “q” para que las siguientes
proposiciones sean falsas? ¿Hay más de una posibilidad en cada caso?
a. p ~q
b. ~(p  q)
c. ~ ~p
d. ~(p  ~q)
e. ~ p ~q

9. Sean: p:Como sano , q:Hagoejercicio , r: Estoy en plena forma

Se pide traducir al castellano:

a. ~pq
b. p ~ q
c. ~ (p  q)
d. ~pq
e. ~ p  ~q
f. ~~ p
g. ~ (~p  ~q)
h. ~ (p ~q)
i. (~ p ~ q ) ~r
j. ~r  (~ p ~ q)
k. r  (p q)
l. (~ p ~ q ) ~r
m. ~ (p q ) ~r
n. ~ (p  q ) ~r

10. Escribe la tabla de verdad de las proposiciones anteriores. ¿ Cuáles pares de

proposiciones compuestas son Tautologías?, ¿ Cuáles son contradiciones?
11. Para cada una de las siguientes proposiciones compuestas suponer: p
verdadero, q y r falsas.

Encuentra el valor de verdad de :

 12

a. ( ~ p q )  ( r  ~ q )
b. ~ p  ( q ~ r)
c. (rp )  ( q p)
d. ( ~ p p)  p
e. ~ r  ( q ~ q )
f. ~r  (~ p ~ q)
g. r  (p q)
h. (~ p ~ q ) ~r
i. ~ (p q ) ~r
j. ~ (p  q ) ~r

12. Traduce los siguientes enunciados a la forma “si- entonces” ( en castellano) y

luego a la forma simbólica. Asegúrate de indicar las letras que utilices para cada
proposición simple.
 Ejemplo:
Tendrás éxito si aprecias la opinión de los demás.
p: Aprecias la opinión de los demás
q :Tendrás éxito
Si aprecias la opinión de los demás entonces tendrás éxito.
Forma simbólica de la proposición dada: p  q

a. Iré el sábado si me pagan.

b.La grama se moja cuando llueve o cuando la riegan
c. Juan es razonable sólo si conoce todos los hechos.
d. Soy un mal ejemplo, por tanto no soy un completo inútil (Les Luthiers)
e. No me interesa esta situación, porque no comparto las ideas de la mayoría
f. Como no llegaste a tiempo, decidí salir sin ti
g. Iremos a la playa , a menos que llueva
h. Si no eres parte de la solución , eres parte del problema
i. "Usted puede tener poder sobre las personas mientras no haya tomado todo de
ellas.
j. No me dejes caer en el orgullo si triunfo, ni en la desesperación si fracaso (M.
Gandhi)
k. Si yo faltara a la gente, quisiera valor para disculparme y si la gente faltara conmigo
quisiera valor para perdonar. (M. Gandhi)
l. Nuestros descendientes no sobrevivirán a menos que detengamos la contaminación
ambiental
m. Venezuela tiene bellas mujeres, dado que varias de ellas han ganado concursos
internacionales de belleza.
n. Si el volcán entra en erupción y decides permanecer en el lugar, te arriesgas a
morir.
o. Las abejas y las avispas atacan cuando están enojadas
p. Tendrás éxito en la competencia a menos que no entrenes lo suficiente

13. Dadas las siguientes proposiciones:

p:Me gusta la lógica. q: Disfruto las clases de Lógica
 13

Traduce cada una de las siguientes proposiciones al lenguaje común.

a. pq b. ~ p  q c. ~ q (~ p)
e. [ p  (~ p)]  q f. ~ p  q

14. Negar las siguientes proposiciones compuestas:

a. p ( ~ q ) b.~ (p  q ) c. ~ p  q
d. (r  s)  (~ s) e. ~ r  ~ s f. (p  q)  (p  q)

15. Escribe la negación, el recíproco, el inverso y el contrarrecíproco de cada una

de las proposiciones siguientes:
 Si p, entonces q.
 ~ p  (~ q )
 El sol brilla sólo si estás feliz.
 Si tu automóvil no tiene aire acondicionado, no tendrás amigos.
 Iré el sábado, si me pagan.
 Si los deseos fueran caballos, entonces los mendigos cabalgarán.
 Si te cepillas los dientes con el dentífrico Sonrisas, tendrás entonces menos caries.
 Tus nietos no sobrevivirán si no detenemos la contaminación del ambiente.
16. Encuentra al menos dos proposiciones equivalentes para las dadas a continuación.
Justifica tu respuesta.

a.- p~q b.- ~p~q c.- ~ p  ~ q

d.- ~ (p  q) e.- ~ (p  ~ q) f.- (p  ~ q )

g.- (p  ~ q ) ~ s h.- (r  p)q i.- ((p  q) t )  q

17. Niega los siguientes condicionales:

a) (r  p)q b) (r q)t c) {p(rq)} { (p  q) t}

d)~ p  r e) (~ p r)  ( ~ p q )

18. Prueba que : ( p q) ( ~ p q )

NOTA:
En vista del uso frecuente que le daremos a la equivalencia anterior la
denotaremos , esto es cada vez que usemos la equivalencia
( p q) ( ~ p q ) demostrando una equivalencia, bastará con poner
bajo el símbolo de la equivalencia.

19. Expresa sólo con conjunciones o disyunciones:

a) (pq) (t r)
b) ( p  q)  ( ~ r  s )
 14

20. Escribe el recíproco, el inverso o contrario y el contrarrecípoco de los siguientes

condicionales:.
a. (p  q) t
b. Podrás presentar el examen , siempre y cuando traigas el certificado de inscripción
c. (~ p r)  ( ~ p q )
d. Si presto atención al profesor de lógica, disfrutaré de la clase.
e. p  ( q  ( ~ r  s ))

21. Construye una proposición compuesta cuyo valor de verdad sea falso con las
siguientes restricciones:
a. Que contenga cinco proposiciones simples
b. Con dos de las proposiciones simples verdaderas y tres falsas
c. Cuyo conectivo dominante sea un condicional
d. Que contenga al menos un conjunción, al menos una disyunción y exactamente una
negación

22. Construye una proposición compuesta cuyo valor de verdad sea verdadero con
las siguientes restricciones:

a. Que contenga cinco proposiciones simples

b. Con dos de las proposiciones simples verdaderas y tres falsas
c. Cuyo conectivo dominante sea una conjunción
d. Que contenga exactamente dos condicionales
e. Que contenga exactamente dos disyunciones

23. Demostrar las siguientes equivalencias sin utilizar tablas de certeza.. Debe
justificarse cada paso de la demostración:
a. ( p q)  r ( p  r )   q
b.  (pq)  (s  t)   ( s  t )  (pq)
c. q (r  t )  (r  q)  ( t  q)
d. ( p q )  r  ( p  r )   q
e. (p  ~ q )  s  s  ~ (p  q)

24. Encuentra al menos tres proposiciones equivalentes y diferentes para las

proposiciones dadas a continuación. Justifica tu respuesta.
a. ( p  ~ q)  (~ s  t)
b. (~p  q )  (r  t)
c. ~ ( p  ~ q)  (~ s  t)
d. ~ (~p  q )  (r  t)