Forum Informatica Unict

LAUREA TRIENNALE (D.M. 270/04) => Fondamenti di Informatica, 9 CFU => Topic started by: Franco Barbanera on 18-01-2019, 15:39:43



Title: Esercizio 1 Ursini predicati
Post by: Franco Barbanera on 18-01-2019, 15:39:43
Ma qualcuno non doveva mettere la soluzione dell'esercizio (1) dell'Ursini sulla logica dei predicati?

Non e' banale.

Si puo' fare utilizzando la dimostrazione di A(y) or not A(y)
per poi utilizzare (A(y) or not A(y))  nella regola di or-eliminazione,
facendo vedere come ottenere exists x.(A(x) -> forall y. A(y))
a partire da A(y) (utilizzando la proposizione 2(7) dell'Ursini)
e poi facendo vedere come ottenere exists x.(A(x) -> forall y. A(y))
a partire da not A(y)

Oppure si fa come fara' vedere il collega che doveva mettere la soluzione.
Oppure in tanti altri modi (ma l'essenza del ragionamento e' sempre quella)

Saluti
FB


Title: Re:Esercizio 1 Ursini predicati
Post by: SeminaraLuigi on 18-01-2019, 19:25:06
Salve, da questo link è possibile scaricare un file contenente la soluzione proposta da me a lezione. Scusate il ritardo.

https://drive.google.com/open?id=1VnpNalPDV_zQmxVgO-iOsh5DTfNBG5mK

-Cordiali saluti.


Title: Re:Esercizio 1 Ursini predicati
Post by: Franco Barbanera on 18-01-2019, 22:17:36
 :-OK


Title: Re:Esercizio 1 Ursini predicati
Post by: lorenzopappalardo on 20-01-2019, 10:29:21
Buongiorno a tutti, stavo cercando di capire la soluzione fornita da Luigi quando sono incappato in quello che secondo me è un errore. In pratica secondo me Luigi ha dimenticato di indicare un'ipotesi e quindi anche di scaricarla. Lascio una foto esplicativa in basso. Ovviamente non voglio sminuire il lavoro di Luigi! (https://imgur.com/a/gapla9K)


Title: Re:Esercizio 1 Ursini predicati
Post by: SeminaraLuigi on 20-01-2019, 13:23:04
Ciao Lorenzo, quello non è un errore. In quella parte io ho dimostrato ¬(∀y.A(y)) |- ∃x.(A(x) → ∀y.A(y)). L'ipotesi che rimane la scarico nella seconda pagina del PDF utilizzando la dimostrazione del principio del terzo escluso. Spero di aver chiarito i tuoi dubbi. :-ciao

-Cordiali saluti