Pages: [1]   Go Down
Print
Author Topic: esercizieltti da fare dopo la seconda lezione di logica  (Read 601 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.081



WWW
« on: 14-10-2019, 14:24:50 »

1. Dimostrare che un sistema formale inconsistente e' corretto e completo rispetto a qualsiasi semantica, mentre il viceversa non vale.
2. Dimostrare che in un sistema formale corretto rispetto una certa semantica, gli assiomi sono validi e le regole
    permettono di affermare conclusioni valide se si suppone che le conseguenze siano valide.
« Last Edit: 14-10-2019, 14:29:42 by Franco Barbanera » Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.081



WWW
« Reply #1 on: 16-10-2019, 11:00:58 »

3. Fare un esempio di sistema formale (con la relativa semantica) che sia corretto ma non completo.
4. Fare un esempio di sistema formale (con la relativa semantica) che sia completo ma non corretto.
« Last Edit: 16-10-2019, 11:03:58 by Franco Barbanera » Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.081



WWW
« Reply #2 on: 16-10-2019, 11:03:25 »

5. Giustificare l'affermazione fornita in Definizione 2.9 di [SM], e cioe' che
dire che Con(Gamma)=Gamma corrisponde a dire che Gamma e' un insieme di fbf
CHIUSO rispetto alla relazione di derivabilita'.
Logged
Pages: [1]   Go Up
Print
Jump to: