PROPOSICIONES

Definicin.- Son expresiones del lenguaje de las que tiene sentido decir que son verdaderas o falsas (oraciones declarativas).
Los trminos proposicin y enunciado no son exactamente sinnimos, pero en el contexto de la investigacin lgica se usan
en un sentido muy parecido.
1. CLASES DE PROPOSICIONES
A. Proposicin Simple o Atmica: Formada por un solo sujeto y predicado, es decir que carece de conectores lgicos
mondicos o bindicos.
Ejemplo:
Elementos es una obra del matemtico griego Euclides.
B. Proposiciones Compuestas o Moleculares: Son aquellas que se obtienen al combinar las proposiciones simples unidas
por uno o ms conectores lgicos.
Ejemplos:
Es falso que la Matemtica sea difcil.
El deporte es divertido y ayuda a la salud.
Proposicin Conjuntiva: Se denomina as a la proposicin que presenta el conector binario y el cual desempea el papel
de compatibilizador de dos proposiciones.
Algunas traducciones verbales del conjuntor son:
AyB
A del mismo modo que B
A sin embargo B
A al igual que B
A as como B
A no obstante B

A de la misma manera B
Tanto A como, cuanto B
No slo A tambin B
Siempre ambos A con B
A es compatible con B
A incluso B

A tambin B
A aunque B
A pero B
A incluso B
A tal como B

Proposicin Disyuntiva Incluyente: Se denomina as a la proposicin que presenta el conector binario o el cual da la
posibilidad dos o ms proposiciones a la vez. Para aclarar mejor se puede agregar el trmino al final o ambos.
Algunas traducciones verbales de la disyuncin incluyente son:
A excepto que B
AoB
A a menos que B
A salvo que B
A o tambin B
A menos que A, B

Proposicin Disyuntiva Excluyente: Se denomina as a la proposicin que presenta el conector binario o y excluye la
posibilidad de que se den ambas proposiciones a la vez.
Algunas traducciones verbales de la disyuncin excluyente son:
bien A o bien B
Ya bien A ya bien B
OAoB
A o solamente B
AoB
A o slo B
Proposicin Implicativa: Se denomina as a la proposicin que presenta el conector binario Si A entonces B, el cual enlaza a
una proposicin que es el antecedente con otra proposicin que es el consecuente o conclusin. Algunas traducciones
verbales de la disyuncin excluyente son:
Si A entonces B
De A deducimos (inferimos, llegamos,
Cuando A as pues B
concluimos) en B
Con tal que A es obvio que B
A es condicin suficiente para B
En el caso de que A en tal sentido B
Ya que A bien se ve que B
En virtud de que A es evidente B
Siempre que A por consiguiente B
Dado A por eso B
Toda vez que A en consecuencia B
En cuanto A por tanto B
En la medida que A de all B
De A deviene B
En el caso de A en este caso B
A es condicin suficiente para B
De A derivamos B
A impone a B
Proposicin Replicativa: Se denomina as a la proposicin que presenta el conector binario si. Es
un caso especial de proposicin implicativa el cual resulta cuando el Si o sus sinnimos estn entre A y B.
Algunas traducciones verbales del replicador son:

A porque B
A es condicin necesaria para B
A, si B
A se concluye de B
A siempre que B

A es insuficiente para B
A cada vez que B
A dado que B
A ya que B

A puesto que B
A es condicin de que B
A en vista de que B
A pues B

Proposicin Biimplicativa: Se denomina as a la proposicin que presenta el conector binario si y slo si el cual desempea
la funcin de doble implicador. Es decir el la conjuncin de la condicional con la recproca. Algunas traducciones verbales de la
biimplicacin son:
A si y slo si B
A se define como B
A es equivalente a B
A es lo mismo que B
A siempre que y slo cuando B
A si de la misma forma B
A por lo cual y segn lo cual B
A es idntico a B
Proposiciones Negativas: Se denomina as a la proposicin que presenta el conector mondico no el cual permite cambiar el
valor de veracidad de la proposicin. Algunas traducciones verbales de la negacin son:
No A
No ocurre que A
De ninguna forma se da que A
Nunca A
No es verdad que A
Es errneo que A
Jams A
No es el caso que A
Es incorrecto que A
Tampoco A
Es mentira que A
Es incierto que A
Es absurdo que A
Es inadmisible que A
No es innegable que A
2.

FORMALIZACIN DE PROPOSICIONES
A partir de mediados del siglo pasado, la lgica formal comenz a elaborarse como un clculo algebraico, adoptando un
simbolismo peculiar para las diversas operaciones lgicas. Gracias a este nuevo mtodo, se han podido construir grandes
sistemas axiomticos de lgica, a manera de las matemticas, con los que pueden efectuarse con rapidez y simplicidad
razonamientos que la mente humana no puede conseguir actuando espontneamente.
La lgica simblica tambin llamada lgica matemtica, tiene el mismo objeto que la lgica formal tradicional: estudiar y
hacer explcitas las formas de la inferencia, dejando de lado- por abstraccin el contenido de verdades que esas formas
pueden transmitir. La diferencia con la lgica formal clsica est en que con el clculo simblico se llega en cierto modo a la
automatizacin del pensamiento ya que la simple aplicacin de reglas permite pasar
mecnicamente de unos smbolos a otros, de modo anlogo a cuando efectuamos una multiplicacin.
2.1 SIMBOLOS FORMALES
VARIABLES PROPOSICIONALES: Son smbolos que representan proposiciones simples. Para denotarlos utilizaremos
las letras minsculas del alfabeto como: p, q, r, s,.
Por ejemplo, dada la siguiente proposicin: El Per es un pas latinoamericano.
Su representacin simblica es:

p por ser una proposicin simple.

CONECTIVOS LOGICOS: Son smbolos que sirven de enlace entre dos proposiciones. Se clasifican en:
a) NONADICOS: Cuando afecta a una variable.
-La negacin: ~
Ejemplo: En Colombia no hay paz social ~ q
b)

BINADICOS: Cuando afectan a dos o ms variables y son:

CONECTOR
SIMBOLO
SE LEE
LENGUAJE NATURAL
LOGICO
CONJUNTOR

"y"

Estudia y trabaja.

pq

"o"

Eres abogado o profesor.

pq

"O...o..."

DISYUNTOR
DEBIL
DISYUNTOR
FUERTE

FORMALIZACION

IMPLICADOR

"si

REPLICADOR

"... si ..."

entonces ..."

O ests en Arancay o en
Tantamayo.
... Si 2 es primo entonces 2
es par.
Sudas
demasiado.

si

corres

p q
pq
pq

BIIMPLICADOR

, s y slo s

NEGADOR
CONJUNTOR
NEGADOR
DISYUNTOR

Habr cosecha s y slo s

llueve.

"Ni... ni ..."

Ni estudia ni trabaja.

"No ... o no ..."

pq

pq

No es ingeniero o no es

p q

matemtico.

2.2 SIMBOLIZACION DE PROPOSICIONES Y EL USO DE LOS SIGNOS DE AGRUPACION

Simbolizar un argumento consiste en asignar a cada proposicin simple una variable proposicional y a cada conector lgico su
respectivo smbolo.
Los signos de agrupacin son:

PARENTESIS ( ) CORCHETES [ ]

LLAVES

{ }

Y se utilizan para evitar ambigedades en las frmulas proposicionales.

PRIORIDAD O JERARQUIA DE LOS CONECTIVOS LOGICOS
En la formalizacin de proposiciones hay que tener muy en cuenta la prioridad que tienen los conectivos cuando no hay
signos de agrupacin. As tenemos el siguiente orden:
1ro. Negacin: ~
3ro. Implicador: " "

2do. Conjuntor y Disyuntor: "" , ""

4to. Disyuncin Fuerte:

" "

5to. Biimplicador: ""

OBSERVACION:
Se denomina conectivo dominante, al conectivo que est fuera de todo signo de agrupacin.
Ejemplo: Es absurdo que, la pizarra sea negra y la tiza sea blanca. Luego:

~ ( p q)

Ejemplo: No es el caso que, Fernando no sepa tocar guitarra y no componga una meloda, puesto que es egresado del
Conservatorio de Msica. Su formalizacin correcta es:

~ (~ p ~ q ) r

EJEMPLOS:
1) "No es verdad que si trabajo por eso no tengo dinero", equivale decir:
1. Trabajo igualmente tengo dinero.
2. No solo trabajo sino tambin tengo dinero.
3. Trabajo a la vez tengo dinero.
4. Es falso que no tengo dinero a menos que no trabaje.
5. De modo alguno, si tengo dinero, no trabajo.
Son correctas:
a) 1, 2 y 3
b) 1, 3 y 5 c) 1, 2 y 5
d) Todas
e) Slo 1 y 2
Solucin:
Yo trabajo: A
Yo tengo dinero: B
Luego: ~ ( A ~ B ) ~ (~ A ~ B )
definicin de implicador.
D'
Morgan.
A B
Veamos:
1. A B correcto.
2. A B correcto.
3. A B correcto.
4. ~ (~ B ~ A) B A A B correcto.
5. ~ ( B ~ A) ~ (~ B ~ A) B A A B correcto.
Por lo tanto todas son correctas.
Rpta.: (d)
2) " Es falso que, si hay motivacin entonces no hay inters" su equivalente por contraposicin es:
a) Es falso que, si hay motivacin entonces no hay inters.
b) No slo hay motivacin, tambin hay inters.
c) De forma alguna siempre que hay inters, no hay motivacin.
d) La motivacin es lo mismo que el inters.

e) Es absurdo que, si hay inters entonces no hay aprendizaje.

Solucin:
Existe motivacin: A
Existe inters: B
Luego: ~ ( A ~ B ) por contraposicin equivale a: ~ ( B ~ A) , esto es de forma alguna, siempre que haya inters,
no hay motivacin.
Rpta.: (c)
3) La proposicin: " De ningn modo, al haber pobreza hay bienestar social" equivale a:
a) ~ (q ~ p )
b) q ~ p
c) ~ ( q p)
d) ~ (~ q ~ p)
e) ~ (~ p ~ q )
Solucin:
Hay pobreza: p
Hay bienestar social: q
Luego: ~ ( p q )
Por equivalencias tenemos:

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

Rpta.: (d)

4) La proposicin: "Es falso que, el reo es culpable cada vez que es detenido" equivale a:

a) ~ ( p q)

b) ~ ( p q )
c) ~ (~ p q )
d) ~ (~ p ~ q )
e) ~ p q
Solucin:
El reo es culpable: p
El reo es detenido: q
Luego:

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

Contraposicin

5) La proposicin: " Pablo no es rico pero es feliz", equivale a:

a) Es falso que, Pablo es rico o infeliz.
b) Pablo ni es rico ni es feliz.
c) Es incorrecto que si Pablo es rico, es infeliz.
d) Pablo es rico o feliz.
e) Todas son equivalentes.
Solucin:
Pablo es rico: A
Pablo es feliz: B
Luego: ~ A B
Formalizando las proposiciones:
a) ~ ( A ~ B ) ~ A B por D' Morgan.
b) ~ A ~ B
c) ~ ( A ~ B) ~ (~ A ~ B ) A B
d) A B

Rpta.: (d)

Rpta.: (a)

3. TABLAS DE VERDAD
El mtodo de tablas de valores como procedimiento decisorio consiste en determinar si la funcin veritativa de una frmula
proposicional es consistente, tautolgica y contradictoria. Este mtodo muestra como se combinan los valores de verdad (V) y
falsedad (F) de las proposiciones compuestas a partir de los operadores usados y de los valores de verdad y falsedad de las
proposiciones simples o variables proposicionales.

La frmula 2n (donde 2 es la constante que expresa la posibilidad de ser V o F de una proposicin, y n representa el
nmero de variables o proposiciones simples) nos permite obtener el nmero exacto de valores que se van a combinar.
Las letras V=1 y F=0 indican valores de verdadero y falso.
variables

Esquema lgico
Matriz de verdad del
esquema

2n combinaciones

3.1 Clasificacin de las Tablas de Verdad por la naturaleza de su Matriz de verdad:

TAUTOLOGA(T)
Si el resultado final contiene
slo valores verdaderos.

CONTRADICCIN (C)
Si el resultado final presenta slo
valores falsos.

CONSISTENTE O CONTINGENTE
Si el resultado final contiene valores
verdaderos y falsos.

3.2 Tablas de Verdad de los Conectores Lgicos

CONECTIVOS

SIMBOLICAMENTE

VALORES DE VERDAD

Conjuncin

A B

V-V=V

Disyuncin Incluyente

A B

F-F=F

Disyuncin Excluyente

A B

V-V=F F-F=F

Implicacin

AB

V-F=F

Replicacin
Biimplicacin
Negacin Conjuntiva
Negacin Disyuntiva
Negacin

A B
AB

F-V=F
V-V=V F-F=V
F-F=V
V-V=F
V=F

A B

A/ B
A

3.3 Evaluacin de frmulas por la tabla de valores

Evaluar una frmula por la tabla de verdad es obtener los valores del operador principal a partir de los valores de verdad de
cada una de las variables proposicionales.

El nmero de valores que se asigna a cada variable es 2n, donde n es el nmero de proposiciones que hay en la frmula.
Con dos variables: 4 arreglos o casos.

Con tres variables

8 arreglos o casos.

Ejemplo:
Hallar la Tabla de Verdad de la siguiente proposicin compuesta: (p q) (p q)
Nmero de proposiciones:
2 (p y q)
Luego: Nmero de valores para cada variable: 2 2 = 4
Se procede a aplicar la Tabla de Valores de cada uno de los conectivos empezando por el de menor jerarqua hasta llegar al de
mayor alcance.
p q
(p q)

(p q)
V V
V
V
V F
F
V
F V
F
V
F V
F
F
(1)
(3)
(2)

Operador principal
1 Con la ayuda de la tabla de valores de la conjuncin y la disyuncin completamos las columnas (1) y (2).
2 Con ayuda de la tabla de valores del condicional completamos la columna (3).
El resultado de la Tabla de Valores de la frmula pertenece al operador principal.

Dependiendo del resultado de la frmula por Tabla de Valores, este puede ser:

Tautologa: Cuando los valores de su operador principal son todos verdaderos.

Por ejemplo
p q
(p q)

(p q)
V V
V
V
F
V F
F
V
V
F V
V
V
F
F V
V
V
F
Tautologa
Contradiccin: Cuando los valores de su operador principal son todos falsos.
Por ejemplo
p q
(p q)

(p q)
V V
V
F
F
V F
F
F
V
F V
V
F
F
F V
V
F
F
Contradiccin
Contingencia: Cuando entre los valores de su operador principal hay por lo menos una verdad y una falsedad.
Por ejemplo
p q
(p q)

(p q)
V V
V
F
F
V F
F
F
V
F V
V
V
V
F V
V
F
F
Contingencia
CIRCUITOS LOGICOS

1. Disee los circuitos lgicos que representan los esquemas moleculares correspondientes a:
a)

~ [p ~ (qvr)]

~[~ p v ~ (qvr)]
p ^ (qvr)
b)

(pvq)

[(~pvq) (p^q)]

~ (pvq) v [(~pvq)

~p

(p^q)]

~q
p

~ (pvq) v [~ (~pvq) v (p^q)]

~q
q

~ p^~q) v [ (p^~q) v (p^q)]

2.

Simplificar y hallar el equivalente a los circuitos dados:

a)

~s

~r
~s
p

~r

{[(rvs)v (~rv~s)] ^ ~s} v [r ^ (pv~r)]

V
~s v (r ^ p)

~s

^ ~s v [r ^ (pv~r)]
r

b)

~p

~q

~q
~r

~p

[(~p^~q) v (pvq)] ^ { (pv[q^(~rv~p)] }^ ~q

[~(pvq) v (pvq)] ^ [(~q^p) v ~q ^ [q ^ (~r v ~p)]
V

V ^ [(~q^p) v F]

~q

~q^p

p
c)

~r

[p ^ (p v q) ^ q)] v [r ^ (~r v q) ^ p]
(p ^ q) v [(r ^ q) ^ p]
p ^ [(q v (r ^ q)]
p^q

d)

~p

~q

~q

~q

~p

[(pv~q)^(qv~p)] v [(p^~q) v (q ^ ~p)] ^ (pv~q)

(pv~q)^ [(pv~q)^(q v ~p)] v [(pv~q)^ (p^~q)v(q^~p)]
[(pv~q)^ (qv~p)]v{[(p v ~q)^(p^~q)]v[(p v ~q)^(q^~p)]}
[(pv~q)^ (qv~p)]v[(p v ~q)^p^~q]v[(p v ~q)^q^~p)]
[(pv~q)^ (qv~p)]v(p ^ ~q) v q^p^~p
[(pv~q)^ (qv~p)]v(p ^ ~q) v

[(p^~q)v (pv~q)]^ [(p ^ ~q)v(qv~p)]

[(p^~q)v (pv~q)]^ [(p ^ ~q) v q v ~p]

(pv~q)^ [(qvpv~p)]
(pv~q)^

~q

pv~q
q
p
e)

r
~q

~s

~r

~p

~r

~q

~r

~s

(q^r)v(p^~q^r^s)v(r^~s) v(~p^q^~r)v(~q^~r^~s)
[r^(qv(p^~q^~s)] v [~s^(rv(~q^~r)]v[~r^(pv(~p^q)]
[r^(qv(p^~s)] v [~s^(rv~q)]v[~r^(p^q)]
(r^q)v(r^p^~s) v (~s^r)v(~s^~q)v(~r^(p^q)
(r^p^~s) v (r^q) v (~s^r) v (~s^~q) v (~r^(p^q))
(p^(~s^r))v (~s^r) v (r^q) v (~s^~q) v (~r^p^q)
(r^q)v(~s^~q) v (~s^r)v (~r^(p^q))
(r^q)v(~s^~q) v ~s v [(~r^(pvq)]^ r v p v q
(r^q)v~s v [(~r^(pvq)] v (p v q)

(r^q)v~s v p v q

q v ~s v p

~s
f)

~q

~p

~q

(p^q^r)v(p^~q^r)v(~p^~q^r)
(p^r^q)v(~p^r^~q)v(r~p^~q)
[(p^r)^(q^~q)]v(r^~p^~q)
[(p^r)^

V ]v(r^~p^~q)

(p^r)v(r^~p^~q)

r^[ pv(~p^~q) ]

~q

r^ (pv~q)

3. El costo de cada llave de instalacin del siguiente circuito es S/.5. En cunto se reducir el costo de la instalacin si se
reemplaza dicho circuito por el ms simple posible?
p

~q
p

r
{ [(pvq)^(qv~q)]v[(p^q)v(~p^~q)]
}^
{
[p^(pvq)^q]
v
[r^(qv~r)^p]
}
~q
~p

~r

{ [(pvq)^ V ]v[(p^q)v(~p^~q)] }^ [(p^q)v(r^qvp)]

[ (pvq)v[(p^q)v(~p^~q)] ^ (p^q)
{ [ (pvq)v(~p^~q) ] ^ (p^q) }

(p^q)
El costo se reducira a S/.10 (2 llaves)
4.

Halle el resultado (tabla de verdad) de conectar en paralelo los siguientes circuitos:

~q
p

5.

~q

~p

~p

~q

(pvq)^q

{[p^(~qvp)]v~p}~q

{ (p^q)v[(~p^~q)vp)] } ^ p

q v ~q v p

(pv~p)^~q V ^ ~q ~q
{ (p^q)v p^~q } ^ p (pv~q } ^ p p

V v p V (verdadero)

Sea A el circuito lgico ms simple equivalente al circuito

p
~q
p lgico~q
~p
Y sea B, el circuito
ms simple equivalente
al circuito:
p

~r
~s
~t

Construir el circuito lgico simplificado correspondiente a A B

A = [(pv~q)v(~pvq)vq]^ ~p
A=

^ ~p

A = ~p
B = [(p^q)v~rv~sv~t]^ [(p^q)v(p^s^t)] = (p^q)v[(~rv~sv~t]^ (p^s^t)] = (p^q)v[(~rv~sv~t]^ p^s^t]
B = (p^q)v{ [(~rv~t)v~s] ^ s^p^t} = (p^q)v{ [s^(~rv~t)^p^t]} = (p^q)v [s^p^t^(~tvr)]
B = (p^q)v [s^p^t^~r]
A B
~p

{ (p^q)v [s^p^t^~r] }

p v (p^q)v [s^p^t^~r]
p v [ p^(s^t^~r)]
p

p
6.

Hallar la proposicin x ms simple de manera que el circuito lgico siguiente

p
q

p
p

q
q

p
x

Sea equivalente al circuito

(p^q) v {p^[(p^q)v[p^[(p^q)v[p^[(p^q) v x] ] ] ] ] }
(p^q) v {p^[(p^q)v[p^[(p^q)v(p^q) v (p^x) ] ] ] }
(p^q) v {p^[(p^q)v[p^[(p^q)v (p^x) ] ] ] }
(p^q) v {p^[(p^q)v[(p^q)v (p^x) ] ] }
(p^q) v {p^[(p^q)v(p^x) ] ]}
(p^q) v (p^q)v(p^x)
(p^q) v (p^x)
p^(qvx) =p
x=p
ACTIVIDADES PROPUESTAS
1)

"Es inadmisible que, la ballena no es cetceo ni mamfero". Luego

1. La ballena es cetceo adems mamfero.
2. A menos que la ballena es cetceo, es mamfero.
3. Siempre que la ballena es mamfero, no es cetceo.
4. La ballena no es cetceo excepto que sea mamfero.
5. Si la ballena es cetceo, es mamfero.
Son correctas:
a) 1, 2 y 3
b) 3, 4 y 5
c) 1, 2 y 5
d) Todas

2)

"Si hay dinero, hay fiesta", equivale a decir:

a) No hay dinero ni fiesta.
b) Si no hay dinero es obvio que no hay fiesta.
c) No hay dinero excepto fiesta.
d) Dado que hay fiesta, hay dinero
e) No hubo fiesta porque estuve enfermo.

3)

De las proposiciones
I) Del hambre deviene la mortalidad.
II) Hay mortalidad porque hay hambre.
III) Siempre que no hay mortalidad por consiguiente no hay hambre.
Se puede decir que:
a) Slo I y II tienen la misma frmula proposicional.
b) Slo I y III son equivalentes.
c) Slo II y III son equivalentes.
d) I, II y III tienen la misma frmula proposicional.
e) Todas son ciertas.

4)

De las siguientes proposiciones

p ~ q
I)

e) Slo 2.

10

II) ~ (~ p ~ q)
III) ~ (~ q ~ p )
Son equivalentes:
a) Slo I y II
e)Todas

b) Slo I y III

c) Slo II y III

d) Slo I

5)

"Estar con Susy es de la misma forma que estar slo", es equivalente a la frmula proposicional siguiente:
a) ( A B) ~ ( B A)
b) (~ B ~ A) (~ B A)
c) (~ A B ) ( B A)
d) Todas menos a)
e) Slo a)

6)

"Ingres al ISPP MDM" pero en el primer puesto", es equivalente a decir:

1) Ingres en primer puesto y al ISPP MDM.
2) En modo alguno si no ingreso en primer puesto, no ingreso al ISPP MDM.
3) En forma alguna, a menos que no ingreso en primer puesto, no ingreso al ISPP MDM.
Son ciertas:
a) 1, 2 y 3
b) 1 y 2
c) 3 y 4
d) Slo 2
e) Todas menos 2

7)

La proposicin: ~ q p equivale a
1) Es falso que si estoy enfermo, entonces estoy sano.
2) Soy pobre porque no tengo trabajo.
3) Siempre que no llueve, hay cosecha.
4) Si el carro no funciona, no tiene gasolina.
5) Todas las anteriores.
Son ciertas:
a) 1, 2 y 3
b) 3, 4 y 5
c) 1, 2 y 5
d) Slo 2 y 3
e) Slo 5
La proposicin: "No es innegable afirmar que, la condonacin de deudas produzca progreso o bienestar social", equivale
a:
1) A ~ B
2) ~ (~ A B )
3) ~ A ~ B
4) ~ (~ B A)
5) ~ B ~ A
Son ciertas:
a) 1, 2 y 5
b) 2, 3 y 4
c) 1, 2 y 3
d) 3, 4 y 5
e) 2, 4 y 5
Por el mtodo de las tablas determina si cada una de las siguientes frmulas es tautologa, contradiccin o contingencia.
p q r q p r

8)

9)

p q q p

p q p q q

p q r p q p

p q q s

p q s s

10) Disee los circuitos lgicos que representan los esquemas moleculares correspondientes a:
a)

(p^q)v[(q^p^q)v(~p^~q)]

q
q

~p

~q
p

~q
q

~p

~p

~r

~q

~r

s
s

~s
s

11

b)

(pq) (rs)
P

Q
P
~P

c)

(pq)

Q
~Q

(qp)

~(pq) v (qp)

~q

~p

~p

~q

p
r
d)

{[(rvq)^p] v ~r}^q

~r

12