EXERCICIS
DE FORMALITZACIÓ
Simbolització
i ús del parèntesi
Llegenda:
A=p, X=q, Y=r, Z=s, B=t, C=u
1. És fals A i no A.
–(p ^ - p)
2. X i Y són falsos.
– (q ^r)
3. Ni X ni Y són
vertaders. –q^-r
4. No és possible ni
X ni Z. –(-q^-s)
5. No és cert X i no Z.
–(q^-s)
6. Si no X i no Z,
aleshores Y. (-q^-s) à
r
7. A, B, C i X o Z.
P^t^u^q↓s
8. A, B, C i X, o Z.
(P^t^u^q) ↓s
9. O X o Y, però no
amndues. q ↓r ^-(q^r)
10. O X o no és el
cas que no A i no B. q ↓-(p-^-t)
11. O és cert A i B,
o no és possible A i no B. p^t ↓
-(A^-t)
12. Una de dos: A o
no A. p↓-p
13. O A o, pel
contrari, B. p ↓ (t à-p)
14. O és cert A i B,
o X i Y són vertaders. (P^t) ↓ (q^r)
15. No és cert que si
X aleshores no Y. – (-ràq)
16. Si A i no B,
aleshores X o Y. (q↓r)à (p^-t)
17. Si A o B, i B o
C, aleshores A i B. (p^t) à
(p↓t
18. B si i només si B
i no C. t ßà(t ^-u)
19. De A i B se’n
dedueix C. (p^t) à
u
20. C se segueix d’A
i no B. (pàc)
^-(pàt)
Simbolització
(Les variables es veuran
“ressetejades” a cada oració perquè sinó arribaré fins a l’infinit)
Llegenda: p, q
1. Un nombre és racional si i
només si es pot escriure com un nombre decimal
periòdic finit.
qßàp
2. Tot nombre decimal periòdic
infinit es pot escriure com una fracció. p
3. Tot nombre racional es pot
escriure com un decimal finit o com un
decimal periòdic infinit.
p↓q
4. Un nombre racional s’anomena
positiu si i només si el producte del
numerador pel denominador és major que 0. qßàp
5. L’ordre dels sumands no altera la
suma. p
6. L’ordre dels factors no altera el
producte. p
7. Si a i b són dos elements
diferents, no pot succeir alhora que a es
relacioni amb b i que b es relacioni amb a. –q à p
8. Si un element es relaciona amb un
altre element b i aquest amb c, el primer
haurà de poder relacionar-se alhora amb el tercer. q àp
9. Una relació definida en un
conjunt serà una relació d’ordre quan tingui les propietats antisimètrica i
transitiva. p
10. Tot nombre major que 1, o bé és
primer, o bé pot expressar-se com a producte
de factors primers. p↓q
11. Tot el que és, és. p
12. És impossible que una mateixa
cosa sigui i no sigui. –(p^-p)
13. “Tenim observat que qualsevol
objectes que són diferents, són distingibles, i que quants objectes són distingibles, són separables pel
pensament i la imaginació. I podem afegir que aquestes proporcions són
igualment vertaderes a l’inrevés, i que qualsevol objectes que són separables,
són també distingibles, i que qualsevol objectes que són distingibles són també
diferents”. (qàp) ^( pàq)
14. “És un principi general de la
filosofia que tota cosa de la naturalesa és individual, i que és completament absurd suposar un triangle realment
existent que no tingui una exacta proporció de costats i angles”. p^--q
15. “Preguntar si una ciència és
possible suposa dubtar de la seva realitat”.
qàp
16. “Si una substància pogués ésser
produïda per una altra, el seu coneixement
hauria de dependre del coneixement de la seva causa”. q à p
18. “Tot és perfecte quan surt de
les mans del Creador; tot degenera en les
mans de l’home”.
p ↓q
19. “Els graus de velocitat
adquirits pel mateix mòbil sobre plans de diferent inclinació són iguals
si són iguals les altures dels diferents plans”.
q à p
20. “Es diu que un cos està
uniformament accelerat quan, pertint del repòs, adquireix a intervals iguals
increments iguals de velocitat”. p
21. “Si s’enuncia l’ésser com a
predicat de l’Absolut, s’obté la primera definició d’aquest: l’Absolut és
l’Ésser”. p
22. “En l’ésser per a si està
introduïda la determinació de la idealitat”. p
23. “Tota l’objecció es redueix a aquesta
veritat innecessària: no hi ha treball
assalariat on no hi ha capital”. --p
24. “Suposant que algú pogués
abastar amb l’ull irònic i independent d’un Déu epicuri la comèdia
prodigiosament dolorosa i tan grollera com a subtil del cristianisme europeu,
jo crec que no acabaria mai d’estamordir-se i de
riure-se’n”. –q àp
25. “Quin em comprèn, acaba per
reconèixer que les meves proposicions manquen de sentit, sempre que qui comprengui hagi sortit a través d’elles fora d’elles”.
qàp