Pages: [1]   Go Down
Print
Author Topic: Esercizio 1 Ursini predicati  (Read 537 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.072



WWW
« 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
Logged
SeminaraLuigi
Matricola
*
Offline Offline

Posts: 4


« Reply #1 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.
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.072



WWW
« Reply #2 on: 18-01-2019, 22:17:36 »

 ok
Logged
lorenzopappalardo
Matricola
*
Offline Offline

Posts: 1


« Reply #3 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! Link Immagine
Logged
SeminaraLuigi
Matricola
*
Offline Offline

Posts: 4


« Reply #4 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
Logged
Pages: [1]   Go Up
Print
Jump to: