Logica

22 giugno 2018

1. Se è possibile, rappresentate il seguente argomento per mezzo di un

sequente corretto della logica proposizionale. Mostrate che il sequente
ottenuto è corretto mediante l’uso di un tableau. Se ciò non è possibile
dite il perché.

A1 : L’economia italiana non avrà più difficoltà solo se Paperon dei

Paperoni pagherà le tasse. Ma, Paperon dei Paperoni pagherà le
tasse solo se gli asini si metteranno a volare. Ora dal momento che
gli asini non volano, ne segue che l’economia italiana continuerà
ad avere difficoltà.

2. Dite se i seguenti sequenti semantici sono corretti. Nel giustificare la

vostra risposta usate le tavole di verità:

(a) {(¬φ ∨ ψ)} |= ((α ∨ φ) → (α ∨ ψ));

(b) |= (φ ∨ (φ → α));
(c) {(β → α), (¬β → α)} |= α.

3. Trovate l’interpolante dei seguenti sequenti semantici:

(a) ((A → B) ∧ C) |= (B ∨ C);

(b) ((A → B) ∧ (A ∨ C)) |= (B ∨ C);
(c) ((A → B) ∧ (B → C)) |= (A → C).

4. Enunciate e dimostrate il teorema della transitività di |=.