Documente Academic
Documente Profesional
Documente Cultură
PASCUAL CASAN
LÓGICA MATEMÁTICA
EJERCICIOS
LÓGICA DE ENUNCIADOS
Edita;
ÑAU lUbres
Periodista Badía, 10
46010 Valencia
Tel. (96) 3603336
Imprime:
E.C.V.S.A.
Periodista Badía, 10
46010 Valencia
Tel. (96) 3603336
ISBN; 84*7642-235-0
Dép. legah V-3153-1991
índice
Pdg.
P rólogo...................................... 7
1 . Formalizacíón de enunciados............................................ 11
1.1. Enunciado y clases de enunciado.................... 11
1.2. Variables de enunciado............................................................. 12
1.3. Conectores . . ..................................................... 13
1.4. Alcance de los conectores y uso de paréntesis..................... 21
1.5. Reglas de formación de fórmulas............................................. 24
1.6. Equivalencia de los conectores............................................... 25
1.7. Notación p o la ca ..................................................... 29
•1.8, Formalizacíón: ejercicios.......................................................... 32
3. La deducción............................................................................................. 67
3.1. Cálculo de enunciados............................................................. 67
3,1.1. Reglas Básicas.............................................................. 70
a) Reglas básicas de im plicación............................ 70
b) Reglas básicas de conjunción.............................. 74
fi) Reglas básicas de disyunción.............................. 76
d) Reglas básicas de negación.................................... 83
e) Estrategias de deducción mediante Reglas Bá
sicas................................................ 87
3.1.2. Reglas Derivadas..................................... 102
a) Reglas derivadas de implicación.......................... 105
b) Reglas derivadas de negación............................... 106
c) Reglas derivadas de conjunción.......................... 108
d) Reglas derivadas de disyunción.......................... 110
e) Reglas derivadas; de coimplicación................ 113
f) Reglas de interdefinición................... 116
g) Estrategias de deducción con ayuda de Reglas
Derivadas.............................. 120
3.2. Tablas semánticas para la lógica de enunciados................. 133
3.2.1, Reglas de deducción para las tablas semánticas . . . 134
3.2.2. Modo de construir tablas semánticas........................ 137
Bibliografía............................................................................................. 151
Prólogo
1. Formalización de enunciados
Son enunciados;
— El Tuna es un río.
— La catedral de León es gótica.
— El poU-roig es una plaga de los naranjos.
— El Museo del Prado está en Madrid y el Tribunal de las Aguas en
Valencia.
— Si luce el sol, iremos a la playa.
— Los trigales hablan o los cipreses lloran.
No son enunciados:
— ¿Cómo te llamas?
— ¿Cómo está Usted?
— |Hóla!
. t
13
. í
Ejemplos: t
— Machado es poeta p t
— Las rosas son rojas q
— Joan Miró nació en Barcelona
— La nieve es blanca pi
1.3. CONECTORES
Negador “I
Tu escritura es legible Sj
Tu escritura es ilegible Is:
Pedro es barbudo t
Pedro es imberbe "It '"■'y
“ip
V F
F V
Conjuntor a
~ Los mamíferos respiran por pulmones, sin embargo los peces respiran
s
por branquias sa t
p q PAq
V y V
V F F
F V F
F p F
Disyuntor v, w
Disyunción inclusiva v
Para representar la disyunción inclusiva utilizaremos el signo “v”. La
idea que expresa la disyunción inclusiva de dos enunciados es que la ver
dad de uno de los dos componentes de la disyunción no excluye la Wrdad
simultánea del ptro
Ejemplos;
Dentro de este caso cabe una persona que tenga barba y al mismo
tiempo lleve gafas.
mente la cosecha p vq
P >q pvq
V V
P V
V V
p F
Di^^ncjónexclusivayf
Para representar la disyunción exclusiva utilizaremos el signo “w”, aun
que también suele utilizarse el signo —< ” 'y el signo
La idea que expresa la disyunción exclusiva de dos enunciados es que Ja
yfirdad de uno de los dos componéntes de la disyunción excluye la verdad
simultánea del otro.
Ejemplos:
^En este ejemplo queda bien clara la exclusión simultánea de dos creen
cias religiosas. Antonio sólo puede pertenecer a una de estas dos religio
nes,'pero no a ambas a la vez.
1
r'i
17
r-
A
El lugar de nacimiento en una ciudad excluye la otra
A
DEFINICION DEL w: Una disyunción exclusiva es verdadera cuando A
uno ,de sus dos componentes es verdadero y el otro falso, y falsa en todos
losjiem ás casos. De aquí que los valores de verdad de ía disyunción exclu
A
siva en forma de tabla son: A
4
í
P q p wq
F
V
V
F
3 i
18
Implicador -*■
Es el signo que representa las partículas “si ... entonces” del lenguaje
ordinario o cualesquiera otras que encierren la idea de condición, tales
como “sólo s i ... entonces”, “cuando ... entonces”, etc.
Para representar la implicación utilizaremos el signo aunque tam
bién suele utilizarse el signo “O”.
En la formalízación de tales enunciados, la partícula “sí" introduce el
antecedente, mientras que la partícula “eñtdrices” (que en el lenguaje
ordinario puede ,ir elíptica) introduce el consecuente. Así, un enunciado
tal como “si acierto una qiíiniela, mecharé “acierto una quiniela”
(p) es el antecedente y es una condición mficientey aunque no necesaria,
para que se dé “me haré rico” (q|^ que se convierte de esta manera en el
consecuente; es decir, si se da el añtecieidente se debe dar el consecuente;
pero éste, el consecuente, puede darse sin que se dé eí antecedente: yo
puedo hacerme rico sin que haya acertado una quiniela; por ejemplo, me
diante una herencia, uñ donativo por parte de cualquier filántropo, tocán
dome la lotería, etc. Formalmente el enunciado quedaría así
pH-q
q -f p
Ejemplos.
p-»- q
V V V
V F F
vF V V ■
P F V
Coimplicador
Es el signo que representa la partícula *]si y sólo si” del lenguaje ordina
20
rio ,0 cualquier otra que encierre la idea de una doble condición o bicon-
dicional, tal como ‘'equivale a”, “cuando y solamente cuando”, etc.
Para representarla coimplicación utilizaremos el signo aunque tam
bién suele utilizarse el signo “s".M edianteelcoimplicadorlo quesepreten
de poner de manifiesto es que un enunciado es a la vez condición necesaria
y suficiente para otro. De esta manera en un enunciado tal como “si y sólo
si acierto una quiniela, me haré rico”, recordemos que la partícula “si”
introduce el antecedente (por tanto, p -> q), la partícula “sólo si” el conse-
•cuente (por tanto, q p), y la partícula “y” la conjunción de ambos con
dicionales; así pues, la formalización del anterior enunciado sería:
ÍP-+ q) A (q-> p)
o mejor:
"Iq
/*■
r
Esta coimplicación es la denominada bicondicional o equivalencia mate
rial.
ñ
Ejemplo 1: pAq r
Ejemplo 2: pAq “1r V s r
lo cual podría ser ambiguo y en el peor de los casos incorrecto. Con el fin
de evitar estas deficiencias hace falta recurrir al uso de paréntesis. De esta
manera la formalización correcta seguiría los siguientes pasos:
Ejemplo 1:
A) El primer enlace se realiza entre los enunciados “El abono es ade
cuado" y “El riego se realiza en su momento" que se enlazan me r r
diante una conjunción. Por tanto, p a q,
B) Este enunciado molecular se enlaza ahora con uno atómico, “ La co-
22
Ejemplo 2 :
A) El primer enlace se realiza entre los enunciados “Tenemos la maña
na libre" y “Hace buen tiempo". Al ser una conjunción, su formali
zación sen'a p a q. Pero lu ^ o , y a un mismo nivel, también hay
enlazados otros dos enunciados atómicos, “Nos quedemos en
casa" y “ Veamos el programa de televisión", unidos por ima dis
yunción; por tanto, su formalización sería r v s,
B) El segundo de los dos enunciados moleculares así constituidos apa
rece negado; por consiguiente, deberíamos escribir ~l (rv s).
C) Observemos ahora que el primer enunciado molecular viene pre
cedido todo él de “si", y, por tanto, es el antecedente de una
implicación, y que la negación del segundo enunciado molecular
tiene precedida de “entonces", lo cual la convierte en el conse
cuente de dicha implicación. De esta manera obtendremos;
(p A q ) “í (r V s)
E ción de los distintos enunciados, dominan sobre los otros, evitando así
cualquier p ‘sible ambigüedad o incorrección.
El uso de los paréntesis en lógica se rige por las mismas reglas que en las
matemáticas. No obstante, en ocasiones se adoptan determinadas conven
ciones para ahorrar paréntesis. En general suelen adoptarse las siguientes
convenciones;
P Vq V r V s
23
p Aqvr
pvqA rvs
p Vq Vr A s
p A (q V r) ó (p A q) V r
(p v q )A (r v s) ó í(p V q) A r]f V s, ...
(p V q V r) A s , ...
1. p ^ q
2. “Ip +-*■ q A r A s
3. ”l”Ip A q “»■*1a r
4. p (q A -+) V"Ip
b) Una fbf precedida del conector *1* es una fbf. Así, I p , “)q, “)r;
son fbfs.
c) Una fbf seguida por cualquiera de los conectores *a ’, ‘v’ *-*■' y
seguido de una fbf, haciendo uso correcto de los paréntesis, es
una fbf. Asi, p -+ q, “Ip a “Iq, p v *lq, p +-»■ q, p*+ "Uq v r ) , s o n
fbfs.
Toda fórmula que. cumpla sólo la cláusula (a) es atómica, mientras que
las fórmulas que cumplan alguna de las cláusulas (b) — (c) son molecu
lares.
En lo sucesivo, cuando hablemos de fórmula, nos estamos refiriendo
a fbf.
Hasta ahora hemos estudiado seis conectores: uno monádico (el nega-
dor) y los otros cinco diádícos. Podríamos preguntamos si con ello se
agota el repertorio de conectores para la lógica bivalente, que es la que nos
ocupa. La respuesta es no. Los conectores monádicos son cuatro, mientras
que los conectores diádicos son dieciséis. Hay, pues, un total de veinte
conectores en lógica bivalente. El m odo'de obtenerlos es aplicando la
fórmula: C = 2^ donde C es el número de conectores y n el número de
enunciados. De esta manera, si contamos con un sólo enunciado, entonces
C = 2^ = 4, y si son dos los enunciados, entonces C = 2^^ = 16.
17 18 19 20
p n
V V F V F
F F V V F
Ahora bien, el interés por estos conectores sólo es teórico. Puesto que
todos ellos pueden reducirse a cinco y puesto que resulta más cómodo y
trabajar exclusivamente con estos cinco, en la práctica se utilizan úni
camente cuatro conectores diádicos (conjuntor, disyuntor inclusivo, impli
cad o r y coimp líe ador) y uno morufdtco (negador).
Veamos algunos ejemplos de reducción de conectores;
El conector 7, C7 , puede reducirse a (p a q) v (p a 1 q), como lo prue
ban sus respectivas tablas:
p q C7 P q "iq ( p A l q ) V (pA"lq)
V V V V V F V V F
V F V V F V F V V
F V F F V F F F F
F F F F F V F F F
CD Í2 ) (3) (-t) Í6 ) C5)
P q p wq P q "Ip nq (P A Hq) V O p a q)
V V F V V p F F F F
V F V V F F V V V F
F V V F V V F F V V
F F F F F V V F F P
El conector 14, Cj^, es reducible a (p a “Iq) o bien a “l(p -»• q), como lo
prueban sus tablas:
V V F V V F F V V F V
V p. V V F V V V F V F
F V F F V F F F V F V
F F F F F V F F F F V
íl) (2) Í3) (4) (1) (2) (4) (3)
P C)7 P p AP
V V V V
F F F F
V V V F V V V
F V F V ■V F ,v
a) el negador y el disyuntor, o
b) el negador y el conjuntor, o
c) el negador y el implicador.
28
V V V V V F V F V F F V
F F V F F V F V F V F V
F V F F V V F F F V V V F
F F V F F V V V F V F F V
V V V V V F V F
V F F V F V F V
F V V F V F V F
F F V F P V V F
(1) (2) (3) (5) (4)
29
p q p A q P q “Iq 1 (p-lq)
V V V V V F V F
V F P V F V F V
p V F F V F F V
F F F F F V F V
Como ya hemos indicado antes, no todos los autores emplean los mis
mos símbolos para designar la misma relación. Así;
80
Negador “Ip -P ,~ P
Conjuntor p^ q p^q,p-q
Implicador P-». q p Dq
Coimplicador p q p = q
1) p v Hp
ApNp
2) p-»- q V r
CpAqr
3) pAq qA p
EKpqKqp
4) li p - * - p
CNNpp
5) p l “lp
EpNNp
6) (p -»• q) A (q r) (p -»■ r)
CKCpqCqrCpr
9) O P vq) A p-*- q
CKANpqpq
10) (p q) (p wHq)
EEpqJpNq
11 ) - l ( p ^ q) H (p w q)
ENEpqJpq
P Aq
[Los animales son seres vivos (p) y las plantas son seres vivos (q)], *
p A Hp
[El fenómeno de la nutrición separa los seres vivientes (p) y los
seres no Vivientes (“Ip)!*
33
[Si tienen la misma dirección (q), entonces dos rectas son paralelas
(P)l.
p Aq rA s
[(La suma de sucesiones positivas es una sucesión positiva (p) y el
producto de sucesiones positivas es ima sucesión positiva (q)) si y
sólo sí (la suma de dos números reales positivos es un número real
positivo (r) y el producto de dos números reales es un número real
positivo (s) )],
5 ) p A ~!q-^ r
[Sí perseveras en tus decisiones (p) y no cedes al desaliento frente
a los obstáculos (*lq), entonces comprobarás cómo el éxito te son
ríe (r)l.
6 ) Si Frankestein cruza nuestras calles, ha de indicar qué y cuántos
fines persigue, y si miente, le daremos con las puertas en las na
rices, pero si dice la verdad, le invitaremos a cenar.
(p q A r) A (“1 t) A (s “> w)
[(Si Frankestein cruza nuestras calles (p), entonces ha de indicar
qué fines persigue (q) y cuántos fines persigue (r)), y (si rniente
(si no dice la verdad) (~ls), entonces le daremos con las puertas en
las narices (t)) y (si dice la verdad (s), entonces le invitaremos a
cenar (w))].
q p Ar
[Si el oxígeno es perjudicial (q), entonces el nitrógeno se usa (p)
y reemplaza (r)J.
16) Las lluvias pueden volver o no, pero cuando nosotros estemos lejos
del tiempo y del espacio querremos volver a los años de juventud.
(p v l p ) A (q A r -+t) L a s llu v ia s pueden vo lve r. ........................... p
Estem o s lejo s del tie m p o .............................. q
Este m o s lejo s deí e s p a c io ........................ r
Q uerrem os vo lve r a lo s años. t
" lq - > “ Ip
~ l( q A r ) A n to n io ha c o p ia d o ........................................q
Luisa ha copiado,.................................. r
“ iq A ^ r
" iq ^ p
p.vq
p *+ q A (r V s)]
L o s elefantes se fu ga n ....................................p
E l dom ador se quedará tris te ..................... q
o. también L o s payasos rom perán el s a x o ............... r
L o s n iñ o s rom perán el saxo .... s
L o s elefantes v u e lv a n ................................ t
P l(q A ( r v s ) ) v t ]
32) Si la noche es ciara, Drácula agitará sus alas y afilará sus dientes.
Si agita sus alas y encuentra mi ventana abierta, pasará, me des
pertará, pero le daré un fuerte tirón de orejas. Si afila sus dientes y
la encuentra cerrada, montará en cólera, romperá los cristales y le
daré un fuerte tirón de orejas. Así pues, si la noche es clara y ¿rá
cula encuentra la ventana ábierta o cerrada, le daré un fuerte tirón
de orejas.
^ L a noche es c la ra . .......................................... p
p q A r, D rá cu la agitará sus a la s ...............................q
q A S-+tA W A m , A ffla iá sus d ie n te s....................................... r
E n cu e n tra m i ventana a b ie rta .................. s
r A t s ^ ^ n A K A in L a encuentra cerrad a (n o a b ie rta ). . , .1 s
l—p A (s V 1 s) m Pasará................................................. t
M e d e sp e rta rá ..................................................w
L e daré u n tiró n de o re ja s .......................... m
M ontará en c ó le r a ..........................................n
R o m p e rá lo s c ris ta le s ................................ k
^ (q ■nr),
"Ir- s, L a pena de m uerte antepone la delensa , p
Su p o n e la d e stru cció n to ta l de la . . . . q
Hq A I r s P o s ib ilita la co rrecció n d e l....................... r
E s condenab le éticam en te....................... s
R
39
(q V r),
L o s h ab itan te s de V en u s invaden . . . . p
q-VT L o s hom bres se p on drán n ervio so s . . . q
h-p ^ r L a s m ujeres se en tu siasm arán ............... .. c
9 36) Si las autoridades prohíben fumar.en pipa a los feos, entonces los
guapos alzarán indignados porque no venden pipas. Si los gua
pos no venden pipas o las autoridades crean huevos puestos de
trabajo, entonces la nación no saldrá de la crisis económica. La
nación sale de la crisis económica y los guapos no venden pipas.
Por lo tanto, las autoridades no prohibirán fumar en pipa a los
feos.
Al final del apartado 1.7 hemos visto una serie de argumentos que,
al ser formalizados, nos han permitido obtener sus respectivos esquemas
de inferencia. Puesto que la lógica se ocupa de las inferencias formalmente
válidas, es preciso distinguir entre las formas de iiiferencia válidas y las no
válidas. Existen varios métodos o procedimientos para decidir la validez in
ferencia!, y entre los principales se encuentran las tablas de verdad, reduc
ción al absurdo y formas normales,
on na
valores F, seguidos d e v a l o r e s V, seguidos de — valores F.
4 4 'I
nn
En la tercera columna los valores se distribuyen ~ valores V, se- i
guidos de — valores F,..,, y así sucesivamente,
i
8 i
En la última columna la distribución será una alternancia de V y F. 'i
Así, en la fórmula p a 1q->- q vHr, que tomamos como ejemplo
antes, como contiene tres variables distintas, el numero de filas será
2^ = 8, y la distribución de los valores de verdad nos dará lo si
guiente; -i
I
o3 q3
La columna (1) resulta d e -^ valores V, seguidos d e— valores F.
2 2
03 q3
La colum na (2) resulta d e — valores V, seguidos de — valores F , e t c ,
4 4
La columna (3) es una alternancia de valores de verdad V y F,
Ahora se cubren las columnas encabezadas por variables negadas po
niendo simplemente la negación de los valores de verdad de la variable
inicial;
46
V V V F F
V V F F V
V F V V F
V F F V V
F V V F F
F V F F V
F F V V F
F F F V V
Obsérvese que las columnas (4) y (5) son la negación de la (2) y la (3)
respectivamente.
V V V F F F V V
V ■V F F y F V V
V F V V F V F F
V F F V V V V V
F V V F F F V V
F V F F V F V V
F F V V F F V F
F F F V V F V V
(p-f q)-í- O q - t- n p)
V V F F V V V
V F F V F V F
F V V F V V V
F F V V V V V
( p v q ) /L (p -f q)
p q (P vq) A (P*^ q)
V V V V V
V F V F F
F V V V V
F F F F V
V V V F F V V V F F V V F F F
V V F P F V V V F F V F F F P
V F V F V F V V F F F F F F F
V F F F V F V V F F F V P F F
F V V V V P V p V F F F F V V
F V F V V F V V F F F V F V F
F F V V V F V p V F F F F F F
F F F V F V V F F F V F F F
V
CD (2) (3) Í4) C5) (9) (8) (7) (1 5 ) (10) (11) (1 4 ) (12) a 3)
T C O N T R A D IC C IO N
/"I
49
V V V F V F V F V V V V
V V F V V V V V V F V F
V F V F F V F F V V V V
V F F V F V V V V F V V
F V V F F V F F V V V V
F V F V F V V V V F V F
F F V F F V F F F V V V
F F F V F V F F F V V V
(1) (2) (3) (4) (5) (6) m (9) (7) (8) (12) (11)
T A U T O L O G IA
■■■f
(
c
(
fio
(q A r *+ n p) (r V s ^ p V q)
p q r s Hp (q A r -^ 1 p ) ^ (r Vs p vq)
V V V V P V F F V V V
V V V F F ^V F F V V V
V V F V F F V V V V V
V V F F F F V V F V V
V F V V F F V V V V V
V F V F F F V V V V V
P
V F F V F F V V ■ V V V
V F F F F F V V F V V
F V V V V V V V V V V
P V■ V F V V V V V V ■ V
F V F V V F V V V V V
F V F F V F V V F V V
1
F F V V V F' V F V F F
F F V F V F V F V F F
F F F V V F V F V F F
F F F F V F V V F V F
CONTINGENCIA
51
V V V V V F F F V V V V V F V F
V V V V F F F F V V V V V F V F
V V V F V F F V V V V V V V V V
V V V F F F F V V V V V V V V V
V V F V V F F F F F V V V F V F
V V F V F F F F F F V V V F V F
V V F F V F F V F F V V V V V V
V V F F F F F V F F V V V V V V
V F V*V V F V F F F V V F V F F
V F V F V F. V F F F V V F V F F
V F V V F F V V F F V V V V V V
V F V F F F V V F F V V V V V V
V F F V V F V F F F V V F V F F
V F F F V F V F F F V V F V F F
V F F V F F V V F F V V V V V V
V F F F F F V V F F V V V V V V
F V V V V V F F V V V V V F V V
F V V V F V F F V V V V V F V V
F V V F V V F V V V V V V V V V
F V V F F V F V V V V V V V V V
F V F V V V F F V F V V V F V V
F V F V F V F F V F V V ■ V F V V
F V F F V V F V V F V V V V V V
F V F F F V F V V F V V V V V V
F F V V V V V F V F V -V V V V V
F F V V F V V F V F V V V V V V
F F V F V V V V V F V V V V V V
F F V F F V V V V F V V V V V V
F F F V V V V F V F V V V V V V
F F F V F V V F V F V V V y V V
F F F F V V V V V F V V V V V V
F F F F F V V V v F V V V V V V
(1) (2) 0 ) C4] (S) (6) C7) (10} 9) (1« ai) (13) (12) (15) (14)
TAUTOLOGIA
A través de estos ejemplos se advierte claramente que cuantas más va
riables enunciativas posea una fórmula, tanto más lento y laborioso será
el proceso de formación de su correspondiente tabla de verdad.
52
(p-*- q) A q-^ p
(P q) A q
Cp q) A q p
(p q) A q p
V F F
1 3
‘■m
53
(p q) A q
V V V F F
2 5 13
(p q) A q
F V V V V F F NO VALIDA
7 4 6 2 5 1 3
(P A q) A ( p v r) q
m
(p A q) A (p V r) ^ q
(P A q) A (p V r) ->■ q
m
Paso S.** Puesto que la implicación (1) es falsa, si su antecedente es m
verdadero y su consecuente falso, podemos escribir:
(p A q) V (p V r)
V F F
1 3
Pito 4,“ La conjunción (2) es verdadera si sus dos miembros son ver
daderos:
íp A q) V (p V r) -> q
4 2 5 1 3
Paso 5,° Los dos miembros de la conjunción (4) han de ser verda
deros:
Cp A q) V (p V r)I q j
T f If I S VALIDA
6 4 7 2 1 3 )
Interrumpimos el proceso, pues entre (7) y (-3) ha surgido una
contradicción y podemos, por tanto, afirmar que se trata de
una fórmula válida; de ahí que hayamos escrito “VALIDA” a
la derecha del casüiero.
ÍP ^ q) A (q V r) A n q (r A "[ p)
(p -» q) A íq V r) A ~i q (r a 1 p)
(p -> q) a (q V r) a “I q (r a “I p)
c a
55
(p q) A (q V t) a "1 q -»■ (r a 1 p)
V V |v| Ivfv
5 2 6 3 7 1 4
(p q) A (q V r) A “1 q (r a “I p)
vi f [v m v | v |f í f
5 9 2 10 6 3 7 8 1 4
Paso 6 “ Pero, si q es falso, el antecedente de la implicación (5) tam
bién es falso, mientras que el segundo miembro de la dis
yunción (6) ha de ser verdadero:
ÍP -> q) a (q V r) A ~1 q -» (r a ~l p)
f Iv í f Iv l f Iv I’^ I v If If I If I T ~
1159 2 1 0 6 1 2 3 7 8 1 4
(p ^ q) A “1 (n q V r) q
(p q) A “1 (1 q V “1 r) -> q
I I I i r i r i i- 1 I T I
56
(p q) A 1 (1 q V “I r) -í- q
If If
2 1 3
(p ^ q) A "1 (“1 q V “I r) q
Iv jv l Fl
2 4 1 3
Paso 5." Para que la disyunción (6) sea falsa ambos miembros han de
ser falsos; pero, como se da el caso de que aparecen negados,
la negación será falsa, y tanto q como r serán verdaderos;
(p q) A “1 (“I q V n r)
□ v ] VV F V F F V F VALIDA
6 4 7 9 6 8 10 1 3
1 p
2 Hp
3 p v q V “Ir
4 pA q
5 (p V q) A r
6 Cp V q) A (p v “lp) A (p V q V“¡q V r)
7 (p V Up) A(q V “1q V r) A (p V r v “lr),
1 P
2 1p
3 p Aq
4 p V q v “l r
5 (pAq)vr
6 (p A “1p) V(q A n q A r) V (p A r A “1r)
7 (p A q) V ( p A,n p) V(p A q n q A r)
Modo de obtener la FNC.'Para lograr que una fórmula esté en FNC hay
que realiEarlas siguientes transformaciones:
A AA A Idempotencia de a
A VA A Idempotencia de v
AAB B AA Conmutativa de a
Av B B vA Conmutativa de v
Modo de obtener la FND. Para lograr que una fórmula esté en FND hay
que realizar las siguientes transformaciones;
A a ( B v C) ( A a B ) v ( A a C) Distributiva de a en V
“ 1. (p-^ q) A p-* q
2. 1 í(p-^ q) A P A "I q]
(Definición de -*■ mediante a y 1 en 1).
3. " i n C p A 1 q ) A p A l q l
(Definición de ^ mediante a y "l en 2).
60
4. “I | n p V n “t q) A p a “1q]
(Primera de De Morgan en 3).
5. 1 [(“1p vq ) Ap a "I q]
(Doble negación en 4).
6. “1(“1p V q) v i p v i l q
(Primera de De Morgan en 5).
7. ( 1 1 p A l q) v i p v i l q
(Segunda de De Morgan en 6).
8. ( p A l q ) v l p v q
(Doble negación en 7).
(p V1 p v q) A (1 q V1 p V q)
(Distributiva en v en a en 8).
(FNC) 10. (p V1 p V q) A (1 p V q v 1 q)
(Conmutativa en 9).
— 1, (p q) (1 q 1 p)
2. 1 (p -»■ q) v (1 q ^ 1 p)
(Definición de mediante v y 1 en 1).
3. ,1 (1 p V q) v ( l l q y l p)
(Definición de mediante v y 1 en 2).
61
4. n i p A “l q ) v n “l q v “lp)
(Segunda de De Morgan en 3).
5. ( p A l q) v ( q y l p)
(Doble negación en 4),
6. (p v q v i p) a {1 q v q v l p)
(Distributiva de v en a en 5).
— L (p-^q)Aq-^p
2. “I [p-> q) Aql v p
(Definición de -> mediante v y ~1 en 1).
3. 1 [(“] p v q ) Aq] v p
(Definición de mediante v y 1 en 2).
4. “1(“1 p V q) V“t q V p
(Primera de De Morgan en 3).
5. (“11 p a “! q) v i q V p
(Segunda de De Morgan en 4).
6 . (p A l q) v i q V p
(Doble negación en 5),
62
7. (p V n q V p) A n q V "1 q V p )
(Distributiva de v en a en 6).
(FNC)8. (p v “¡ q) a (p v i q)
(Idempotencia y conmutativa en 7).
— 1. ( ~ l p v “l q - » - p A r ) A ( s v t )
1 ( p v q ) A(q-^ r) ■+ (“1 p v r)
TABLA DE VERDAD
V V V P F V F V V V
V V F F F V F F V F
V F V F F V F V V V
V F F F F V F V V F
F V V V F V F V V V
F V F V F V F F V V
F F V V V F V V V V
F F F V V F V V V V
REDUCaON AL ABSURDO
1 (p V q) A (q r) ^ (“I p V r)
En
Paso 2 ° Supongamos que la fó rm u la es falsa:
1 (p V q) A (q r) (“1 p V r)
64
“1 (p V q) A (q n P V r)
“1 (p V q) A (q ("1 p V r)
V V V F F
“i (p V q) A (q ->■ r) -> (1 p V r)
V F
“i (p V q) A (q r) ^ (1 p V r)
VlF(F| FjV I VI } f 1 F1 | f 1 F
4 7 6 8 2 5 1 9 3 10
Paso T,*" Puesto que la negación (9) es falsa, la fórmula afectada por
ella es verdadera:
~i (p V q) A (q ^ r) (n p V r)
V F F F V V F F V F F VALIDA
4 7 6 8 2 1 9 U 3 10
FOKMA NORMAL
4. “l “I (p V q) y “l (“i q V r) V (~1 p V r)
(Primera de De Morgan en 3).
5. “! “1 (p V q) V (n ~l q a ^ r) v (“1p v r)
(Segunda de De Morgan en 4).
6. (p V q) V (q A"1 r) V (“1p V r)
(Doble negación en 5).
7. ( q A “l r) v ( p vq) v("l p vr)
(Conmutativa en 6).
8. ( q v p v q v " l p v r ) A ( n r v p v q v “l p v r )
(Distributiva de v en a en 7).
(FNC) 9. ( p v “l p v q v r ) A ( p v * 1 p v q v r v “lr)
(Idempotencia y conmutativa en 8).
i.
ft
p‘
3, La deducción
1 p A í - TAS
2 Q^t
3 qAw h p -+ s
4 q Simpi 3
5 t MP2,4
r6 p
7 pAt Prod 6,5
8 rA s- MP 1,7
t-9 s Simp2 8 m
10 p-+ s TD 6-9 m
m
m
Para designar los supuestos subsidiarios utilizaremos un corchete coloca
do a la parte izquierda, que comienza en la línea donde se introduce el m
supuesto subsidiario y termina en la línea en que se cancela dicho su
puesto.
Hay que tener en cuenta que cuando se introduzcan dos o más supues
tos subsidiarios, los corchetes de cancelación no deben interferirse.
■SI SI NO NO
c
rE
h P ^ ( q -»■ p A q)
l
I» 70
^1) —1
—2 ^ O
- 3 P Kr
\ ^ 1
4 q MP 1,3
5 T MP 2,4
.2 ) —1 p A ^ i- + r,
O
A ~ 2 r y N
—3 pAq 1—s
4 r M P1,3
5 s MP2,4
71
X 3) - 1 p V g -»■ r
-2 r ^ 5 AÍ
-3 P vq i—S A í
4 r MP 1,3
5 SA t MP 2,4
fi4 ) -1 p -+ q
—2 P
__3 q -»■ r
—4 s i—s
5 q MP1,2
6 r M P3,5
7 s MP4.6
.v 5 ) - 1 p -> q A r
- 2 q A r-*~ s
~3. t
~4 P i—t
5 q Ar MP 1,4
6 s MP2,5
7 t MP 3,6
6) -1 Ir
—2 (1p V n q ) ( I r -*- ”ls)
-3 “Ip v “lq l-~ ls
4 "Ir-* Hs MP 2,3
5 “Is MP 4,1
K ?) -— 1 r vs
—2 p -»■"Iq V r
~3 (p->-“l q v r ) ^ ( r v s - » - íA “Is) 1—t A ”ls
4 T V s ^ t A "Is M P3,2
5 t A “Is MP 4.1
72
B
A -> B
£sta r^ la p ermite iirtroducir tí impHcador, y nos dice que si en U-
derivación introducimos un supuesto, Á, del que derivamos
la conclusión B en otra linea, entonces podemos escribir A B en una
nueva línea.
EJERCICIOS:
-1 p^q
f —2 g^ r 1—p ^ r
P
4 q MP1,3
r M P2,4
6 p-t- r TD 3-5
f .9 ) - 1 p-*q
- 2 q~* r A t
f ~ 3 rAt-*s
- 4. s-*-1 1—p.-+ t
- 5 P
6 q MP1,5
Jr r A t MP2,6
8 s MP3,7
- 9 t MP 4,8
10 p-^ t T D5-9
VlO) -1 p-f QA r
-2 q A r*+ s v t
V il) -- 1 p -»■ q A r r
- 2 q A r~* s v t r
-3 sv t ^ w A m I—p -»• w Am r
-4 P
5 qAr M P1,4
6 svt M P2,5
-7 w Am MP 3,6
8 p -> w A m TD 4-7 n
n
12) “ i p A q -»■ r
n
“ 2 r-+ 5 A í
-3 S A f ^ lÜ f—p A q ->■ u; (
p4 PA q
"1
5 r M P1,4
6 SA t M P2,5
~7 w MP 3,6 ■'1
8 p A q -»■w TD 4-7 i
1
v i2 ) -- 1 ~ lp -+ ( q r V s) I—q ->■ (1p 'I
— 2. q
-3 “tp
4 q ->■ r V s MP 1,3
-5 r Vs MP 4,2
—6 "I p -+ r V s TD 3-5
7 q->“ n p - > r v s ) TD2:6.
^14) —
- 1 P-^ (q-^ (r-> s)) q -*■ (r-
-----2 q
—3 r
-4 P
5. q -*■ (r-^ s) MP 1,4
6 r-»- s MP 5,2
L-7 s MP 6,3
—8 p-> s TD 4-7
-----9 r -+ (p s) TD 3-8
10 q -> (r (p ^ s)) TD 2-9
74
\
R9gta$ básicas de conjunción: (a)
3 . Simplificación (Simp) (Sim pi), (Simp2)
A B
£¡stA regla permite eUmínar el conjuntor y nos dice que si en una línea
de uña derivación tenemos una conjunción de dos enunciados, A a B, po
demos escribir cualquiera de sus miembros en una nueva linea.
EJERCICIOS:
/1 5 ) —1 q
-2 q~* r A s
- 3 pAr h“ s
4 P Simpi 3
5 q M P1.4
6 rA s M P2,5
7 s Simpa 6
- 1 p “*■g AT
-2 r-* s A t 1—p f
p -3 P
4 qA r M P1,3
5 r Simp2 4
6 SA t MP 2,5
—7 t Simpa 6
8 p-+-t T D 3-7
?^17) - 1 p^qA t
-2 SA t
-3 p As 1 -í
4 P Simpi 3
5 qA r MP 1,4
6 r Simpa 5
7 SA t M P2,6
8 t Simpj 7
75
18) - 1 p A Q ^ i p ^ r A s )
~ 2 í A (p A g) 1—S
. 3 PA q Simp2 2
4 p -*■ r A s M P1,3
5 P Simpi 3
6 FA S MP 4,5
7 5 Simp2 6
3 in p Simpi 1
4 n n q A“l"lr M P2,3
5 n A “Is Simpa 1
6 n iq Simpi 4
7 tA " lS MP 5,6
8 “Is Simpa 7
i ,
t
4. Producto (Prod) A
B
A aB
EJERCICIOS:
^^20) - 1 p -*■ g A r
- 2 g A r svt
- 3 S V t -+ lü
- 4 P. !—p A lü
5 qAr M P1,4
6 svt MP 2,5
7 w M P3,6
8 P AW Prod 4,7
76
<21) - 1 p 9Ar
- 2 P
- 3 s\ i Hq A s
4 qAr MP1,2
5 SA t M P3,2
6 q Siníp, 4
7 s Símpi 5
8 qAs Prod 6,7
/ 22) - 1 p \ q~* T
—2 P
—3 Q
—4 q-t-S i—TA S
5 pA q Piod 2,3
6 r M P1,5
7 s MP 4,3
8 TAS Piod 6,7
>' 23) ~ 1 p ^ (q r) A ( r - ^ ls )
—2 (“Ir vs) A (p j\ p q -►í)) 1—P q
3 PA P q -í-t) Simpa 2
4 P Simpi 3
5 (q -> r) A (r-^ 1 s ) MP 1,4
6 "Iq-* t Simpi 3
7 r^ H s Shnp2 5
8 n q “>■t) A (r -►Is) Prod 6,7
,<24) “ 1 ( p - ^ l g ) ^ p s - * t)
” 2 "Ir-^Hp
- 3 (r -v 1 í) A (p -> n q ) 1 -p s-» í ) .
4 p-> Hq Simpa 3
5 MP 1,4
6 p S-* t) A p r-^ “Ip) Prod 5,2
-i
77
Este regla permite introducir el disyuntor, y no's dice que si en una línea
de una derivación tenemos un enunciado. A, entonces podemos escribir '■■i
en una nueva línea dicho enunciado unido mediante el disyuntor a otro
i
enunciado cualquiera, así A v B.
i
EJERCICIOS:
V 25) - 1 rA
“ 2 ta t h- "iq V ("Ir H í)
3 iq M P1,2
4 ~lq V (“Ir-*- t) Adi 3
^26) - 1
— -s
-2 p A r 1- (q A p) V
3 r Simp2 2
4 s M P1.3
5 (q A p) V s A ái 4
x27) —1 pA g rA s
—2 <7 l—p -»■ S V f
p 3 P
4 pAq Prod 3,2
5 TAS M P1,4 '
6 S Simp2 5
L -7 S Vt Adi 6
S p S Vt T D 3.7
. V28) -— 1 p V q *+ r
—2 p As l-r v í
3 P Simpi 2
4 p vq A d| 3
5 r M P1,4
6 r Vt Adi 5
- 78
yJ 29) “ 1 r-*- p A q
- 2 p A m-* s
- 3
- 4 rA t 1—s vn
» 5 r Simpi 4
» 6 pA q MP1,5
1 7 q Simpa 6
k 8 m MP3.7
w
aw 9 P Símpi 6
10 pA m Prod 9,8
11 s MP2,10
► 12 s Vn Adt 11
A vB
—A
-C
r— B
1 Esta regla pennite eliminar el disyuntor, y nos dice que si en una línea
j de una derivación tenenros una disyuno'ón, A v B, y en otra línea intro-
- ducimos -el supuesto A, primer miembro de la disjninción, del que se sigue
I la conclusión C, y en otra línea introducimos el supuesto B, segundo
; miembro de la disyunción, del que se sigue la misma conclusión C, enton-
; ces podemos escribir C en una nueva línea.
79
EJERCICIOS;
;{K ^ p v"tg->{q v r) A O s v l í )
- 2 q -»• s
- 3 r-»- s i—p ^ s
---- 4 P
5 p v"Iq Ad, 4
6 {q V r) A (“Is V n t ) M P1,5
7 q Vr Simpi 6
q
L 9 s MP 2,8
p ío r
L li s M P3,0
— 12 s Cas 7,8-9,10-11
13 p-^ s TD 4-12
4 P Simpj 2
5 q Simpi 3
6 p Aq Prod 4,5
7 r vs M P1,6
8 r-+ t Simpj 2
9 s t Símpi 3
p ío r
L ii t MP 8,10
r l2 5
L 13 t MP 9,12
14 t Cas 7,10-11,12-13
so
32) “ 1 r p Vg
" r — 2 P .
- 3 q-*- m
- 4 rAt 1—5 V m
5 r- Simpi 4
6 p vq MP1,5
P
8 s MP2,7
_ 9 s Vm Adi 8
-1 0 q
11 m MP3,10
— 12 s Vm Ada 11
13 s Vm Cas 6,7-9,10-12
^ 33) - 1 p vq
- 2 p -*■r
- 3 r -* $
- 4 q^ t
~ 5 t s l—5 Vm
r- 6 P
7 r MP2,6
^ 8 S MP 3,7
~ 9 q
10 t MP 4,9
L -1 1 s MP 5,10
12 s Cas 1,6-8,9-11
13 s Vm Adj 12
.. r-34) - 1 p Vq r
— 2 r V í -> s A m h* p ^ 5 V «
— 3 P
4 pvq Adi 3
5 r MP1,4
6 r Vt Adi 5
7 sAm MP,2,6
8 s Simpi 7
~ 9 s Vn Adi 8
10 p s vn TD 3-9
J
81
i
35) - 1 p Aq rvs «
')0 :V
- 2 P'^Q
- 3 p A (r-* t A m)
— 4 s-*^ n A o h - í Vn
5 p Simpi 3 tí
6 q M P2,5
7 PA O Prod5,6
8 r Vs M P1,7
9 r->- t A m Simpa 3
r -1 0 r
11 t Am MP 9,10
12 t Simpi 11
— 13 tv n Adj 12
14 s
15 nAo M P4,14
16 n Simpi 15
17 tv n Adj 16
18 tv n Cas 8,10-13,14-17
36) - 1 p A (q Vr)
- 2 q A p -»■s
— 3 p v r-* t 1—^ V í
4 P Simpi 1
5 P Vr Adj 4
6 t MP 3,5
7 S Vt Adj 6
82
.3 7 ) - 1 p V q r Vs
t - 2 r-* t
„ 3 S-* m A n 1 vm
----- 4 P
5 pvq Adi 4
6 r Vs MP1,5
— 7 r
8 t M P2,7
- 9 t Vm Adi 8
t.
|“ 10 s
11 mA n. MP 3,10
12 m Simpi 11
-1 3 tv m Adj 12
— 14 t Vm Cas 6,7-9,10-13
15 p-*-1V m TD4-14
■; X38) - 1 p-*- s
- 2 (j -> í ^ '
— 3 S A t^ r HpH- (q~*r)
— 4:' P
5 s MP 1,4
— 6 q
7 t MP2,6
8 S A t. Prod 5,7
— 9 r MP 3,8
— 10 q r T 0 6-9
11 p -4- (q t ) TD 4-10
X39) - 1 qvr
~ 2 ■q~* p A s
- 3 r-+ m A í m Vs
- 4 q
5 PA 5 MP 2,4
6 S Simpa 5
- 7 m Vs Ada 6
- 8 r
9 mA t M P3,8
10 m Simpi 9
— 11 m V s Adi 10
12 m V s Cas 1,4-7,8-11
83
1H A
7. Doble Negación (DN)
&ta regla pm nite eliminar el negador, y nos dice que si en una línea de
una derivación tenemos un enunciado con doble negación, "TIA, entonces
podemos escribir en una nueva línea el mismo enunciado afirmado, A.
EJERCiaOS:
^,^40) - 1 p A “i~lq 1— q
2 n iq Simp2 1
3 q DN2
>X 41) -- 1 - n s A “i i í K S A t
2 n is Simpi 1
3 s DN2
4 nnt Simpj 1
5 t DN4
6 SA t Prod 3,5
x y ;. —1 p V q *+ i n r
- 2 l l q A~ns I—r V t
3 nnq Simpi 2
4 q DN3
5 pvq Ad2 4
6 ~ in r MP 1,5
7 r DN6
8 r Vt Adi 7
>43) - 1 n n C p ^ T ig )
“ 2 p l~ (p A
3 p - llq DN 1
4 “I“lq MP 3,2
5 q DN4
6 pA q Prod 2,!
7 (p A q) V s Adi 6
84
>.44) -1
-2 q v r^~ l~ \(r A s)
—3 P A S 1—TA s
4 P Simpi 3
5 q M P1,4
6 q vr Adi 5
7 n n c r A s) MP2,6
8 rA s DN7
X45) - 1 p ->• (g r)
- 2 p -+ “l~Ig H-p A f ^ r
p3 pAt
4 P Simpj 3
5 -n q . MP 2,4
6 q DN5
7 q-+ r M P1,4
^8 r MP 7,6
9 p A t -»• r TD 3-8
JERCICIOS:
./l-B l) - 1 ~lq A r
2 q H p “»■s
P
"Is
Iq A r M P1,3
r Simp2 5
q MP 2,6
8 “íq Simpj 5
9 q A Hq Prod 7,8
10 “H s Abs 4-9
» 11 s DN 10
12 p-+ s TD 3-11
%
TABLA DE REGLAS BASICAS
Producto (Prod)
SimpUcación (Simp) ^QfH<jv4''ífv2.\eNr A
A A B ,r,. ^A A B B
--------- (S im p i' (Simpa)
B AAB
1
S7
OiSStuWCiO N"
' ‘*‘1/ Zí(íOfJ
Adición (Ad) Prueba por Casos (Cas)
Cv^
A vB
r-A
A vB AvB
-C
r— B
n
I -B
— n a ~1B
HA
e) Estrategias de deducción mediante Reglas Básicas.
La deducción foinial o derivación, a diferencia de los procedimientos
de decisión explicados en el capítulo anterior, no es un procedim'ento
mecánico y, por tanto, sólo pueden darse indicaciones o consejos acerca
de la mejor manera de proceder para llevar a cabo una deducción. He aquí,
pues, algunas estrategias que pueden servir de ayuda al lector en la tarea
de la derivación.
Segunda forma
p3 P
4 q (p -> s) Simp] 1
5 qAr MP 2,3
6 q Simpi 5
7 p-*- s MP4,6
s M P7,3
9 p-^ s T D3-8
Tercera forma
“ 3 s)
4 p Simpi 1
5 (p->“s) Simpi 1
d qAr M P2,4
7 q Simp] 6
8 p s M P5,7
- 9 (p S) A 1(p -> S) Pfod 3,8
10 ~ n (p s) Abs 3-9
n s DN 10
^ K X 53) — 1 7
- 2 g V r -*■ s
— 3 s -* (t m)
— 4 p A “i~t t \- m
5 P Símpi 4
6 q MP 1,5 1
7 q vr Adt 6
8 s MP 2,7
9 t -+ m M P3,8
10 “in t Simpi 4
11 t DNIO
12 m MP9,11
q >.,54) — 1 p (g r A (s Vi))
- 2 p A (s -»■ m)
— 3 q A {t ^ h A n) |—m V
4 P Simpi 2
5 q-*- r A (s V t) M P1,4
6 q Simp] 3
7 r A (s V t) MP 5,6
8 SVt Simp2 8
9 s^ m Simp2 2
10 t -»• h A n Simp2 3
r -1 1 s
12 m MP9,11
L i 3 m V b- Adi 12
-1 4 t
15 hA n MP 10,14
16 h Simpi 15
^17 m Vh Adj 16
18 m Vh Cas 8,11:13,14-17
;K'55) - 1 p A q -*• r A s
- 2 s~^ q A t
“ 3 S A t \—p qA
T~ 4 P
5 s Simpi 3
6 qAt MP 2,5
7 q Simpi 6
8 pA q Prod 4,7
9 rA s ^4P1,8
10 r Simpj 9
-1 1 q Ar Prod 7,10
12 p qA r TD 4-11
- 1 q ■+ s
- 2 sAí P (q Vr
— 3 P
— 4 q Vr
r ^
q
L 6 s MP 1,5
r 7 r
8 SA t MP 2,7
L 9 s Simpi 8
L— 10 s Cas 4,5-6,7-9
— 11 q V r -*■ s TD 4-10
12 p-»- (qvr-> s) TD 3-11
/ 57) -— 1 q
-2 ~lp ^ Hq A s Hp
p3 ~lp
4 q MP 1,3
5 ~Iq A s M P2,3
6 Iq Simpi 5
L 7 qA “Iq Prod 4-6
8 " llp Abs 3-7
9 P DN8
n
58) - 1 p V (g A r)
2 t V q ^ ~\{p 1—“l(p *+ í)
p^ t
p
t MP 3,4
t Vq Adi 5
'8 qAr
í ’ .4 -J
9 q Simpi 8
10 t Vq Ad^ 9
11 l(p ^ t) MFY,10 “ ^
% 12 n (p ->■t) Cas 1,4-7,8-11
» 13 ( p -+ t) A ~1 ( p t ) Prod 3,12
I 14 "!(p->t) Abs 3-13
I
1 P-* 9
r— 2 q-»- r
3 P
4 q MP1,3
[5 r MP2,4
6 p^ r TD3-5
7 (q -*• r) -+ (p -»■ r) TD2-6
8 (P ’*■q) l(q r) (p -> r)l TD 1-7
^ X eo) h -n (p A ~ip)
rl PA “íp
2 p Sitnpi 1
3 np Simpa 1
>-4 p A “Ip Prod 2,3
5 n (p A n p) Abs 1-4
- 1 p A q -+ (r -*• s)
- 2 “Is A r h~p~^~\q
- 3 P
r 4 q
5 pAq Prod 3,4
6 T-* S MP1,5
7 r Simpi 2
8 s MP 6,7
9 Hs Simpi 2
^10 S A "Is Prod 8,9
-1 1 "Iq Abs 4-10
12 p-> “Iq TD 3-11
, , V m ) “ 1 p -►í7 V r
2 q r
3 r -►s H p -*■s
4 P
5 qVr MP1,4
|— 6 q
7 r MP2.6
l— 8 s MP 3,7
r
l— 10^
r
s MP3,9 '
— 11 s Cas 5,6-8,9-10
12 p “*■s TD 4-11
SírrrvV-5cKO Ip-v!V'.
»- y 64) 1 -1 q -V líp A q)
r— 1 1q
C
2 PA q
3 q Simpj 2
Prod 1,3
4 “Iq A q
Abs 2-4
— 65 T q( p- +A1q()p A q )
n T D 1-5.
95
X 65) — 1 í -*■p V q
— 2 p -►m A s
— 3 q ^ ~ \m
— 4 s v “im-»^“i ( p v q ) | - “I¿
- 5 t
6 p vq MP 1,6
r P
8 mAs MP 2,7
9 5 Simpa 8
-1 0 s v1m Ad, 9
r ii q
12 “Im MP 3,11
L 13 s v1m Adj 12
14 s V ~lm Cas 6,7-10,11-13
15 "I ÍP V q) MP 4,14
— 16 (p V q) A n ( p vq ) Prod 6,15
17 1t Abs 5-16
/«66 ) -
-
1
2
í ^ p Vq
p n As
“ 3 q “In H í -»■ s V 1 n
— 4 t
5 pvq MP 1,4
r ® P
7 HA s MP 2,6
8 s Simpj 7
“ 9 5 Vn n Adi 8
— 10 q
11 1 n MP 3,10
-1 2 s V “In Adj 11
“ 13 s V ~ln Cas 5,6-9,10-12
14 t “»■s v i n TD 4-13
»e
fl7)
1 (p A q) v ( r A s)
-2 pAq
3 p Simpi 2
4 p Vi Ad, 3
5 p Vs Adi 3
6 (p V r) A (p V s) Prod 4,5
7 q Simpi 2
8 q Vr Ad, 7
9 q Vs Ad, 7
10 (q V r) A (q V s) Prod 8,9
■11 [(p V r) A (p vs)] A [(q v r ) A (q v s)] Prod 6,10
12 TAS
13 r Simpi 12
14 p Vr Adj 13
15 s Simpa 12
16 p Vs Ada 15
17 (p V r) A (p V s) Prod 14,16
18 q Vr Ada 13
19 q Vs Ada 15
20 (q V r) A (q v s) ^ Prod 18,19
21 [ ( p v r ) / (p V s)r^ A [(q V r) A (q V s}] Prod 17,20
22 [(p V r) A (p V s)] A [ ( q v r ) A ( q v s ) l Cas 1,2-11,12-21
23 (p A q) V (r A s) -»■ [(p v r) a (p v s)3 a [(qvr) A (qvs )]
TD 1-22
97
3>
-■ - 1 p-*- m V t
- 2 m ->■ r
- 3 t^ rAs
- 4 g -> í A r p V g -+ r
- 5 p vq
— 6 P
7 mV t MP 1.6
r- 8 m
L- 9 r MP 2,8
p 10 t
11 rAs MP 3,10
- 12 r Símpi 11
- 13 r Cas 7,8-9,10-12
- 14 q
15 tAr MP 4,14
- 16 r Simpi 15
17 r Cas 5,6-13,14-16
18 p Vq ^ r TD 5-17
69) - 1 g
- 2 m -*• r V s
- 3 r-> “ig
- 4 s ngA t 1—n (p A m)
- 5 pA m
6 P Simp, 5
7 q M P1,6
8 m Simpi 5
9 rV s MP 2,8
p ío r
L ii nq MP 3,10
p l2 s
13 “Iq A t MP 4,12
>-14 nq Simpi 13
15 “Iq Cas 9,10-11,12-14
—16 q A ~lq Prod 7,15
17 "l{p A m) Abs- 5-16
>1
* ><«)
q) A (g r) -*■ (p r)
-1 (p-»- q) A (q-^ r)
r2 P
P 3 p-> q Simpi 1
P 4 q-^ r Simpi 1
P 5 q MP 3,2
P ^6 r MP 4,5
P ~7 p-í- r TD 2-6
P 8 (p q) A (q -*■ r) -> (p -+ r) TD 1-7
»
71)
ft
X
I
% h -(p -* q ) ->■ (p A r-* q A r)
%
»
»
-1 P-+ q
I r2 PAr
í 3 P Simpi 2
% 4 q MP 1,3
5 r Simpi 2
% -6 q Ar Prod 4,5
í ^ 7 p A r -*• q A r TD 2-6
I 8 (p -*■q) (p A r q A r) TD 1-7
>
I
99
72)
- 1 p v ~ l g “> r v m
- 2 (r ->■ í Vs ) A {n s)
- 3 m A Ir-* n 1—“ip (“I(g Vr) -»■ s V í)
Hp
— 5 “I (q Vr)
q
q vr Ad, 6
[>- ' 8 ( q v r ) A”i{q V r) Prod 7,5
9 “íq Abs 6-8
10 p v lq Adj 9
11 r Vm M Pl.lO
— 12 r
13 t Vs Simpj 2
14 t Vs MP 13,12
n i5 t
^16 SV t Adj 15
17 s
C 18 s vt Adi 17
— 19 S Vt Cas 14,15-16,17-18
— 20 m
C
21 r
22 qvr Ad^ 21
23 (q V r) A “i (q V r) Prod 22,5
24 Ir Abs 21-23
25 m An r Prod 20,24
26 n MP 3,25
27 n-> s Simp2 2
28 s MP 27,26
— 29 svt Adi 28
“ 30 s Vt Cas 11,12-19,20-29
— 31 ~1 (q V r) s Vt TD 5-30
32 Hp ^ [“](q V r) -*■ s V t] TD 4-31
100
•^73)
1 q
2 p -*■ r
3 p
,4 q MP 1,3
5 r ’ MP 2,3
6 q Ar Prod 4,5
7 p -»■ q A r TD 3-6
8 (p ^ r) ^ (p ^ q A r) TD 2-7
9 ( p q ) ^ ÍCp r) ( P '» ' q A r)] TD 1-8
74)
1 qAT
2 “Ip “!s
3 Hr
4 Hr
-4 “i r
5 ~Ip p5 P
6 Hs MP 2,5 6 QAr MP 1,5
7 T MP 3,6 7 r Simpj 6
8 r A “!r Prod 7,4 - 8 r A “1 r Prod 7,4
9 "tp Abs 5-8
9 -iD p Abs 5-8
■ 10 n s MP 2,9
10 P DN9 11 r ‘MP 3,10
11 qAr MP 1,10 12 r a “I r Prod 11,4
12 r Simp2 11 13 HDr Abs 4-12
13 rA ~lr Prod 12,4 14 r DN 13
14 nnr Abs 4-13
15 r DN 14
101
75)
- 1 (p A q í) A “l(t V n)
- 2 rvs~*-t A m h- p (q V r ->■
------ 3 P
—- 4 q Vr
5 p A q -*■ t Simpi 1
r ® q
7 PA q Prod 3,6
L 8 t MP5.7
r ® T
10 r V s Adi 9
11 . t A m MP 2,10
^ 12 t Simp] 11
13 t Cas 4,6-8,9-12
fl4 "Is
15 t V n Adi 13
16 I (t V n) Simp2 1
L i 7 (t V n) A "1 (t V n) Prod 15,16
18 n i s Abs 14-17
— 19 s DN 18
---- 20 q V r -»• s TD 4-19
21 p-»- (q V r-* 5) TD 3-20
76)
H (p o ^ [(7 r) -*■ Cp V í -+ r)]
p-> r
q r
pvq
P
i: r M P1.4
q
c r MP 2.6
r Cas 3,4-5,6-7
pvq TD 3-8
.10 (q -> r) (p V q r) TD 2-9
11 (p-»-r)^ [ (q - + r ) -+(p vq-^-r)l TD 1-10
102
77)
- 1 (p -*■ s) A (q -»■ í)
- 2 (ü V í m) A (r V n n m) í—p V q “fr
---- 3 pvq
4 p ->■ s Simpi 1
5 q ->• t Simp2 1
“ 6 P
7 s MP 4,6
^ 8 S Vt Adi 7
r ® q
MP 5,9
10 t
-1 1 S Vt Aá^ 10
12 S Vt Cas 3,6-8,9-11
13 s Vt -+ m Simpi 2
14 ra MP 13,12
15 r V n ->■ ~1 m Simp2 2
p ié r
17 r Vn Adi 16
18 “Im MP 15,17
-1 9 mA m Prod 1 4 ,1 8
---- 20 Ir Abs 16-19
21 p V q “1r TD 3-20
^3.1.27lRegÍas^erivada^
MT Fundamentación
B
— 1 A-^ B
~)B — 9 IB l - “)A
"lA
A
B MP 1,2
B a IB Prod 4,2
“lA Abs 3-5
DfC, Fundamentación
Aa B
- 1 A aB
— 2 A-»-“IB
3 A Simpi 1
4 B- Simp2 1
5 “IB MP 2.3
-6 B aIB Prod 4,5
7 “)(A->“tB) Abs 2-6
— 8 ~I(A->nB)
- 9 “Í(A a B)
-1 0 A
^11 B
12 A A B Prod 10,11
L13 ( A a B ) a “! ( A a B) Prod 12,9
-1 4 “IB Abs 11-13
15 A->-“1B TD 10-14
---- 16 {A-^"1B) A“l{A-^nB) Prod 15,8
17 “I K A a B) Abs 9-16
18 A a B D N 17
' 1 ~\{pAq)-* t a Hs
“ 2 r a "1 s - í- í
- 3 ~lí
r— 4 p-^“lq
~ 5 n (p A q)
6 r a “ 1s MP 1,5
7 t MP 2,6
^ 8 t A H t Prod 7,3
9 -r i(p A q ) Abs 5-8
10 p Aq DN9
11 P Simpi 10
12 q Simp2 10
13 “Iq MP 4,11
-1 4 q A“lq Prod 12,13
15 Abs 4-14
Resolución del argumento onferíor utilizando reglas deriuadíis
— 1 P^Q
— 2 “Ig
3 -Ip M T1,2
<0 « » 2 ) 1 p -+ ( (ij r) s]
2 r A (s -> f) }—p
3 (q ^ r) (p ■* s) Mut 1
4 r Simpi 2
5 q r CPr4
6 p-»- s M P3,5
7 S-+ t Simpi 2
8 p-^ t SH 6,7
3) —1 (q p V r) ^ s
—2 p A [t q)l l-í-»-g
3 P Simpi 2
4 P VT Adi 3
5 q ->• p V r CPr4
6 S MP 1,5
7 t ->(s q) Simp2 2
8 s ^ (t q) Mut 7
9. q MP 8.6
4)- - 1 (p V q) A (q p) Hs (r p)
2 pvq Simpi 1
P
1 -4 P Id 3
p5 q
6 q-> p Simp2 1
L 7
P MP 6,5
8 P Cas 2,3-4, 5-7
9 r-> p Cpr 8
10 s ^ (r ^ p.) CPr9
~i(A a I A ) A V “lA
A A HA
B
EJERCICIOS:
9 -r
5) - 1 p-*q
„2 ( r^ s)
-3 í-n r
4 n q -1 p Cpi 1 M. X ’
5 "Iq (r-»^ s) SH 4,2
6 r-+ n q -+ s) Mut 5 iM 1f
7 "ir MT 6.3
6) - 1 p -V (q -> r)
— 2 "l(p r) A n (s i-t
3 q (p ^ r) Mut 1
4 "l(p-+ r) Simpi 2
5 "Iq MT 3,4
6 s-»- ~!q CPr5
7 "l(s->"lq) Simp2 2
8 (s-+“iq) A “i(s-^ 1 q ) Prod 6,7
9 t ECQ8
lo a
f V 8) - 1 P -*■~!(q -»■ r)
1 “ 2 O p -»• í) A r I~ "i ¿ -*• s
P 3 r Simpi 2
P 4 q -»■ r CPr 3
P 5 n n (q -> r) ID N 4
6 1p M T1,5
7 Ip-»- t Simp, 2
8 t MP 7,6
9 "is t CPr 8
10 nt-^ s Cp3 9
a^ ^
’ f> ^ t 9) —1 “I(PA "ip)^- [p (q c)]
~ 2 q h -n íp -»■ c) "ir
3 - l( p A l p ) PNC
4 p (q c) MP 1,3
5 q -»• (p -»• c). Mut 4
6 “l ( p - » - c ) ~ lq Cp. 5
7 I q ^ lr Cpj 2
8 “l(p-> c) -»■ ~lr S H 6,7
c) Reglas derivadas de conjunción:
11. Conmutativa de . la conjun- 12. Asociativa de la conjunción
ción (CC) (AC)
A AB ( A a B) a C
B AA A A (B A C)
109
A A (B V C) A AA
(A A B) V (A A C)
A A (A V B) A-^ ( B - C)
A A B-»- C
A a B-* C
A-^ (B->- C)
f*' !T' 10 ) —
— 1 [p A (q V r)] A [p j^ ( q V r ) ]
- 2 “!(p A r) l—q Ap
3 p A (q v r) Id C l
4 (p A q) V (p A r) f
DC3
5 pAq SD 4,2
6 qAp. CC5
11 ) - 1 p - * - { q A r - * “ is )
- 2 (s A q) A r 1—“ Ip A (“Ip V f)
3 s A (q A r) AC2
4 q Ar (p " Is ) M u tl
5 qAr Simpí 3
6 p -* “Is MP 4,5
7 s Simpi 3
8 “!"ls ID N 7
9 “Ip M T 6,8
10 "Ip A (“Ip V t) AbsC 10
lio
9 / 12) -1 q AT-* s
- 2 (r s) í y - n t ’*~\(h aq)
•
• 3 q (r -+ s) Exp 1
4 q t SH 3,2
5 h (q -*■ t) CPr 4
6 h A q-^ t Imp 5
7 “i t ^ ~l(h A q) Cp6
13) - 1 p-*q
“ 2 q -> r \~sAp~* r
i 3 p -í-r SH. 1,2
i 4 s ->• (p -*■ r) CPr 3
5 s A p -»■ r Imp 4
" : • 14) —1 p Aq r
- 2 t v [ q A (g vs)]
» “ 3 Hf A l t h-p -+ r
4 nt IdC3
5 q A (q V s) SD 2,4
6 q AbsC 5
7 p ^ ( q ^ r) Exp 1
8 q *t íp r) Mut 7
9 p-^ r M P8,6
»
A vB
B VA
(A v B )v C
A v (B v C )
111
A v ( B a C)
(A V B) A (A V C)
A VA
A V (A A B)
A vB A vB
~IB "1A
(SD i), (SD,)
B
A vB A vB
A-^C A-^C
B-»-C B-»-D
CDÜCO, (DilCi)
C vD
" lA v I B “IAv"lB
C-*- A C-^ A
B D->B
(DüD:), (DilD,)
“IC “I C v I D
112
EJERCICIOS:
« 16) “ 1 r ~l(t p V q)
“ ■2 p v (q A r) l-" I r v “!r
3 (p V q) A ( p V r) DD2
4 p vq Stmp) 3
5 t ->• p V q CPr4
6 p vq) IDN 5
7 Ir MT 1,6
8 Hr v “lr IdD7
16) - 1 "l(p v p ) -►“l(q-í-r)
- 2 r l- p v (p A t)
3 r CPr 2
4 IDN 3
5 ~I1(p V p) M T1,4
6 p vp DN 5
7 P IdDG
8 p V (p A t) AbsD 7
» 17) - 1 pvq->-(rvs)vt
- 2 p v ( pAq)
- 3 ~lr 1—í V s
4 P AbsD 2
5 p vq Adi 4
6 (r V s) V t MP1,5
7 r V (s V t) AD6
8 SVt SDj 7,3
9 t Vs CD8
. 18) - 1 (pvq)vr
- 2 (q s V s) A (r -»■s v s)
- 3 "ip 1—S V (s A í)
4 p V (q V r) AD 1
5 q Vr SD 4,3
6 q -►s.v s Simpi 2
7 r ^ sV s Simpa 2
8 S Vs DüCi 5 , 6 , 7
9 s Id D 8
10 S V (s A t ) AbsD 9
113
t 9 19) - 1
— p vq ^ rv(sA t)
~ 2 (q v p ) A“lr l~S V s
3 qvp Simp, 2
4 pvq C D3
5 r V (s A t) MP 1,4
6 {r Vs) A (r Vt) DD 5
7 r Vs Simp, 6
8 “Ir Simpa 2
9 s SD 7,8
10 SV s IdD 9
(C 9 y 20) - 1 p (q -+ r)
- 2 p -»■ (s-i-í)
- 3 p A (q Vs)
- 4 ~\r h -1
5 P Simp, 3
6 q Vs Simp2 3
7 q -»• r MP 1,5
8 s -»■ t M P2,5
9 rv t DilCi 6, 7j 8
10 t SDj 9,4
21 ) - 1 ~lp V (“Iq A r)
- 2 (s -i- p) A (s -i- q) l—~Í5 V ( ” l5 A t)
3 (~lp VHq) A ( n p V r) DD 1
4 ~lp V ”lq Simp, 3
5 s -*■ p Simpi 2
6 s -i- q Simpa 2
7 Hs DilD, 4 ,5 ,6
8 “Is V (“!s A t) AbsD 7
A -^ B A ^ B
(BCOf). (EC30,).
A B B -f A
A -^ B A*-+ B
A B
(1 0 A ). (EOO4),
B A
28. Reemplazo o intercambio (R)
* ^ 22) —•
—'1 7 V (r A s)
-2 (7 -»■i?) A I r f—p <
3 (q v r ) A (q v s ) pD 1
4 q Vr Simpt 3
5 "Ir Simpi 2
6 q SD 4,5
7 p-+ q CPr6
8 q-^ p Simp] 2
9 q IC0 7,á
23) - 1 p - ^ q Ar
“ 2 q A ~\p I-Ir
3 q A r-í- p ECO3 1
4 q-+ (r^- p) Exp8
5 q Simpi 2
6 r->- p MP4,5
7 “ip Simp2 2
8 Ir MT 6,7
115
c -» 24)
— 1 p V g ■*-+ n n (r A “l“Is)
— 2 p A “ lr 1 -f
'■í
3 P Simpi 2
4 pvq Ad, 3
k 5 n "l(r A l"ls) ‘ECO3 1,4
6 "1 n (r A s) RDN 5
■] 7 TAS DN 6
8 r Simpj 6
9 n r Simpj 2
10 r A "1 r Prod 8,9
11 t ECQ 10
• 25)
I—(g s) -»■ (p A g P A s)
- 1 q-í-*- s
pAq
r ^
3 q Simpi 2
4 s ECO3 1,3
5 p Simpi 2
-6 p AS Prod 5,4
7 p A q -»■ p A s T D2-6
p AS
r ®
9 S Simp2 8
10 q ECO4 1,9
11 p Sünpi 8
Li 2 PAq Prod 11,10
13 PAS-»- p A q TD 8-12
-1 4 pA q p As ICO 7,13
15 (q s) -►(p A q p A s) TD Í-14
116
26) _- 1 P * -^ Q l - K r - f + p ) 4 ^ (r ?)]
r p r« p
r ^ .
3 r-*- p ECO , 2 La r« q T r a n s C O , 2,1
4 P -" q ECO , 1 4 ( r - P) (r** q) T D 2-3
5 r -*■ q S H 3 ,4 r «• q
r®
6 q -+ p 6 q«> p S im C O 1
ECO , 1
7 p -K r ECO , 2 ■ 7 r« p T ra n s C O 5,6
8 q -*■ r S H 6 ,7 S ( r « q) ( r ^ P) T D 5-7
- 9 r-^ q IC O 6,8 9 (r « p )« q ) IC O 4 ,8
10 (r +-► p ) *+ (r q) T D 2-9
p ll r q
12 r-»- q E C O , 11
13 q - p ECO , 1
14 r-» p S H 12,13
15 q ECO , 1
16 q -*■ r E C O , 11
17 r S H 15,16
1-18 V <—*• p IC O 14,17
19 (r ^ q )-^ ( r ^ p) T D 11-18
20 {r p) (r q) IC O 10,19
f) Reglas de interdefinición:
29) Definiciones del impliaidor (Dfl)
A ** B A B
“I(A A I B ) lA v B
AaB A aB
(DfC,)
n (A ^ H B ) (DfC,), n O A vIB )
A vB _ AV B ^
~1A-^B nO A V W
117
~1(Aa B) ~l(A vB )
(DMt). (DMí)
" lA v lB I A a IB
EJERCiaOS:
» 27) - 1 P-+ g
-2 “!p r K g vr
3 “Iq “Ip Cp, 1
4 “Iq r SH 3,2
5 q vr DfD, 4
2S) “ 1 p A g -+ r
-2 "Ir V 5
-3 "l5
-4 P 1 -lg
5 "Ir-^iC pA q) Cpi 1
6 "Ir- SD, 2,3
7 "l(p AQ) M P5,6
8 "Ip v"lq pM , 7
9 " I - |p ÍD N 4
10 Iq SDs 8,9
29) - 1 Hp-^ g
-2 "l{p A i r ) A "l(g A “Ir) (-
3 p Vq DfD, 1
4 (p ■+ r) A (q -> r) R 'D fl, 2
5 p-»- r Simpi 4
6 q-*- r Simpí 4
7 r DilC, 3,5,6
118
e 30) -1 ~\ÍPA-\q)
—2 q r
- 3 Ir l - “lp
4 p-> q Dflj 1
5 p r SH 4,2
6 “Ip MT 5,3
31) - 1
2 q
3 r -+ s
4 s “> m
5 I p -»■ n
6 n -»• m l- m
7 q (p r) M u tl
8 MP-7,2
9 Hp v r D fli 8
10 "ip m SH 5,6
11 r-^ m SH 3,4
12 m DUCi 9,10,11
T A B L A D E R EG LA S PE& i y ^ A S \
a) Rtgba derivadas de ímpíleactón:
b) Reglas deritMidas de
A-*B . A --JB
(C P .).^ (C ih ), (Cp,).
" I B -» “IA B-* 1A
A -»B
“IB
(M T Í,
“H A
(roN). “1(Aa "IA)(PNC), Av1A{PTE>.
“lA
A a “1A
(E C O )
B
A a B ____( A a B ) a C A a ( B v C)
Iwít . lAUJ, ™ (DC), ^ ^ ( I d C ) ,
B AA A a (Ba C) ( A a B ) v ( A a C)
C) A a B-
(Im p), -ÍEjcp)
A A a B -C A -(B -q
A VB A vJB
A V (A A B) “IB "lA
(AbsDy, (SD,), (SD ,).
A VB Av B "lA v “IB
A -C A -C C - A
B -C B -D D -B
(DÜD,). (DÜD,)
■ J C v ID
- B B, C a
(BC©«), (H)
f) Reglas de InterdefinRdón:
A - B A -B ^ A AB A a B
- I ( A a -IB ) -lA v B “l ( A - - I B )
(DíC,). (DfCi)
H (“IA v “JB)
AvB AvB
120
33)
~~ 1 p AQ-^ (r-* s)
~ 2 r A ~\s h - f -+ ” 1Cp a 9)
2.^} r-+ (p A q s) M u tl
r Simpi 2
p A q^s MP 3,4
“ts Simpa 2
n (p Aq) M T5,6
t-^ n (p A q ) CPr7
121
t
5.V
rI- ^
4 r (p A q -»■ s) M u tl
5r Simpi 2
6 p A q~* s M P4.5
7 "Is Simpa 2
- 8 n (p A q) MT6,7
9 t-»-n(p A q) TD 3-8
6.^} t
r ^
4 r ^ (p A q -*■ s) M u tl
5 r Símpi 2
6 p Aq s MP 4,5
7 “Is->■"i (p A q) Cpi 6
8 “Is Simpa 2
_ 9 n (p A q) MP 7,8
10 t-> 1(p Aq) TD 3-9
122
- 3 p Aq
4 lír -» - s)-»-n (p A q) Cpi 1
5 “l(r -+ " in s ) DfC, 2
6 s) RDN 5
7 "l(p A q) M P 4,6
' 8 (p A.q) A “!(p A q) Prod 3,7
9 “I(P A q) Abs 3-8
10 t -> “l(p A q) CPr 9
9.V .— 3 p Aq
4 r ^ CP A q ->■ s) Mut 1
5 r Simpi 2
6 p A q-^ s M P 4,5
7 Hs Simpj 2
8 n p A q) M T6,7
9 (p A q) A “l(p A q) Prod 3,8
10 ~l(p A q) Abs 3-10
11 t^ " l(p A q) CPr 10
lO-J 3 p Aq
4 r -»• (p A q -*■ s) M u tl
5 r Simpi 2
6 pAq-> s M P 4,5
7 s M P3,6
8 Is Simp2 2
1— 9 S A “Is ^iDd 7,8
10 “l(p A q) Abs 3-9
11 t-J -IÍp A q) CPr 10
123
i í . “> 3 p Aq
4 r -+ (p A q ■s) Mut 1
5 r Simpi 2
6 p A q -*a M P4,5
7 “ls-> “](p A q) Cpi 6
8 is Simpi 2
9 ~i(pA q) M P7.8
L io ( p A q ) A " ] ( p A q ) Prod 3,9
11 “l(p Aq) Abs 3-10
12 t-^~l(p Aq) CPr 11
34)
— 1 pvq-^TAS
2 r-*- í A u
3 Hu v T í ~)p
4 "l(u A t) DM i 3 4 p Ad, 4
5 " l(t A ll) RCCi 5 p Vq MP 1,5
6 "Ir M T 2 .5 6 Ta s Sitn p 6
7 I r v is 7 r MP 2,7
Ad, 6
8 " l(r A s)
8 tAu CC 8
DM i 7
9 UA t
9 n (p v q ) M T 1 .8
10 "Ip A "1q DM j 9
10 *1 ( n u V 1) D fC j 9
11 n u v ~ l t ) A * 1 ( n u v “ ! t ) Prod 3,10
11 np S im p , 10 12 ~lp A b s 4-11
35) -1 pvq
-2 p -* rA ~ is
-3 q->~~\r A5
-4 “ip r as ) K - l(r - ^ “H s )
5 1q M T 3,4 5 (rA
6 P S D 1,5 6 rA ' S D j 5,4
7 r A "]s M P 2 ,6 7 -|.(r D fC . 6
8 n{r-»-“ins) D fC , 8
124
36)
- 1 p AQ r v~\s
- 2 tv~\r-*uAÍw-^ín)
— 3 wvn
- 4 tn-*- h
- 5 n (jivn í) 1—Tls -*■p A h
6 1n A “ int DMj 5
7 Hn Simpi 6
8 nnt Simpi 6
9 t DN 8
10 tv H r Adi 9
11 u A (w m) MP 2,10
12 w ->■ m Simp2 11
13 w SD 3,7
14 m MP 12,13
15 h MP 4,14
p 16 I s
17 r v “ls Ad, 16
18 PAO ECO4 1,17
19 P Simpi 18
^ 2 0 p Ah Prod 19,15
21 “Is.-^p A h TD 16-20
37)
1 p Aq rV s 6 s ->■u 8H 2,3
2 s -+ f 7 n u A n "1 w DMj 4
3 u 8 1 u Simp, 7
4 "l{u V “Uíí) 9 n 5 MT 6,8
5 Huí a "Ir 1—p -»■ "Ig 10 "i r SiraPj 5
11 “ } r A "1 s Prod 10,9
6 "lu a "1“1w DM2 4 12 n (r vs) DMj 11
7 n ~ iw Simpí 6
13 1 (PA 9) MT .1,12
8 w DN7 DH l 13
14 P ^ " Iq
9 " Iw Simpi 5
10 w a I w Prod 8,9
11 p -> 1q ECQ 10
125
38) — 1 " l ( p ~ l g ) - í — ~ l ( r -* “ Is ) h -p A g ( s - ^ r )
p Aq
pA q TAS R^DfCi 1
TAS ECO3 3,2
r Simp] 4
s~^ r CPr5
s Simpi 4
r-»- s CPr 7
s-^ 1 ICO 6,8
10 p A q ->• (s TD 2-9
39) —1 t ^ (s -»■ g)
- 2 "Ir V í
—3 s Hr g
4 s -»• (t q) M u tl r4 r
5 t-»- q MP 4.3 5 n ~ lr IDN 4
6 r-^ t D ñi 2 6 t SD^ 2,5
7 r-+ q SH 6,5 7 q MP 1,6
-8 q MP 7.3
9 r -*■q TD 4-8
T r-2 P-* r
r ^
3 q - p ECO j 1 3 q-* p S im C O 1
4 P -" r ECO , 2 ■4 q« r T ra n s C O 3,2
5 q -> r S H 3.4 5 (p « r) (q " r) T D 2-4
6 r-^ P ECO j 2 q« r
7 P -+ q ECO , 1 L? pv. r T ra n s C O 1,6
8 r - q S H 6,7 8 {q r) (p ** r) T D 6-7
— 9 q *-+ r IC O 5,8 9 (p « r) ** (q ** r) IC O 5,8
10 (p -f-* r) (q ^ r) T D 2-9
-1 1 q r
12 p -^ q ECO , 1
,1 3 q-*- r E C O , 11
14 P - r S H 1 2,13
15 q E C O , 11
16 q -* p ECO j 1
17 r-*^ p S H 15,16
-1 8 p t-r IC O 14.17
19 (q ^ rj ^ (p j.) T D 11-18
20 t (P r) ^ Cq r)l IC O 1 0 ,19
: 126
41)
P A~lq
t
nt Hp q
MT 2,3 ~ IT MT 2.3
Ir
M TM ~1(p A "1 q) MT 1,4
“l(p A “lq)
DM, 5 p -+q Dfl^ 5
~íp v n ")q
“Ip v q RD N 6
P-* q Dfli 7
I —1
- 2 p r
-3 q -^ r {—s A m -*■ r
p vq DfD^ 1
—4 s Am
DfD, 1 r DilCj 4,2,3
5 p Vq
DilC, 5, 2, 3 sAm r CPr 5
L -6
7 s A m-*- r TD4-6
43)
h-p l(p
- 1 p
r 2 p -^ q
Ls q ECO3 2,1
4 (p q) q TD 2-3
r5 q
6 p -^ q CPr 5
7 P CPr 1
Ls p q ICO 6,7
9 q ->• (p q) TD 5-8
- 1 0 (p q) q ICO 4,9
1 1 p ** [(p ^ q) ql TD 1-10
127
44) -1 p -* {q A r->- s)
- 2 rAq
- 3 ~ls H "tp A O p V0
4 q A r -► (p s) M ut 1 4 p A q A T -^ s Exp 1
5 q AT CC 2 5 “ 1 (p A q A r) M T 4,3
6 p -*■ s M P 4,5 6 n p V “1 íq A r) DM 5
7 “ IP M T 6,3 7 qA r CC 2
8 " Ip A ( 1 p V t) Abs C 7 8 "1 "J {q A r) ID N 7
9 Tp SD 6,8
10 “I p A í "1 p V t) Abs C 9
45) -1 P Í9 V r)
-2 q^np
-3 s ~ lr 1— p “ Is
-4 p
r ^ P
5 q Vr M P 1 ,4 5 q Vr M P 1,4
6 -n p ID N 4 6 r -^ * ls Cp, 3
7 " iq M T 2 .6 7 “1 p v “ i s 'D ü C j 5.2,6
8 T S D j 5,7 8 p "1 s D f l, 7
9 ~nr ID N 8 - 9 ~is M P 2,4
^10 ~\s M T 3 .9 10 p ~i s T D 4*9
11 p-* ~ls T D 4-10
- 4 “ im V í p m
- 5
6 “Im.v t Adi 5
7 P MP4.6
8 q A r-»- s MP 1,7
9 q-v {r-> s) Exp 8
10 "Iq MT 2,9
11 “Iq V t Ad. 10
12 q-> t Dflj 11
13 “Ip A q MP 3,12
14 1P Simpi 13
- 15 p A " lp Prod 7,14
16 “H m Abs 5-15
17 m DN 16
128
47) p V (p A g)
p (g r)
Ir i—s-»- Hq
AbsD 1 4 s
P
q -*■ r M P2,4 5 P Abs D 1
MT 5,3 6 q -+r MP 2,5
~lq
7 iq MT 6,3
“iq CPr6
8 s -►n q TD 4-7
48) í - p Aq (p q)
pAq
q Simp2 1
p-*- q CPt 2
p Simpi 1
q -* p CPr4
p -H ^ q ICOS
p A q -> (p - q) TD 1-6
49) 1 p -* ~]q
2 “i( r A “ip)
3 ~ I(r A n g )
4- s-*- r i~~\s
s
n p v lq DHi 1 r ®
6r MP 4,5
r p D fl, 2
7 r-^ p D f l, 2
r-*- q 0 f l, 3
8 P M P 7,6
Hr D U D i 5 ,6 ,7
9 ~ lq MP' 1,8
"Is M T 4,8
10 r A "1 q Prod 6.9
■ U (r A “ 1 q) A “ 1 (r A “ 1q ) Prod 10.3
12 “ Is A b s 5-11
50) - 1 p - * ( q ^ r )
- 2 SV q
129
'i
^ 1 P (9 A r)
2 “Iq V “ Ir l - f -* (s "Ip)
^'“1
3 ~ l( q A r ) DM , 2 r3 P
4 Ip M T l. 3 4 i
A *■ MP .1,3
5 CPr 4 5
( t A S) -* “ Ip
(9 A O DM , 2 í
6 ( s - r “ Ip) Exp S '-6 (q A r) A n (q a r) Prod 4.5
7 ~t P '"1
A b s 3-6
8 s -*■ ~í p CPr 7
9 CPr 8
52) - 1 r-* p \ s
2 p-^ m -i
3 S-* q
4 “ Ir-* t r 5 "!t i
(g A m ) V í
6 1 “I r M T 4,5 i
7 r
5
6
“l(m A q)
8 p A S
DN 6
MP 1.7
■1
" I m v “ lq DM , 5 ri
7 “ tp V “Is
y P S im p j 8 '1
D ilD j 6 ,2 ,3
10 s S im p j 8 i
8 “ l( p a s ) DM , 7
11 m M P 2,9
9 Hr M T 1.8 1
L 10 t M P 4 .9
12 q MP 3,10
T3 q A m Prod 12,11
11 "i(n i A q) -r t T D 5-10
14 “1 1 ->• {q A m ) T D 5-13
12 "!(q A m )-* t R C C ll
15 t V {q A m ) D r o , 14
13 (q A m ) V t D fD , 12
16 (q A m ) V t C D 15
.-1
- 2 2 p vH p PTE
3 q A * lt DfCi 2 3 t MP 1,2
4 ~ It Simp2 3 4 q -»■t CPr 3
5 “i(p v-Ip ) M T1,4
6 " I p A ~ l “ Ip DMj 5
*- 7 npA p RDN6
8 ■ n(q-+1) Abs 2-7
9 q -» - t DN8
130
64) - 1 (q A r)
-- 2 '7 0 '' v “l5) 1s
™ 3 C ~ \ t m ) A {m -*■¡i)
- 4 l ( / i V rt)
- 5 t-p g
r ® P
7 q Ar ECO3 1,6
8 r Aq CC7
9 r A q -+ “Is RDfCj 2
10 Is M P9,8
11 “It-*- m Símpi 3
12 m -»■ n Simp3 3
13 “It-»- n SH l í ,1 2
14 t Vn DfD, 13
15 ”lh A Hn DMj 4
16 ~ln Símpí 15
17 t SD 14,16
18 “lt-> t CPr 17
19 MP 5,18
20 kAs DfCi 19
21 s Simp2 20
22 S A“ts Prod 21,10
-2 3 g ECQ 22
24 P-*- g TD 6-23
55)
1 r ■+ "is
2 f -+ (r A s) l—l (í A h)
r3 tA h
3 n C r A in s) D fl, 1 4 t Simpj 3
4 n (r A s ) RDN 3 5 rAs MP 2,4
5 1t MT 2,4 6 n (r -+ n s) Dflj 5
6 n iv -lh Adi 5 ^7 (r-^ "ls) A n ( r - * n s ) Prod 1,6
7 l(tA h ) DM, 6 8 1 (t A h) Abs 3-7.
131
60) 1—"Ip->■ Í Í ( P q ) q í
1 ~lp
2 n (p ^ q)
3 “IÍCp -* q) A Í q ^ p)l REGO 2
4 n ( p - ^ q ) v “ í(q-> p) DMj 3
5 ~lp v q Adj 1
6 p-+ q D fl, 5
7 n n (p -^ q ) ID N 6
8 n (q ->• p) SDi 4,7
9 q A “ tp DfC, 8
10 q Simpi 9
11 "Kp q) -*• q TD 2-10
12 q
■13 p -^ q
14 p
ECO4 13,12
■15 pA ~lp Prod 14,1
■16 n (p ^ q ) Abs 13-15
17 q-^n(p'^q) T P 12-16
-IS “l ( p ' ^ q ) ^ q ICO 11,17
19 “i p - + P ( p ^ ql TD 1-18
133
A
B
'I A vB l(A v B )
i
lA
IB
d) Reglas semánticas de implicación
6) Verdad de la implicación (VI) 7) Falsedad de la implicación (FI)
1 (A B)
A
i
^ i IB
e) Reglas semánticas de coimplicación:
8) Verdad de la co implicación 9) Falsedad de la coimplicación
(VCO) (FCO)
Vi
t%
%
9
l
4
7«.
135
Como se puede ver, exceptuando el negador que cuenta sólo con una
regla, los demás conectóles disponen de dos reglas, una para la Verdad y
otra para la Falsedad de cada conector. Estas reglas semánticas son esque
mas metalingüísticos que constan de dos partes: la superior y la inferior.
— La parte superior, excepto en la regla del negador, presenta dos for
mas, una cuando el conector principal de la fórmula aparece afirma
do (A A B, A V B, A -►B, A B), y otra cuando el conector princi
pal de la fórmula aparece negado [~1(A a B), 1 (A v B), “](A -+ B),
- i( A ^ B ) J .
m n (p v q )
n
n + 1 "Iq
m ”l(p A q * > r v s)
n p Aq
n+ 1 Í ( r v s)
En cambio, las reglas que contienen dos líneas oblicuas en ángulo nos i
m 1 (p A q )
n “Ip n+ 1 ”lq
m “l(p A q -►r)
I
n n (p A q ) n+ 1
m p
137
d i
d i
d i
d i
d i
1
d i
d i
í 8 1 i 10 d i
11 l 12 i d i
d i
d
es un conjunto de puntos y segmentos lineales en número finito, tal
d
que cada punto está en lugar de una fórmula (compuesta o atómica)
con valor de verdad V o F, precedida por un número natural a partir d
de 1 que es el punto de origen; d
tales puntos representan las líneas de la deducción y se distribuyen
d
formando el tronco común, las ramas y las subramas del árbol dando
lugar a distintas trayectorias; d
una trayectoria la forman todas las fórmulas del árbol que están en d
cadenadas, es decir, todas las líneas del árbol que determinan un re 9 ü
corrido en sentido continuo y descendente a través del tronco, ramas
y subramas. Así, el árbol anterior consta de doce puntos o líneas de
deducción agrupadas en las cinco trayectorias siguientes:
a) 1-2-3-4-5-7,
b) 1-2-3-4-5-8,
c) 1-2-3-4-6-9,
d ) 1-2-3-4-6-10-11,
e) 1-2-3-4-6-10-12.
EJER(. ^lOS:
1) p A q -* r AS, q 1= p ^ s v t
m
V I p A q-^ r A s
m
2 q
V3 “ I(pH- s V t)
4 P F I3
m
V5 1 (s V t) F I3 •
* «
m 6 Hs FD 5
7 “ It FD 5
V 8 n ( p i Aq ) V il V 9 rA s VI1
10 r VC 9
#
l i s VC 9
FC8
i 12 FC8
I
I
139
2 ) p v q ~ * s , p A t 1= s
Vi pvq s
V2 pAt
3 Hs
4 P VC2
5 t VC2
8 Hp FD6
140
(a) 1-2-34-5-6-8,
(b) 1-2-34-5-7,
3) p Aq 1= p Vr
Vi p Aq
V 2 1 (pvr)
3 P VCl
4 q VCl
5 "ip FD2
Esta tabla tiene sólamente una trayectoria (1-2-3-4-5) y como está clau
surada porque en ella aparece una contradicción (p y I p ), el argumento
(3) es válido.
Obsérvese que aquí hemos aplicado primero la regla VC al paso 1 y des
pués la regla FD al paso 2. Pero también podríamos haber aplicado pri
mero la FD al paso 2 y después la VC al paso 1 y entonces tendríamos:
Vi p Aq
V2 "I(pvr) •
3 np FD 2
«
4 Hr FD2
5 P VCl
4) - \ ( q \ t ) , P -* <1 N "If
V i l ( q A t ) 4
V 2 p-*- q 4
3 ~nt
4 t DN3
4
5 1q FCl 6 It FCl
4í
Ü
7 1p V I2 8 q VI2
(a) 1-2-3-4-5-6,
(b) 1.2-3-4-5-8,
(c) 1-2-34-6.
5) rAq,p
V i rAq
V 2 p-*- q
V3 n " l(r P)
V4 r-^ p DN3
5 r VC 1
12 p V I4
142
quedan sin clausurar y la fórmula r -*■ p del paso 4 afecta a ambas trayec
torias. Por eso, hemos de seguir la tabla por la línea 7 y también por la
línea 8.
i
6) ^ P-* (q-* p A q)
1 --------------1
6 “Ip FC 5 7 -|q FC 5
7) 1= P Aq
Vi “l(p A q-^q)
V2 p Aq F Il
3 "Iq FU
4 q_ V C2
V 1 p vq
Primera forma V2 s
V 3 q-^ s
4 "Is
i
9 "Iq VI 3 10 s VI 3
Vi Pvq
V 2 p-*> s
Segunda forma
V 3 •q -♦ s
4 “Is
5 p VD 1
VDl
7 "Ip VI 2 8 s VI 2
9 ~ lp V I2 s VI 2
11 “Iq VI 3 s VI 3
lO
0
)
a
co ou
O O
o f e
O
O 0
)
o lO O í lO cr o
fl4
'9 Q Q ¡5 r
r fe; Q £ Q co co
> 3 €
0
< a c O
)
ar r a r cr C
r r O
r r co u
cr
O) o rH cq ü cd
C
r c o » o
a 3 JL
> a o > «O
a r X i
> V
r ^s
m s Cr
O
)
r ñs
o
I <ü l á r
M CO 3
< i
c r
co o 2 t
Cr
< O S cd o, Tí*
r O Q o c w
> ÍX4 > o d
r . cr
.
>1
CO
0) t
cr 12; r o rt
o r P íN <M
T 3 T 3
V)
t
r ü > O ü «3 rt
« cr > > r (O
I Q 4 p "
Si K.
t < > w,
&< cr r ‘>' a cr t
J i O o. cr r
4
< ■< r a t - 00 CO
co
Ci. ar r r
Q co t iH csj co Tf* U3 to
JL > o Vh co
< N x f c o
>>>
a á'»
T •4M
-a «
co
M co
i
9) r v q, p N n ( p - ^ n g )
V 1 r Vq
V 2 p-> q
V 3 n n (p -> n q )
V 4 p -^ -n q DN3
5 r VD 1 6 q VD 1
1
7 n p V I2 8 q VI2 9 Hp VI 2 .* 10 q VI 2
Conviene tener en cuenta que, si después de haber reducido el valor, de verdad de las fórmulas compuestas
a los valores de verdad de las fórmulas atómicas componentes, llegamos al final de una trayectoria y vemos con
claridad que no puede clausurarse, entonces ya no vale la pena seguir construyendo la tabla, pues de todos
modos la tabla quedará sin clausurar y el argumento será inválido. Así, en.el ejemplo (9) observamos que la
trayectoria 1-2-3-4-5-7-11 nunca podrá cerrarse y, por tanto, ya no sería preciso continuar confeccionando la
tabla después del paso 11.
13) p A q ! V c., S í, í -*• i - n < 7
VI p A q rv s
V2 s t
V3 t-+ w
V4 " l ( w A h )
V5 h A I r
V 6 i(p-nq)
7 h ve 5
8 Hr ve 5
9 P FI 6
10 n-iq FI6
11 q DNIO
V l2
r
n(pAq)
1
vil V l 3 r v s V il
1
14 1 p FC12 15 1 q F C 12 16 r VD13 17 s VD13
18 ns VI2 19 t V I2
20 “It V I3 21 w VI3
22 1 w FC4 23 n h FC4
La tabla está clausurada y, por tanto, el argumento es válido.
12) H p V (q A r) ( p V q ) A ( p V r)
r
V 2 p V(q A r) FCO1 V3
1
n íp V (q A r)] FCO 1
V 4 “il(p V q) A (p V r)l FCO 1 V 5 (p V q) A (p V r) FCO 1
6 Hp FD 3
V 10 “l ( p v1q ) F C 4 V; i l l ( p vIr ) F C 4 V 7 “l(qA r) FD 3
12 Ip FDIO 14 “Ip F D ll V8 p Vq ve 5
13 Hq FDIO 15 Hr F D ll V9 p v r ve 5
[ 1 r 1 r 1
16 p VD 2 V 17 q A r VD 2 19 £ VD 2 V 20 q a r VD 2 22 p VD 8 23 q VD8
18 q v e 17 21 r v e 20 1
24 p VD9 25 r VD9
26 ~lq PC 7 27
1Hr FC 7
CD
La tabla está cbuswada y, como es una conclusión de cero premisas, la fórmula analizada es una tautología
t r r n 11111 m ««« « « t e . . . -
OI
V i P A (q V r)
V2 p \ q -►"1($ Vt)
V3 ~1$ V ~ ll-• 1 ( p A q)
V4 l ( s * - t)
5 P VCl
V6 q Vr VCl
V 7 K p i r ) VI 2 V 8 ~I(svt) VI 2
r ____ L _
1
11 1 p FC7 12 "Ir FC7 9 ~is FD8
10 n t FD8
V^13 i r u v H ) VI 3 V l 4 “l(pA q) VI 3
V l 5 - l ( - l i v - l l ) V I3 V l6 " l( p A q ) VI3
17 -|-ls FD 13
18 I ON 17 21 “ 1$ FD 15 I ]
19 “i~ii PD 1 3 23 ~)p FC 14 24 ~l_q FC 14
22 í DN21 25 Tp FC 16 26 “Iq FC 16
20 i DN 19
í 1
29 q VD6 30 r VD6
1 31 q VD 6 32 r VD 6
27 q V D 6 28 r VD 6
V i r )v (q -> (pAQ-^-r)l
8 p VC6 12 p FIIO
9 q VC6 13 "Ir FIIO
14 q F U I
V l6 p r VD2 V l7 q-*- r VD2 15 n r FI 11
V22 n( pAq) VI 5 23 r VI 5
24 Qp FC22 25 Hq FC 22
00
La tabla está clausurada y, como se trata de una conclusión de cero premisas, la fórmula analizada es una tautología.
Bibliografía
« B #