Lògica

Grau de Filosofia

Exercicis 11
Encara més lògica modal

1. Formalitza aquests arguments en lògica modal proposicional i digues si són vàlids en K, T, S4 i

S5:

(a) Les eleccions necessàriament les ha guanyades o bé la Maria Aurèlia, o bé la Simone. I la
Simone les ha perdut. Aixı́ doncs, la Maria Aurèlia ha guanyat les eleccions necessàriament.
(b) Cal que ens quedem tu o jo vigilant la Laika, i jo no puc quedar-me, aixı́ que tu t’has de
quedar.
(c) Si el Messies hagués tornat, tu i jo ens n’haurı́em assabentat, i jo no he sentit res, aixı́ que
em temo que no pot ser que hagi tornat.
(d) Necessàriament, és possible actuar de manera moralment permissible. I si només fossin
moralment permissibles les accions optimı́fiques, aleshores no seria possible dur a terme
cap acció moralment permissible. Aixı́ doncs, no és possible que només siguin moralment
permissibles les accions optimı́fiques.
(e) Doncs mira, fa set dies que ni veig una botifarra del perol, aixı́ que per força sóc capaç de
passar una setmana sense botifarra del perol.
(f) Si s’acaben les patates, aleshores haurem de comprar-ne més o passar sense. I s’han acabat,
aixı́ que potser passem sense patates.