Elementi di Matematica Computazionale

Prova scritta - Traccia A2

25 febbraio 2020
Durata della prova: 1 ora

Nome: Cognome: Matricola:

Esercizio n. 1
Sapendo che ”Il piatto é stato preparato da Marco o Giuseppe” e che ”Il piatto é stato
preparato da Luisa o Giuseppe”, possiamo concludere che ”Il piatto é stato preparato da
Luisa o Marco”? Motivare la risposta.
Esercizio n. 2
Per il seguente enunciato dichiarativo si fornisca un alfabeto del primo ordine, una cor-
rispondente interpretazione sul dominio delle persone e una formula del primo ordine che lo
formalizzi:
”Ogni collega di Luca ha giocato almeno una partita di calcio allo stadio Lorenzon
con un cugino di Luca”
Esercizio n. 3
Si scriva in PROLOG la relazione dirigente(X,Y) che é vera se X é un dirigente del giocatore
Y, partendo dai predicati:
dirige(X,Z) vero se il dirigente X dirige la squadra Z, e
gioca(Y,Z) vero se il calciatore Y gioca nella squadra Z.
Si supponga che dirige(X,Z) e gioca(Y,Z) contengano i seguenti fatti:

dirige(sarri, juve). gioca(lukaku, inter).

dirige(paratici, juve). gioca(lautaro, inter).
dirige(delaurentis, napoli). gioca(ronaldo, juve).
dirige(marotta, inter). gioca(mertens, napoli).
dirige(zanetti, inter). gioca(higuain, juve).

• Come si interroga PROLOG per conoscere i dirigenti del giocatore ”ronaldo”?

• Come si interroga PROLOG per conoscere i giocatori della squadra ”inter”?
• Come si interroga PROLOG per conoscere i dirigenti della squadra ”napoli”?
Quali saranno le risposte?

1
1 Formulario Logica Matematica
1.1 Calcolo Proposizionale
Φ∧F ≡F Φ∨F ≡Φ
Φ∧T ≡Φ Φ∨T ≡T
Φ∧Φ≡Φ Φ∨Φ≡Φ Idempotenza
Φ ∧ (Ψ ∧ Ω) ≡ (Φ ∧ Ψ) ∧ Ω Φ ∨ (Ψ ∨ Ω) ≡ (Φ ∨ Ψ) ∨ Ω Associativita0
Φ ∨ (Ψ ∧ Ω) ≡ (Φ ∨ Ψ) ∧ (Φ ∨ Ω) Φ ∧ (Ψ ∨ Ω) ≡ (Φ ∧ Ψ) ∨ (Φ ∧ Ω) Distributivita0
¬T ≡ F ¬F ≡ T
Φ ∧ ¬Φ ≡ F Φ ∨ ¬Φ ≡ T terzo escluso
¬(Φ ∧ Ψ) ≡ ¬Φ ∨ ¬Ψ ¬(Φ ∨ Ψ) ≡ ¬Φ ∧ ¬Ψ DeM organ
(Φ ≡ Ψ) ≡ ((Ψ → Ψ) ∧ (Ψ → Φ)) Φ ≡ Ψ ≡ Φ ∧ Ψ ∨ ¬Φ ∧ ¬Ψ
Φ → Ψ ≡ ¬Ψ → ¬Φ Φ → Ψ ≡ ¬Φ ∨ Ψ
(Φ ∧ Ψ) → Φ Φ → (Φ ∨ Ψ)
((Φ → Ψ) ∧ (Ψ → Ω)) → (Φ → Ω) ((Φ ∧ Ψ) ∧ (¬Ψ ∨ Ω)) → (Φ ∨ Ω)

1.2 Formule quantificate

¬(∀x Φ) ≡ ∃x ¬Φ ¬(∃x Φ) ≡ ∀x ¬Φ
∀x (Φ ∧ Ψ) ≡ (∀x Φ) ∧ (∀x Ψ) ∃x (Φ ∨ Ψ) ≡ (∃x Φ) ∨ (∃x Ψ)
((∀x Φ) ∨ (∀x Ψ)) → ∀x (Φ ∨ Ψ) ((∀x Φ) ∧ (∀x Ψ)) → ∀x (Φ ∧ Ψ)