Pages: 1 [2]   Go Down
Print
Author Topic: Esercizi Lezione III A-L M-Z  (Read 551 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #15 on: 28-10-2018, 21:14:38 »


Quote
Mi faccia sapere.

Non si terminano mail o lettere di qualsivoglia genere in questo modo.
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #16 on: 28-10-2018, 21:21:03 »

Esercizio 19b

Nel calcolo proposizionale una formula A è conseguenza tantologica delle formule Gamma se tutti e soli i mondi che rendono vere le formule di gamma rendono vere anche alfa.

Sbagliato.
Per rendersene conto, basta leggere la definizione di conseguenza tautologica del testo.


L'affermazione p -> ( p -> q) |= p -> q non è vera.
Perchè esiste almeno un mondo che rende vera p -> ( p -> q) ma non rende vera p -> q.

L'Esercizio è stato svolto correttamente?

No.
Quale sarebbe l'assegnamento proposizionale che rende vera p -> ( p -> q) e falsa p -> q ?

N.B. Noi abbiamo utilizzato il termine "mondo" per fornire un'idea intuitiva della nozione
di assegnamento proposizionale. Ma una volta che abbiamo capito, bisogna utilizzare il termine
corretto: "assegnamento proposizionale".
Logged
Sebastiano99
Matricola
*
Offline Offline

Posts: 10


« Reply #17 on: 28-10-2018, 21:22:21 »

Esercizio 45

L'Esercizio l'ho svolto seguendo le indicazioni della proposizione 3.4 di pag 11 del Martini, però ho dei dubbi riguardo la deduzione naturale.

Aspetto cortesemente sue risposte

Cordiali Saluti
Logged
Sebastiano99
Matricola
*
Offline Offline

Posts: 10


« Reply #18 on: 28-10-2018, 21:30:50 »

Esercizio 19b

Nel calcolo proposizionale una formula A è conseguenza tantologica delle formule Gamma se tutti e soli i mondi che rendono vere le formule di gamma rendono vere anche alfa.

Sbagliato.
Per rendersene conto, basta leggere la definizione di conseguenza tautologica del testo.

Forse non ho dato la definizione formale, vero?
Logged
Sebastiano99
Matricola
*
Offline Offline

Posts: 10


« Reply #19 on: 28-10-2018, 21:40:42 »


Quote
Mi faccia sapere.

Non si terminano mail o lettere di qualsivoglia genere in questo modo.


Scusi Professore
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #20 on: 28-10-2018, 21:55:48 »

Esercizio 45

L'Esercizio l'ho svolto seguendo le indicazioni della proposizione 3.4 di pag 11 del Martini, però ho dei dubbi riguardo la deduzione naturale.

Se hai guardato la proposizione 3.4 allora l'esercizio non l'hai svolto...

La deduzione naturale non l'abbiamo ancora fatta, per cui quella parte dell'esercizio non si puo' ancora prendere in considerazione.
Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #21 on: 28-10-2018, 21:58:57 »

Esercizio 19b

Nel calcolo proposizionale una formula A è conseguenza tantologica delle formule Gamma se tutti e soli i mondi che rendono vere le formule di gamma rendono vere anche alfa.

Sbagliato.
Per rendersene conto, basta leggere la definizione di conseguenza tautologica del testo.
Forse non ho dato la definizione formale, vero?


Non e' un problema di formale o informale.
Uno puo' pure dare una versione che non sia eccessivamente formale.
Il problema della tua soluzione e' che e' sbagliata.
Come esercizio, dammi la definizione in modo informale, ma corretta.
Logged
Sebastiano99
Matricola
*
Offline Offline

Posts: 10


« Reply #22 on: 28-10-2018, 22:02:45 »

Questa definizione l'ho presa dagli appunti.
Potrebbe spiegarmi cosa non va di preciso?
In modo tale che possa correggerla.
« Last Edit: 28-10-2018, 22:07:27 by Sebastiano99 » Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #23 on: 29-10-2018, 20:42:31 »

Questa definizione l'ho presa dagli appunti.
Potrebbe spiegarmi cosa non va di preciso?
In modo tale che possa correggerla.

Lo abbiamo spiegato oggi a lezione.
Il problema sta nella parte in cui dici
tutti e soli i mondi che rendono vere le formule di gamma rendono vere anche alfa.
Bisogna dire invece
tutti i mondi che rendono vere le formule di gamma rendono vere anche alfa.
Logged
Sebastiano99
Matricola
*
Offline Offline

Posts: 10


« Reply #24 on: 31-10-2018, 09:53:19 »

Va bene.
Grazie della Disponibilità, Professore.

Cordiali Saluti
Logged
Pages: 1 [2]   Go Up
Print
Jump to: