FILOSOFIA

QUADERN D’ EXERCICIS DE LÒGICA II

FORMALITZA ELS ARGUMENTS I FES LA SEVA PROVA D’INVALIDESA

1) Formalitza i demostra: "Si no hi ha control de naixements, llavors la

població creix il·limitadament. Però si la població creix il·limitadament,
augmentarà l'índex de pobresa. Per tant, si no hi ha control de naixements,
augmentarà l'índex de pobresa".

2) Formalitza i demostra: "Si el candidat a la presidència del govern ofereix

un bon programa, tindrà la majoria absoluta al Parlament. Però no obté la
majoria. Doncs, aleshores és que el candidat esmentat no ofereix un bon
programa de govern".

3) Formalitza i demostra: "Si els mitjans de comunicació col·laboren

en el manteniment de la democràcia i les llibertats ciutadanes, llavors
és que no recolzen les dictadures. Doncs, si recolzen les dictadures
és que no col·laboren en el manteniment de la democràcia i les
llibertats ciutadanes".

4) Formalitza i demostra: "Si algú mor a una guerra i s'esdevé una

espiral de violència, llavors disminueixen les possibilitats d'arranjament
pacífic. Doncs, si algú mor a una guerra, s'origina una espiral de
violència i llavors disminueixen les possibilitats d'arranjament pacífic".

5) Formalitza i demostra: "Si es dóna la possibilitat d'un nou

descobriment científic espacial, llavors hi haurà la possibilitat de trobar
vida a l’univers", és una expressió que implica que "si augmentem el
pressupost en ciència hi haurà la possibilitat de trobar vida a l’univers”,
és una altra expressió que ve implicada per aquesta darrera: "que "si
augmentem el pressupost en ciència es dóna la possibilitat d'un nou
descobriment científic espacial ".

1
 6) Formalitza i resol: Demostra que aquesta expressió "com és el cas
que les centrals nuclears són molt perilloses, llavors si es necessita un
40% del seu pressupost (cosa molt elevada, per cert) per a mesures de
seguretat, aleshores resulta una inversió socialment poc rendible" és una
expressió que implica que "si les central nuclears són enormement
perilloses i es necessita un 40% del seu pressupost, llavors resulten una
inversió socialment poc rendible".

7) Formalitza i demostra: "O hem de filosofar o no hem de fer-ho. Si

ho hem de fer, llavors hem de fer-ho. Si no ho hem de fer, llavors també
hem de fer-ho (per a explicar per què no hem de fer-ho). Doncs, en
qualsevol cas, hem de filosofar".

8) Formalitza i demostra: "Si el Govern ofereix una política econòmica

conseqüent, no serà possible preveure el seu fracàs. Però, si parteix de la
construcció d'un Estat fort, llavors si serà possible preveure'l. Doncs, no
és veritat alhora que el Govern ofereix una política econòmica
conseqüent ni parteix de la construcció d'un Estat fort".

9) Formalitza i demostra: "Si els joves socialistes alemanys fan costat

a Brandt, llavors renuncien al seu programa de reivindicacions. I, si lluiten
contra ell, afavoreixen Strauss. Però, una de dues: o fan costat a Brandt
o lluiten contra ell. Doncs, els joves socialistes alemanys hauran de
renunciar al seu programa de reivindicacions o afavorir Strauss".

10) Formalitza i demostra que la següent expressió: "si es forma un

govern de coalició i el nostre partit entra a formar part del Govern, llavors
es pot estabilitzar la democràcia i milloraran els negocis i l’economia", es
dedueix de "si es forma un govern de coalició, es pot estabilitzar la
democràcia; i si el nostre partit entra en el Govern, milloraran els negocis
i l’economia".

2
 11) Formalitza i demostra: "Una de dues: o anem a Mallorca o anem
a Donosti. Si anem a Mallorca renunciarem a dos dies de vacances. Si
anem a Donosti haurem de dormir en l'autobús. Doncs, haurem de
renunciar a dos dies de vacances o dormir en l'autobús".

12) Formalitza i resol: "Si els socialistes recolzen als centristes, no

podran acomplir el seu programa, però si recolzen els comunistes, sí
podran acomplir-lo. Doncs, no pot ser cert alhora que els socialistes
recolzen a la vegada els centristes i els comunistes"

3
 13) Formalitza i demostra: "Si els interins segueixen com estan i no
adquireixen consciència de classe, llavors no es llançaran a la vaga en
defensa dels seus interessos. Però, si no adquireixen consciència de
classe, seran foragitats pel Ministeri. Ara bé, si adquireixen consciència
de classe es llançaran a la vaga en defensa dels seus interessos.
Doncs, si segueixen com estan i no adquireixen consciència de classe,
no es llançaran a la vaga en defensa dels seus interessos, i seran
foragitats pel Ministeri".

14) Formalitza i demostra: "Quan van bé les coses tothom vol

apuntar-se. Però quan les coses no van bé la gent diu que ja s'ho
esperava. Doncs mentre la gent no diu que ja s'ho esperava tothom vol
apuntar-se".

15) Formalitza i demostra: "Quan es posa de moda una ideologia, tots

els joves creuen en ella a ulls clucs. I si els joves creuen en ella a ulls
clucs, és que defensa els interessos d'algú. Per tant, no és possible que
una ideologia es posi de moda si no defensa els interessos d'algú".

16) Formalitza i demostra: "Hi ha prou amb que treballem per a que
obtinguem resultats. Però quan encenem la televisió, ja no obtenim
resultats. Doncs quan encenem la televisió, ja no treballem".

17) Formalitza i demostra: "Quan es decideix treballar, tothom

s'escapoleix. Però quan es decideix no treballar, la gent està
descontenta. Per consegüent, la gent, sempre que no s'escapoleix està
descontenta".

4
 18) Formalitza i demostra: "Per a saber a què atenir-se, hi ha prou
amb no deixar-se portar per les aparences. Però quan tractes amb una
persona incoherent, et deixes portar per les aparences. Doncs quan
tractes amb una persona incoherent, ja no saps a què atenir-te".

19) Formalitza i demostra: "Si no canvien les idees dels homes no

existirà la justícia. Per a que existís la justícia, hi hauria prou amb que es
posés en joc la supervivència dels homes. Doncs les idees dels homes
canvien quan la seva supervivència està en joc".

5
 20) Formalitza i demostra: "En el cas que es produeixi una forta
nevada, si no portem cadenes no podem circular per la carretera. Quan
portem cadenes no es produeix una forta nevada. Doncs quan es
produeix una forta nevada no podem circular per la carretera".

21) Formalitza i demostra: "Sense tenir una bona raó no es mata als
animals ni se'ls fa mal a menys que s'estigui boig. Quan es fa mal als
animals o es té una bona raó o s'està boig".

22) Formalitza i demostra: "A menys que ocorri un miracle, si no

estalviem matèries primeres hi haurà un caos. Però no estalviarem
matèries primeres a menys que ocorri un miracle. Doncs per a que no hi
hagi un caos es necessita un miracle".

23) Formalitza i demostra: "Avui dia la gent és de dretes o

d'esquerres. Les dretes defensen, fonamentalment, la propietat privada i
els bons costums. Les esquerres accepten també els bons costums, però
no la propietat privada de la producció. Doncs, tots defensen els bons
costums".

24) Formalitza i demostra: "Si el rellotge és avançat, llavors el Joan

arribà abans de les 10 i va veure partir el cotxe de l'Andreu. Si l'Andreu
diu la veritat, llavors el Joan no hi era a l'edifici; i si ocorregué això últim,
no va veure partir el cotxe de l'Andreu. Doncs, no és cert alhora que el
rellotge sigui avançat i que l'Andreu digui la veritat".

25) "Si dos gasos tenen la mateixa temperatura, les seves molècules
tenen el mateix promig d'energia cinètica. Volums iguals de dos gasos
tenen el mateix nombre de molècules. Les pressions de dos gasos són
iguals si és el mateix el seu nombre de molècules i les seves energies
cinètiques són iguals. Doncs, si dos gasos tenen la mateixa temperatura i
el mateix volum, tenen la mateixa pressió".

6
 26) Formalitza i demostra: "Si no hi ha un control de naixements, la
població creix il·limitadament o augmenta l'índex de pobresa. Però, si la
població creix il·limitadament, llavors augmenta l'índex de pobresa; i si
augmenta l'índex de pobresa, llavors disminueixen les reserves
alimentàries. Doncs, si no hi ha un control de naixements, disminuiran les
reserves alimentàries".

27) Formalitza i demostra: "Si el retrat s'assembla al client, llavors ell i

l'artista se sentiran insatisfets. Si el retrat no s'assembla al client, la seva
esposa es negarà a pagar; i si això últim passés, l'artista se sentirà
insatisfet. Doncs, en qualsevol cas, l'artista se sentirà insatisfet".

28) Formalitza i demostra: "Si Holmes té èxit i el coronel Moran és

capturat, llavors el famós fusell d'aire a pressió de Von Herder adornarà
el Museu de Scotland Yard. Però no és cert que el famós fusell d'aire a
pressió de Von Herder adornarà el Museu de Scotland Yard si el coronel
Moran és capturat. Doncs, si el coronel Moran és capturat, Holmes no
tindrà èxit".

29) Formalitza i demostra: "O la meta serà batuda o el Mulligan caurà

de nassos. Si el Mulligan cau de nassos, els seus seguidors es
decebran. Els seus seguidors no es decebran. Doncs, no és veritat
alhora que si la meta és batuda els seus seguidors es decebran".

7
 30) Fes la prova d’invalidesa de les següents inferències deductives:

i. __ 1 p → q
__ 2 r v ¬p
|-- p → (q ^ r)

ii. __ 1 p → q
__ 2 r v s
__ 3 s → ¬q
__ 4 ¬r
|-- ¬p

iii. __ 1 p ↔ (q v r)
__ 2 p → s
__ 3 q
|-- s

iv. __ 1 s ↔ t
__ 2 t v p
__ 3 s → ¬w
__ 4 w
|-- s

v. __ 1 p → (q v r)
__ 2 ¬r
__ 3 q → (s v t)
__ 4 ¬(s v t)
|-- ¬p

vi. __ 1 (p ^ q) → r
__ 2 ¬(p v r) → s
__ 3 p → q
|-- ¬s → r

vii. __1 p v q
__ 2 r → ¬p
__ 3 s → r
__ 4 ¬t → s
__ 5 r ↔ ¬q
|-- t

viii. __1 r → p
__2 ¬q → ¬r
__3 s → q
__4 (p ^ q) → t
__ 5 ¬s v p
|-- (r v s) → t

8
ix. __1 (p ^ q) → r
__ 2 r → s
__ 3 q ^ ¬s
|-- ¬p

x. __ 1 r → s
__ 2 p v q
__ 3 ¬(¬p → s)
__ 4 ¬p → q
|-- q ^ ¬r

xi. __ 1 ¬p ↔ q
__ 2 ¬(¬q v r)
__ 3 p v s
|-- s v t

xii. __ 1 (q v ¬s) → t
__ 2 ¬q → r
__ 3 p → ¬s
__ 4 t → s
|-- p → r

xiii. __ 1 (p ^ q) → (r v s)
__ 2 ¬(t ^ ¬p)
__ 3 t
__ 4 t ↔ q
|-- ¬r → s

xiv. __ 1 (p v q) → (r ^ s)
__ 2 ¬(¬p v ¬r)
__ 3 ¬t → ¬(p ^ s)
|-- t

xv. __ 1 p ↔ (q ^ t ^ u)
__ 2 ¬p
__ 3 r ↔ ¬q
__ 4 ¬r → t
__ 5 ¬u → r
|-- rvs

xvi. __ 1 q → p
__ 2 (r ^ s ^ t) ↔ q
__ 3 (r ^ s ^ t) → ¬p
|-- ¬q