UNIVERSIDAD FRANCISCO GAVIDIA

FACULTAD DE INGENIERA Y ARQUITECTURA

LGICA MATEMTICA
PRUEBA FORMAL DE VALIDEZ E INVALIDEZ DE UN ARGUMENTO
I- PRUEBA FORMAL
Las tablas de verdad son apropiadas para probar la validez de un argumento; pero cada
vez, son ms difciles de manejar a medidas que aumenta el nmero de enunciados
(proposiciones) que lo constituyen !ara deducir la conclusi"n, se utiliza un m#todo ms
eficiente que prueba la validez de un argumento e$tenso partiendo de argumentos
elementales vlidos
%onsideremos el siguiente argumento&
'(i sigue lloviendo, entonces el ro crecer (i sigue lloviendo y el ro crece, entonces el
puente ser arrastradazo por las aguas (i la continuaci"n de la lluvia )ace que el
puente sea arrastrado por las aguas, entonces no ser suficiente un solo camino para
toda la ciudad * bien un solo camino es suficiente para toda la ciudad, o bien los
ingenieros )an cometido un error !or lo tanto, los ingenieros )an cometido un error
%& contina lloviendo
+& el ro crece
!& el puente es arrastrado por las aguas
(& un solo camino es suficiente para toda la ciudad
,& los ingenieros )an cometido un error
(oluci"n
(e escribe en forma simb"lica vertical
- % +
. (% / +) !
0 (% !) (
1 ( 2 ,
,
!ara establecer la validez de este argumento por medio de una tabla de verdad, se
requieren treinta y dos renglones, puesto que )ay cinco proposiciones diferentes
-
3ng %laudia 4ernndez
(enunciados diferentes simples) (e puede demostrar por tablas de verdad que el
argumento es vlido
!uede demostrarse la validez del argumento deduciendo su conclusi"n de sus
premisas por una sucesi"n de argumentos elementales vlidos, as&
!asos&
a) 5e primera premisa se infiere& % (% / + ) por la regla de la absorci"n, as&
p q % +
p (p / q) % (% / +) +egla (6) (abs)
b) 5e conclusi"n de (a) y segunda premisa se infiere& % ! por regla general del
silogismo )ipot#tico, as&
p q % (% / +)
q r (% / +) ! +egla (0) ((4)
p r % !
c) 5e tercera premisa y de la conclusi"n de (b) se infiere& ( por la regla del 7odus
!onens, as&
p q (% !) (
p % ! +egla (-) (7!)
q (
d) 5e cuarta premisa y de la conclusi"n de (c) se infiere& ,
por la regla del silogismo disyuntivo, as&
p v q ( v ,
p ( +egla (1) ((5)
q ,
,l ejemplo de proceso de prueba anterior, puede escribirse ms adecuadamente de la
siguiente forma&
- % +
. (% / +) p
0 (% !) (
1 ( v , 8,
.
9 % (% / +) - (:bs)
6 % p 9,. ((4)
; ( 0,6 (7!)
< , 1,; ((5)
,l anterior proceso, es una !+=,>: ?*+7:L 5, 2:L35,@ de un argumento que se
define as& ',s una sucesi"n de enunciados, cada uno de los cuales, o bien es una
premisa del razonamiento dado, o bien, se deduce de un argumento vlido elemental
(regla de inferencia), y tal que el ltimo enunciado de la serie es la conclusi"n del
argumento cuya validez se quiere demostrarA
=na regla de inferencia, es un argumento vlido elemental que se utiliza para realizar la
prueba formal de validez ,sta regla de inferencia puede demostrarse por medio de
tablas de verdad
Reglas e I!"e#e!$%a
REGLAS DE INFERENCIA
- 7odus !onens (7!)
p q
p
q
. 7odus Bollens (7 / B)
p q
q
p
0 (ilogismo )ipot#tico ((4)
p q p q
q r " r p
p r r q
1 (ilogismo disyuntivo ((5)
p v q
p " q
q p
9 5ilema %onstructivo (5%)
(p q) / (r s)
p v r
q v s
6 :bsorci"n (:bs)
p q
p (q / p) p (p / q)
; (implificaci"n ((imp)
p / q "
p q
< %onjunci"n (%onj)
p p
q " q
p / q q / p
C :dici"n (:d)
p
p v q
E&ERCICIOS
I' Pa#a $aa (!) e l)s s%g(%e!*es a#g(+e!*)s ele+e!*ales ,-l%)s e!(!$%e la
#egla e %!"e#e!$%a +e%a!*e la $(al se s%g(e s( $)!$l(s%.! e s(s
/#e+%sas'
D - (: / >) % (: / >) [(: / >) / %]
0
0 4 3
(4 3) v (4 3)
D 9 EF (* / !)G / EH (H / +)G
F v H
(I / !) v (H / +)
; (( B)v E(= / 2) v (= / J)G
(( B)
[(= / 2) v (= / J)]
C (? K) (K / ?)
(K / ?) (K ?)
(? K) (K ?)
-- (: >) (% v 5)
: >
% v 5
-0 (% v 5) E(L v M) (L / M)G
EL v M) (L / M)G
(% v 5)
D -9 (L M) / (M L)
L 7
E(L M) / (M L)G / (L 7)
. (5 v ,) / (? v K)
5 v ,
1 (L / M) / (L 7)
(L / M)
6 (N v O) (@ / :)
(@ / :)
(N v O)
< (> / %) (5 v ,)
(> / %)
5 v ,
D -I (4 / 3) (4 3)
(3 4) (4 /3)
(3 4) (4 3)
-. E, (? K)G v (% v 5)
E, (? K)G
% v 5
-1 EL (7 F)] (% v 5)
EL (7 F)]
(% v 5)
-6 F (* v !)
H (* v +)
EH (* v +)G / EF (* v !)G
-; (( B) (= 2)
(( B) [(( B) / (= 2)]
-< (J / N) (O @)
E(J / N) (O @)G v (N @)
-C E(4 /3) %G / E(3 / 4) 5]
(4 /3) v (3 /4)
% v 5
1
.I E(* !) HG [(% v 5)G
(% v 5) E(* !) HG
(% v 5) (% v 5)
II' Caa (!a e las s%g(%e!*es es (!a /#(e0a ")#+al e ,al%e1 el
a#g(+e!*) %!%$a)' E!(!$%e la 23(s*%"%$a$%.!4 e $aa l5!ea 6(e !) sea
(!a /#e+%sa e la /#(e0a'
D - - : / >
. (: v %) 58: / 5
0 :
1 : v %
9 5
6 : / 5
. - (, v ?) / (K v 4)
. (, K) / (? 4)
0 K8 4
1 , v ?
9 K v 4
6 4
0 - 3 L 1 - F *
. L M . (F / *) !
0 L 7 0 (F / !) 8 F
1 3 v L 8 M v 7 1 F (F / *)
9 3 M 9 F !
6 (- M) / (L 7) 6 F F / !)
; M v 7 ; F
D 9 - H +
. ( (B =)
0 ( v (H v B)
1 (8 + v =
9 B =
6 (H +) / (B =)
; H v B
< + v =
; - (: v >) %
. (% v >) E: (5 ,)G
0 : / 5 8 5 ,
1 :
9 : v >
6 %
; % v >
< : (5 ,)
C 5 ,
C - - L
. 3 v (M / L)
9
6 - J N
. (J O) (@ v N)
0 (J / N) O
1 @8 N
; M / L
< M
C L
-I L v L
< -? K
. ? (4 K)
0 (3 v 4) K
1 38 4
9 3 v 4
6 K
; ?
< 4 K
C 4
9 J (J / N)
6 J O
; @ v N
< N
0 L M
1 (3 / L) 8 L v L
9 3 (3 / L)
6 3
-I - (L 7) (F *)
. (! H) (7 H)
0 [(!H) v (+ ()] / (F v H)} [(+ () (L 7)]
1 (! H) v (+ ()
9 F v * 8 (7 H) v (F *)
6 E(! H) v (+ ()G / (F v H)
; (+ () (L 7)
< (+ () (F *)
C [(!H) (7 H)] / [(+ () (F *)]
-I (7 H) v (F *)
III' Pa#a $aa (!) e l)s /(!*)s s%g(%e!*es7 a8a%# l)s )s e!(!$%a)s 6(e
se !e$es%*a! /a#a /#)($%# (!a /#(e0a ")#+al e ,al%e1' C)!s*#(9a (!a
/#(e0a ")#+al e ,al%e1 e $aa (!) e l)s s%g(%e!*es a#g(+e!*)s'
D - :
>8 (: v %) / >
0 K
48 (K / 4) v 3
D 9 7 v F
7 / * 8 F

; ( B
B / =8 (
C O @
O 8 O / @
-- 5 ,
(, ?) / (? 5) 8 5 ?
-0 (M / L)
M L 8 M
D -9 (! H) / (+ ()
6
6 ! / H
+8 ! / +
< 2 v J
2 8 J v N
D -I : >
(: / >) % 8 : %
-. (K 4) / (3 L)
K 8 4 v L
-1 (7 F) / (7 *)
F * 8 7 *
-6 (B =) / (B 2)
B 8 = v 2
-< (@ / :) (> / %)
@ : 8 @ (> / %)
. 5 ,
5 / ? 8 ,
1 L M
L 8 M v L
(! v +) / (H v +) 8 H v (
-; (J v N) O
J 8 O
-C 5 ,
E5 (5 / ,)G (? K) 8 ? K
D .I (4 v l) v L
(4 v 3) 8 L v 4
.- (M L) 7
7 / (L M) 8 (M L)
.. (F *) (! H)
E! (F *)G / EF (! H)G8 ! (! H)
.0 + (
( (( / +) 8 E+ (+ / (G / E( (( / +)G
.1 EB (= v 2)] / E= (B v 2)G
(B v =) / (= v 2) 8 (= v 2) v (B v 2)
D .9 (J / N) (O / @) .6 : >
[(J / N) / (O @)G : v %
8 (J / N) % 5 8 > v 5
.; (, / ?) v (K 4)
3 K
(, / ?) 83 4
.C (7 F) / (* !)
F !
(F !) (7 v *) 8 F v !
.< L v M
M v (L L)
L 8 L L
0I H (+ v ()
(B / =) +
(+ v () (B=)8H +
IV' Pa#a $aa (!) e l)s /(!*)s s%g(%e!*es7 a8a%# *#es e!(!$%a)s a las
/#e+%sas /#)($%#- (!a /#(e0a ")#+al e ,al%e1' C)!s*#(9a (!a /#(e0a
")#+al e ,al%e1 /a#a $aa (!) e l)s s%g(%e!*es a#g(+e!*)s'
D - : v (> :)
: / % 8 >
0 (4 3) / (4 L)
;
. (5 v ,) (? / K)
5 8 ?
1 (M / L) 7
M L 8 M E(M / L) / 7G
6 H +
+ (
( 8 H / +
4 / (3 v L) 8 3 v L
D 9 F E(F / *) !G
F / * 8 !
; B =
2 v =
2 / J 8 B
C (: v >) %
% v 5
: 8 5
-- (4 l) / (L M)
M v 4
M 8 3
-0 (! H) / (H !)
. (
+ (
! v + 8 H v (
-9 (@ / :) >
> :
(> / :) (: / >) 8 (@ / :) (: / >)
V' C)!s*#(9a (!a /#(e0a ")#+al e ,al%e1 /a#a $aa (!) e l)s s%g(%e!*es
a#g(+e!*)s'
<
D -: >
: v (% / 5)
> / ,
%
0 (7 / F) (* F)
F 7
7
*
D 9 (H +) / (( B)
(= 2) / (J N)
H v =
+ v 2
; : >
% 5
: v %
(: / >) v (% / 5)
. (? K) / (4 3)
L M
(? v L) / (4 v L)
K v M
1 (M v L) (7 v F)
(7 v F) (* / !)
M
*
6 J N
(J / N) O
(J / O) @
J @
< (, v ?) (K / 4)
(K v 4) 3
,
3
< N O
@ N
N 8 O @
D -I , v ?
? v (, v K)
, 8 K
-. L v (7 F)
L (F *)
L 8 7 *
-1 (B =) / (2 J)
(= N) / (J O)
B 8 N v O
C L M
M v L
(L / L) (7 / L)
M
7
V' C)!s*#(9a (!a /#(e0a ")#+al e ,al%e1 /a#a $aa (!) e l)s s%g(%e!*es
a#g(+e!*)s7 (sa!) las a0#e,%a*(#as s(ge#%as e! $aa $as)'
D - (i gana Kertrudis o 4eriberto, entonces pierden tanto Luana como
Mennet) Kertrudis gana !or lo tanto, pierde Luana (K& Kertrudis gana, 4& 4eriberto
gana, L& Luana gana, M& Mennet) pierde)
. (i ingresa :dams, entonces crecer el prestigio social del club; si >aPer
ingresa, la posici"n financiera del club ser ms segura * bien :dams o >aPer
ingresarn (i se incrementa el prestigio social, ingresar >aPer y si la posici"n
financiera se )ace ms segura, entonces ingresar Jilson !or lo tanto, o bien >aPer
o Jilson ingresarn (:& ingresa :dams, (& el prestigio social del club crecer, >&
ingresar >aPer, ?& la posici"n financiera del club ser ms segura, J& Jilson
ingresar)
0 (i >roQn recibi" el cable, entonces tom" el avi"n; y si tom" el avi"n,
entonces no llegar tarde a la reuni"n (i el cable tena una direcci"n equivocada,
entonces >roQn llegar tarde a la reuni"n * bien >roQn recibi" el cable, o bien el
cable tena una direcci"n equivocada !or lo tanto, o bien >roQn tom" el avi"n o bien
llegar tarde a la reuni"n (+& >roQn recibi" el cable, B& >roQn llegar tarde a la
reuni"n, :& >roQn tom" el avi"n, ,& el cable tena una direcci"n equivocada)
1 (i Feville compra el terreno, entonces se construir un edificio para oficinas;
mientras que si !eyton compra el terreno, entonces lo vender de nuevo
rpidamente (i +ivers compra el terreno, entonces se construir una bodega; y si se
construye una bodega, entonces B)ompson ofrecer alquilarla * Feville o +ivers
compran el terreno !or lo tanto, se construir un edificio para oficinas o una bodega
C
-I (F v *) !
(! v H) +
H v F
+
(F& Feville compra el terreno, *& se construir un edificio para oficinas, !& !eyton
compra el terreno, 2& el terreno se vender de nuevo rpidamente, +& +ivers compra
el terreno, >& se construir una bodega, B& B)ompson ofrecer alquilar la bodega)
D 9 (i :nderson fue electo candidato, entonces fue a >oston (i fue a >oston,
entonces )izo campaRa en esa ciudad (i )izo campaRa en >oston, se encontr" con
5ouglas :nderson no se encontr" con 5ouglas * :nderson fue electo candidato o
se eligi" a alguien con mayores posibilidades !or tanto, se eligi" a alguien con
mayores posibilidades
6 (i Lacobson va a la reuni"n, entonces se presentar un informe completo;
pero si Lacobson no va a la reuni"n, entonces ser necesario )acer una elecci"n
especial (i se presenta un informe completo, entonces se iniciar una investigaci"n
(i Lacobson va a la reuni"n, se presentar un informe completo y la presentaci"n de
un informe completo implica que se iniciar una investigaci"n, entonces o bien
Lacobson va a la reuni"n y se inicia una investigaci"n, o bien Lacobson no va a la
reuni"n y no se inicia investigaci"n alguna (i Lacobson va a la reuni"n y se inicia
una investigaci"n, entonces algunos miembros comparecern ante los tribunales
!ero si Lacobson no va a la reuni"n y no se inicia investigaci"n alguna, entonces la
organizaci"n se desintegrar rpidamente !or lo tanto, o bien algunos miembros de
la organizaci"n tendrn que comparecer ante los tribunales o bien la organizaci"n se
desintegrar rpidamente =& Lacobson va a la reuni"n, %& se presentar un informe
completo, ,& es necesaria una elecci"n especial, -& se inicia una investigaci"n, B&
algunos miembros tienen que comparecer ante los tribunales, 5& la organizaci"n se
desintegrar rpidamente)
; (i :na est presente, entonces >ill estar presente (i :na y >ill estn
presentes los dos, entonces %arlos o 5oris sern electos (i o bien %arlos o 5oris
son electos, entonces ,lmer no dominar realmente el club (i la presencia de :na
implica que ,lmer no dominar realmente el club, entonces ?lorencia ser el nuevo
presidente :s, ?lorencia ser el nuevo presidente (:& :na est presente, >& >ill
estar presente, %& %arlos ser electo, 5& 5oris ser electa, ,& ,lmer realmente
dominar el club, ?& ?lorencia ser el nuevo presidente)
-I
< (i el seRor 3ones es el vecino del guardafrenos, entonces las ganancias
anuales del seRor 3ones son e$actamente divisibles entre tres (i las ganancias del
seRor Lones son e$actamente divisibles entre tres, entonces .I,III d"lares son
e$actamente divisibles entre tres !ero .I,III d"lares no son e$actamente divisibles
entre tres (i el seRor +obinson es el vecino del guardafrenos entonces vive
e$actamente a la mitad del camino entre 5etroit y %)icago (i el seRor +obinson vive
en 5etroit, entonces no vive a la mitad del camino entre 5etroit y %)icago ,l seRor
+obinson vive en 5etroit (i Lones no es el vecino del guardafrenos, entonces
+obinson o (mit) es el vecino del guardafrenos !or lo tanto, el seRor (mit) es el
vecino del guardafrenos =& el seRor Lones es el vecino del guardafrenos, ,& las
ganancias del seRor Lones son e$actamente divisibles entre tres, B& .I,III d"lares
son e$actamente divisibles entre tres +& el seRor +obinson es el vecino del
guardafrenos 4& el seRor +obinson vive a la mitad del camino entre %)icago y
5etroit, 5& el seRor +obinson vive en 5etroit, (& el seRor (mit) es el vecino del
guardafrenos)
C (i el seRor (mit) es el vecino del guardafrenos, entonces el seRor (mit)
vive a la mitad del camino entre 5etroit y %)icago (i el seRor (mit) vive a la mitad
del camino entre 5etroit y %)icago, entonces no vive en %)icago ,l seRor (mit) es
el vecino del guardafrenos (i el seRor +obinson vive en 5etroit, entonces no vive en
%)icago ,l seRor +obinson vive en 5etroit ,l seRor (mit) vive en %)icago o bien el
seRor +obinson o el seRor Lones vive en %)icago (i el seRor Lones vive en %)icago,
entonces el guardafrenos es 3ones !or lo tanto, el guardafrenos es 3ones ((& el seRor
(mit) es el vecino del guardafrenos, J& el seRor (mit) vive a la mitad del camino
entre 5etroit y %)icago, L& el seRor (mit) vive en %)icago, 5& el seRor +obinson vive
en 5etroit, 3& el seRor +obinson vive en %)icago, %& el seRor 3ones vive en %)icago,
>& ,l guardafrenos es el seRor 3ones)
-I (i (mit) una vez derrot" al fogonero en el billar, entonces (mit) no es
fogonero (mit) derrot" una vez al fogonero en el billar (i el guardafrenos es 3ones,
entonces 3ones no es el fogonero ,l guardafrenos es Lones (i (mit) no es el
fogonero y Lones no es el fogonero, entonces +obinson es el fogonero (i el
guardafrenos es Lones y +obinson es el fogonero, entonces (mit) es el maquinista
--
!or lo tanto, (mit) es el maquinista (--& (mit) derrot" una vez al fogonero en el
billar, 7& (mit) es el fogonero, K& el guardafrenos es 3ones, F& 3ones es el fogonero,
+& +obinson es el fogonero (& (mit) es el maquinista)
II- LA REGLA DE REEMPLAZO :Regla e e6(%,ale!$%as;
Fo siempre un argumento vlido o invlido, se puede comprobar por medio de las C
reglas de inferencia; por eso, se utilizan otras reglas conocidas como +,KL:( 5,
+,,7!L:@* (+,KL:( 5, ,H=32:L,F%3:), que se sustituyen o reemplazan
(segn sea necesario) para lograr la demostraci"n o prueba de validez del
argumento
REGLA DE REEMPLAZO
-I Beoremas de 5e 7organ (5e 7)
a) (p q) (p v q)
b) (p v q) (p / q)
-- %onmutaci"n (%onm)
a) (p v q) (q v p)
b) (p q) (q / p)
-. :sociaci"n (:soc)
a) Ep v (q v r)G E(p v q) v rG
b) Ep (q r)G E(p q) rG
-0 5istribuci"n (5ist)
a) Ep (q v r)G E(p q) v (p r)G
b) Ep v (q r)G E(p v q) (p v r)G
-1 5oble negaci"n (5F)
p p
-9 Bransposici"n (Brans)
(p q) (q p)
-6 3mplicaci"n 7aterial (3mpl)
(p q) (p v q)
-; ,quivalSncia 7aterial (,quiv)
a) (p q) E(p q) (q p)G
b) (p q) E(p q) v (p q)G
-< ,$portaci"n (,$p)
E(p q) rG Ep (q r)G
-C Bautologia (Baut)
a) p (p v p)
b) p (p p)
,jemplo
%onstruir una prueba de validez para el siguiente argumento, usando la notaci"n
sugerida
'(i el papel tornasol se vuelve rojo, entonces la soluci"n es un "$ido Luego, si el
papel se vuelve rojo, entonces o la soluci"n es un "$ido o )ay algo que anda malA
(+, :, J)
(oluci"n
+ T si el papel tornasol se vuelve rojo
: T la soluci"n es un "$ido
-.
J T )ay algo que anda mal
,l argumento + :
en smbolos es + (: v J)
!rueba por regla de reemplazo
- + : 8 + (: v J)
. + v : - (3mpl) U !or regla de reemplazo (-6)
3mplicaci"n material
p q (p v q)
0 (+ v :) v J . (ad) U !or regla de adici"n (C)
p
p v q
1 + v (: v J) 0 (asoc) U !or regla de asociaci"n (-.a)
[p v (q v r)] [(p v q) v r]
9 + (: v J) 1 (3mpl) U !or regla de implicaci"n mat (-6)
p q ( p v q)
=na forma adecuada de escribir el proceso de la prueba es&
- + : 8 + (: v J)
. + v : - 3mpl
0 (+ v :) v J . ad
1 + v (: v J) 0 asoc
9 + (: v J) 1 3mpl
E&ERCICIOS'
I' Pa#a $aa (!) e l)s s%g(%e!*es a#g(+e!*)s7 e!(!$%a# la #egla e %!"e#e!$%a
/)# la $(al la $)!$l(s%.! se s%g(e e las /#e+%sas'
D - (: >) / (% 5)
(: >) / (5 %)
0 (E3 (L M)] / (L 3)
-0
. (, ?) / (K 4)
(, v ?) / (K 4)
1 EL (7 v F)G v EL (7 v n)G
L (7 v F)
6 (+ v () (+ v ()
(+ / () (+ v ()
E(3 / L) MG / (L 3)
D 9 * E(! H) /(H !)
* (! H)
-1
; (B v =) / E(J / 2) BG
(B v =) /EJ (2 B)G
< (N v O) /(N v O)
E(N v O) / NG v E(N v O) / O]
C @ (: >)
@ (: >)
D -I E% / (5 / ,)G / E(% / 5) / ,]
E(% / 5) / ,] / E(% / 5) / ,G
-- (? v K) / (? K)
(? K) / (? K)
-. (4 3) (3 L)
(4 3) (L 3)
-0 (M L) (7 / F)
(M L) (7 / F)
-1 E(* v !)v HG / E* v (! v H)]
E * v (! v H)G / E* v (! v H)G
D -9 E(+ v () / BG v E(+ v () / =G
(+ v () / (B v =)
-6 E2 (J v N)G (O v @)
{E(2 (J v N)G / E2 V(J v N)]W (O v @)
-; E(: / >) / (% v 5)G v E(: / >) / (% y 5)G
(: / >) (% v 5)
-< E, v (? K)G / E, v (? K)G
E, v (? K)G / E, v (? K)G
-C E4 / (3 v L)G v E4 / (M L)G
4 / E(3 v L) v (M L)G
.I (7 v F) (* !)
(7 / F) (* !)
II' Caa (!) e l)s s%g(%e!*es a#g(+e!*)s es (!a /#(e0a ")#+al e ,al%e1 el
a#g(+e!*) %!%$a)' E!(!$%a# la 23(s*%"%$a$%.!4 e $aa l5!ea 6(e !) sea (!a
/#e+%sa'
D - - : >
. % > 8 : %
0 > %
1 > %
9 : %
0 - (4 v 3) EL / (M / L)G
. 3 8 L / M
0 3 v 4
1 4 v 3
9 L / (M / L)
6 (L / M) / L
; L / M
D 9 - (H v +) v (
. H v (+ / H)
8 + (
0 (H v +) / (H v H)
1 (H v H) / (H v +)
9 H v H
6 H
; H v (+ v ()
< + v (
C + (
; - O @
. @ EO (+ v ()G
0 + (
1 (+ / () 8 O
9 (+ / () v (+ / ()
6 + / (
-9
. - (5 / ,) ?
. (5 ?) K 8 , K
0 (, / 5) ?
1 , (5 ?)
9 , K
1 - (7 v F) (* / !)
. * 8 7
0 * v !
1 (* / !)
9 (7 v F)
6 7 / F
; 7
6 - B / (= v 2)
. B E= (J / N)G
0 (B / 2) (J v N)
8 J N
1 (B / =) (J / N)
9 (B / 2) (J / N)
6 E(B / =) (J / N)G /
E(B / 2) (J / N)G
; (B/ =) v (B / 2)
< (J / N) v (J / N)
C J N
< - : >
. > %
0 % :
1 : % 8 : / %
9 : %
6 (: %) / (% :)
; : %
< (: / %) v (: / %)
C : v %
-I (: / %)
-- : / %
-I - (3 v L) / M
. EL (M / L)] /
; (+ v ()
< O EO (+ v ()G
C (O / O) (+ v ()
-I O (+ v ()
-- O
C - (5 / ,) ?
. ? v (K / 4)
0 5 , 8 5 K
1 (5 ,) / (, 5)
9 5 ,
6 5 (5 / ,)
; 5 ?
< (? v K) / (? v 4)
C ? v K
-I ? v K
-- ? K
-. 5 K
III' Pa#a $aa (!) e l)s s%g(%e!*es a#g(+e!*)s7 a8a%# e<a$*a+e!*e l)s )s
e!(!$%a)s 6(e =a$e! "al*a a las /#e+%sas /a#a /#)($%# (!a /#(e0a ")#+al e
,al%e1' C)!s*#(%# (!a /#(e0a ")#+al e ,al%e1 /a#a $aa (!) e l)s s%g(%e!*es
a#g(+e!*)s'
D - : : 8 : . > / (% / 5) 8 % / (5 / >)
0 , 8 (, v ?) / (, v K)
D 9 M v (L 7) 8 (M / L) 7
; H E+ (( B)G
H (H / +) 8 H (( B)
C J N
O N 8 J O
-- % 5
, 5 8 % ,
-0 4 (3 / L)
-6
1 4 v (3 / L) 8 4 v 3
6 (F / *) ! 8 (F / *)
EF / (* / !)G
< = 2
2 8 =
D -I @ :
: v > 8 @ >
-. ? K
(? / K) 8 ? / K
-1 (L 7) / (F 7)
L v F 8 7
-6 (( / B) v (= / 2)
( v B 8 = / 2
-< (: v >) (% v 5)
% / 5 8 (: v >)
D .I 3 EL v (M v L)G
E(L v M) v L] 8 3
EM (3 7)G
8 (7 / L)
0 E(M / L)G L] /
EM (3 / 7)G
1 E(M / L) LG /
E(M / 3) 7]
9 (3 v L) / M
6 M / (3 v L)
; (M / 3) v (M / L)
< (M / L) v (M / 3)
C L v 7
-I 7 v L
-- 7 v L
-. (7 / L)
3 (L M) 8 4 M
D -9 (* v !) (H v +)
! v * 8 H v +
-; (J / N) O
(N O) @ 8 J @
-C (, / ?) (K / 4)
? / , 8 K / 4
.- (7 F) / (* v !)
7 v * 8 F v !
.0 E(= 2) / (2 =)G
(J N) (= 2)
8 (J N)
D .9 : v >
% v 5 8 E(: v >) / %G v
E(: v >) 5]
.; (L / M) E(L / 7) v (F / *)G
(L / 7) / (F / *) 8 (L / M)
.< (! H) E(+ v () / (B =)G
(+ v () E(B =) H] 8 (! H) H
.C E2 / (J v N)G (O @)
(O @) v (J :) 8 E2 / (J v N) (J :)
0I E(> %) / (% >)G
(5 / ,) (> %) 8 (5 / ,)
IV' Pa#a $aa (!) e l)s s%g(%e!*es a#g(+e!*)s7 a8a%# l)s *#es e!(!$%a)s
6(e =a$e! "al*a a las /#e+%sas /a#a /)e# /#)($%# (!a /#(e0a ")#+al e
,al%e1' C)!s*#(%# (!a /#(e0a ")#+al e ,al%e1 /a#a $aa (!) e l)s s%g(%e!*es
a#g(+e!*)s'
D - : : 8 :
0 , v (? / K) 8 , v K
-;
. > v (% / 5) 8 > %
1 4 / (3 / L) 8 L / (3 / 4)
6 * !
! ! 8 *
< B =
(= v 2) 8 B
D -I (@ v :) v >
: 8 @ v >
-. K 4
4 K 8 (K / 4) v (K /4)
.. (H +) / (( B)
(H v () 8 + v B
.1(O @) / (@ O)
8 (O / @) v (O / @)
.6 E(, v ?) / (K v 4)G (? / 3)
(K v 4) / (, v ?) 8 ? / 3
D 9 E(M v L) v 7G v F
8 (F v M) v (L v 7)
; H (+ ()
H + 8 H (

C J / (N v O)
J v N 8 J / O
-- (% v 5) (, / ?)
5 v % 8 ,
-0 (3 L) / (M L)
3 v (M / 7) 8 L v L
-9 E+ (( B)] / E(+ / B) =G
+ / (( v B) 8 B v =
V' L)s e3e#$%$%)s e es*a se#%e $)##es/)!e! a /a*#)!es "#e$(e!*es e
%!"e#e!$%a 6(e se =alla! e! /#(e0as +-s e<*e!sas e ,al%e1' La "a+%l%a#%a
$)! ellas se#- >*%l e! el *#a0a3) s(0se$(e!*e' C)!s*#(%# (!a /#(e0a ")#+al e
,al%e1 /a#a $aa (!) e l)s s%g(%e!*es a#g(+e!*)s'
D - :
: >
0 , (? K)
? (, K)
D 9 M L
M (L v 7)
; (H v +) (
H (
C J N
O N
(J v O) N
VI' C)!s*#(%# (!a /#(e0a ")#+al e ,al%e1 /a#a $aa (!) e l)s s%g(%e!*es
a#g(+e!*)s'
-<
(F / !) *
< B =
B 2 8 B (= / 2)
-I @ :
@ v :
:
. %
5 %
1 4 (3 / L)
4 3
6 F *

-1 (F / *) !
(! *) H 8 F
H
D - : >
(% / :)
% >
0 (K 4) 3
(K / 4)
3 v 4
D 9 E(7 / F) / *G !
H E(* / 7) / F]
H v !
; (2 J) / (N J)
(N / 2)
J
C 5 (, ?)
(? / 5) K
K ,
-- 7 F
7 (F *)
7 *
-0 B (= / 2)
(= v 2) J
B J
D -9 (@ @) (: :)
(: :) (@ @)
: :
-; ? v E(K / 4) / (K v 4)G
(K 4) E(4 K) 3)G
? (? / 3)
-C (7 F) / (* !)
F v !
(7 / *) H
H
-C
. (5 / ,) ?
5 %
1 L v M) L
L
L
6 + v (( / B)
(+ v () (= v B)
< E(O / @) :G / E(O / >) %G
(> v @) / O
: v %
D -I E4 v (3v L)G (M L)
L E3 v (L v 4)G
(L / M) L
-. (! H) / (! v +)
(+ () / (+ v !)
H v (
-1 (N v O) (N / O)
(N v O)
-6 > v E(% 5) / (, 5)G
> / (% v ,)
5
-< L v (L / M)
L L
(L / L) L
.I (+ v () (B / =)
+ (2 2)
B
2
VII' C)!s*#(%# (!a /#(e0a e ,al%e1 /a#a $aa (!) e l)s s%g(%e!*es
a#g(+e!*)s7 (sa!) e! $aa $as) la !)*a$%.! s(ge#%a'
D - I bien el gerente no not" el cambio o lo aprob" Xl not" el cambio, por lo
tanto, debe )aberlo aprobado (F, :)
. I bien el o$geno del tubo se combin" con el filamento para producir un
"$ido, o bien se evapor" completamente ,l o$geno del tubo no se evapor"
totalmente !or tanto, el o$geno del tubo se combin" con el filamento para producir
un "$ido (%, ,)
0 (i un )ombre de ,stado que comprende que sus anteriores opiniones eran
err"neas no modifica su poltica, es culpable de engaRar a la gente, y si altera, su
poltica, se e$pone a que lo acusen de contradecirse * bien altera su poltica o no lo
)ace !or tanto, o bien es culpable de engaRar a la gente o bien se e$pone a que lo
acusen de contradecirse (:, 5, -)
1 Fo es el caso que o bien se olvid" o no fue capaz de terminar !or lo tanto,
fue capaz de terminar (I, B)
D 9 (i el papel tornasol se vuelve rojo, entonces la soluci"n es un "$ido
Luego, si el papel se vuelve rojo, entonces o la soluci"n es un "$ido o )ay algo que
anda mal (+, :, J)
6 ("lo puede tener muc)os amigos si los respeta como individuos (i los
respeta como individuos, no puede esperar que se comporten todos de la misma
manera Xl tiene muc)os amigos Luego, no espera que todos se comporten de la
misma manera (:, +, ,)
; (i la vctima tena dinero en sus bolsillos, entonces el robo no fue el motivo
del crimen !ero el motivo del crimen fue, o bien el robo, o bien la venganza Luego,
el motivo del crimen debe de )aber sido la venganza (7, +, 2)
< (i usurp" un poder que no le corresponda por derec)o, Fapole"n debe ser
condenado * Fapole"n fue un monarca legtimo, o usurp" un poder que no le
corresponda por derec)o Fapole"n no fue un monarca legtimo Luego, Fapole"n
debe ser condenado (%, =, L)
C (i ampliamos el cr#dito a la cuenta de los JilPin, #stos tendrn la obligaci"n
moral de aceptar nuestro ofrecimiento en lo relativo a su pr"$imo proyecto 4acer
.I
aparecer un mayor margen de utilidad en la preparaci"n de nuestro presupuesto
provocar una considerable mejora de nuestra situaci"n financiera general !or
consiguiente, de nuestra e$tensi"n del cr#dito a la cuenta de los JilPin se derivarn
considerables mejoras en nuestra situaci"n financiera general (%, 7, !, 3)
D -I (i las leyes son buenas y su cumplimiento es estricto, disminuir el
delito (i el cumplimiento estricto de la ley )ace disminuir el delito, entonces nuestro
problema es de carcter prctico Las leyes son buenas, luego nuestro problema es
de carcter prctico (>, ,, 5, !)
-- (i la ciudadana romana )ubiera tenido garantas de las libertades civiles,
los ciudadanos romanos )abrn gozado de libertad religiosa (i los ciudadanos
romanos )ubieran gozado de libertad religiosa, entonces no se )abra perseguido a
los primeros cristianos !ero los primeros cristianos fueron perseguidos !or
consiguiente, la ciudadana romana no puede )aber tenido garantizados los
derec)os civiles (K, L, !)
-. (i el primer disyuntivo de una disyunci"n es verdadero, la disyunci"n es
verdadera Luego, si tanto el primer disyuntivo como el segundo de una disyunci"n
son verdaderos, la disyunci"n es verdadera (!, B, ()
-0 (i se quiere ubicar apropiadamente el nuevo palacio de justicia, tendr que
siturselo en el coraz"n de la ciudad; y si se quiere que cumpla adecuadamente sus
funciones, es menester que se lo construya de dimensiones bastante grandes como
para que pueda albergar a todas las oficinas del :yuntamiento (i se ubica al nuevo
palacio de justicia en el coraz"n de la ciudad y se lo construye de dimensiones
bastante grandes como para que albergue a todas las oficinas del :yuntamiento,
costar ms de un mill"n de d"lares Luego, o el nuevo palacio de justicia tendr una
ubicaci"n inconveniente, o ser inadecuado para sus funciones (B, %, y, !, I)
-1 (i 3n#s recibe el mensaje, vendr, siempre que est# todava interesada
:unque no )aya venido, an est interesada Luego, no recibi" el mensaje
(%, 7, 3)
D -9 (i la descripci"n mosaica de la cosmogona es estrictamente cierta, el
(ol no fue creado sino )asta el cuarto da O si el (ol no fue creado )asta el cuarto
da, no puede )aber sido la causa de la sucesi"n del da y de la noc)e durante los
.-
tres primeros das !ero, o bien las ,scrituras usan la palabra 'daA en un sentido
diferente al aceptado corrientemente en la actualidad, o bien el (ol debe )aber sido
la causa de la sucesi"n del da y de la noc)e durante los primeros tres das 5e esto
se sigue que, o bien la descripci"n mosaica de la cosmogona no es estrictamente
cierta, o bien la palabra 'daA se usa en las ,scrituras en un sentido diferente al
aceptado corrientemente en la actualidad (7, %, :, 5)
-6 (i el cajero o el contador )ubieran apretado el bot"n de alarma, la b"veda
se )abra cerrado automticamente y la polica )abra llegado en tres minutos (i la
polica )ubiera llegado en tres minutos, )abra podido alcanzar el autom"vil de los
ladrones, luego el cajero no apret" el bot"n de alarma (B, %, 2, !, *)
-; (i un )ombre se orienta siempre por su sentido del deber, tiene que
renunciar al goce de muc)os placeres, y si se gua siempre por su deseo de placer, a
menudo olvidar su deber * bien un )ombre se gua siempre por su sentido del
deber, o bien siempre se orienta por su deseo de placer (i un )ombre se gua
siempre por su sentido del deber, no descuidar a menudo su deber, y si siempre se
gua por su deseo de placer, no renunciar al goce de muc)os placeres Luego, un
)ombre debe renunciar al goce de muc)os placeres si y s"lo si no descuida a
menudo su deber (5, *, ?, F)
-< :unque est aumentando la poblaci"n mundial, la producci"n agrcola est
decayendo y la producci"n manufacturera permanece constante (i la producci"n
agrcola declina y la poblaci"n mundial se incrementa, entonces o bien se dispondr
de nuevas fuentes de alimentaci"n o )abr una redistribuci"n radical de los recursos
alimenticios en el mundo a menos que los requerimientos alimenticios )umanos
disminuyan Fo se dispondr de nuevas fuentes alimenticias, ni la planeaci"n familiar
se estimular ni disminuirn los requerimientos alimenticios !or lo tanto, )abr una
radical redistribuci"n de los recursos alimenticios en todo el mundo (J, :, 7, F, +,
4, !)
-C I bien el ladr"n entr" por la puerta, o el robo fue cometido desde dentro y
uno de los sirvientes debe estar involucrado en #l ,l ladr"n s"lo pudo entrar por la
puerta si el cerrojo fue levantado desde dentro; pero uno de los sirvientes
..
seguramente se )alla implicado en el robo, si el cerrojo fue levantado desde dentro
!or ende, uno de los sirvientes est involucrado en el robo (5, 3, (, L)
D .I (i pago al sastre, no me quedar dinero (olamente puedo llevar a mi
novia al baile si tengo dinero (i no la llevo al baile, se sentir desdic)ada !ero si no
le pago al sastre, no me entregar el traje y sin #l no puedo llevar a mi novia al baile
* le pago al sastre o no le pago !or tanto, mi novia tendr que sentirse desdic)ada
(!, 7, 5,=, ()
.- (i estudias )umanidades, desarrollars tu comprensi"n de las dems
personas (i estudias ciencias, desarrollars un entendimiento del mundo que te
rodea (i estudias ciencias o )umanidades, desarrollars un entendimiento de las
personas o del mundo que te rodea (4, !, (, J)
.. (i estudias )umanidades, desarrollars una comprensi"n de las dems
personas, y si estudias ciencias, desarrollars un entendimiento del mundo que te
rodea (i estudias tanto ciencias como )umanidades comprenders a las dems
personas y al mundo que te rodea (4, !, (, J)
.0 (i tienes libre albedro, tus acciones no estn determinadas por eventos
anteriores (i tienes libre albedro, entonces si tus acciones no estn determinadas
por eventos anteriores, entonces tus acciones no se pueden predecir (i tus acciones
no estn determinadas por eventos anteriores, entonces si tus acciones no se
pueden predecir, entonces las consecuencias de ellas tampoco se pueden predecir
!or lo tanto, si uno tiene libre albedro, las consecuencias de las propias acciones no
se pueden predecir (?, :, !, %)
.1 ("crates fue un gran fil"sofo !or tanto, ("crates estuvo felizmente
casado o no estuvo felizmente casado (K, 4)
.9 (i o bien ("crates estuvo felizmente casado o no estuvo felizmente
casado, entonces fue un gran fil"sofo !or lo tanto, fue un gran fil"sofo (4,K)
III ? PRUEBA DE INVALIDEZ
(e aplica cuando no logramos realizar la prueba formal de validez, por falta de
ingenio
.0
(e utiliza el proceso de tablas de verdad para probar la validez o invalidez de un
argumento, tal como se )izo en la l"gica simb"lica as; si un argumento, tiene al
menos una combinaci"n de valores de verdad de sus proposiciones tal que, sus
premisas sean verdaderas y su conclusi"n sea falsa, el argumento es invlido, de lo
contrario ser vlido
(e busca )acer una asignaci"n de valores de verdad a las proposiciones que )agan
verdaderas las premisas y falsa la conclusi"n
,jemplo& 4acer la prueba de invalidez del argumento
'(i el gobernador favorece la construcci"n pblica de viviendas, entonces restringe el
alcance de las empresas privadas de construcci"n
(i el gobernador es un radical, estar a favor de restringir el alcance de las empresas
privadas de construcci"n !or lo tanto, si el gobernador favorece la construcci"n
pblica de viviendas, es un radicalA
(oluci"n
a) ,n smbolos& ? + & -Y premisa
! + & .Y premisa
? ! & %onclusi"n
b) (e escriben las premisas y conclusi"n en forma )orizontal
(-) (.) (%)
? + ! ? + ! + ? !
2 2 ? 2erdadero 2erdadero ?also
c) ZHu# valores de verdad deben asignarse a las proposiciones para tener la
condici"n de invalidez anterior[
i) Fecesariamente ! T falso !ara& ? ! T ?also
? T 2erdadero
ii) ,n& ! + T 2erdadero como ! T falso
+ T verdadero
Bomamos +T verdadero
iii) ,n& ? + T 2erdadero como + T verdadero
.1
? T falso o verdadero
Bomamos ? T verdadero
d) (e concluye que el argumento es invlido con la asignaci"n& ? T verdadero, + T
verdadero y ? T falso Fo importa que e$ista otra asignaci"n de valores de verdad
para las proposiciones ya que, basta que una cumpla la condici"n de invalidez
E&ERCICIOS
P#(e0e la %!,al%e1 e $aa (!) e l)s s%g(%e!*es a#g(+e!*)s /)# el +@*)) e
as%g!a# ,al)#es e ,e#a'
D - : >
% 5
: v 5
> v %
0 3 v L
(M / L)
(3 / L)
L M
D 9 ( (B =)
2 (J N)
B (2 / J)
(B / N)
( =
; 5 (, v ?)
K (4 v 3)
, (3v L)
(3 K) / (4 K)
L
5 (K v 3)
C (( B) / (B ()
(= / B) v (B / =)
(= v 2) v (( v B)
.9
< M (L / 7)
(L F) v M
* (! v F)
(! v H) / H
(+ v !) v 7
M +
-I : (> %)
(5 >) / (, :)
? v %
K 4
(3 K) / (4 L)
3 5
(> 4) / (4 5)
, ?
. (, / ?)
(, / ?) (K / 4)
4 K
K
1 7 (F v *)
F (! 2 H)
H +
(+ v !)
7
6 : (> v %)
> (% v :)
% (: v >)
:
> v %
= (J / N)
(2 () / (2 O)
N (O N)
(= v () / (2 v @)
N / @
.6