Domande

Dubbio interpretazione esercizio 1

Dubbio interpretazione esercizio 1

by Maria Chiara Martinatto Maritano -
Number of replies: 3

Ho un dubbio: nell'esercizio 1, quell'"exactly" é da interpretare come "se e solo se"? Devo trovare un enunciato vero in M se e solo se vale la condizione data?


Secondo me sí, ma non sono sicura. In ogni caso, ho provato a scrivere enunciati che verifichino la doppia implicazione.

In reply to Maria Chiara Martinatto Maritano

Re: Dubbio interpretazione esercizio 1

by Domenico Zambella -
"Exactly" è un espressione un po infelice.

Intendo: a partire dalle formule date costruire una terza \(\theta\) formula che "dice" quanto espresso in modo semiformale.

A fare i pignoli, "dice" vuol dire che in tutte le strutture \(\theta\) vale se e solo se vale la proprietà in questione.

Comunque l'esercizio richiede solo di scrivere una formula, senza giustificare nulla.
In reply to Domenico Zambella

Ri: Re: Dubbio interpretazione esercizio 1

by Maria Chiara Martinatto Maritano -
Grazie mille.

Io ho interpretato "sentence" come enunciato, e ho scritto tutte formule senza variabili libere.
In reply to Maria Chiara Martinatto Maritano

Re: Ri: Re: Dubbio interpretazione esercizio 1

by Domenico Zambella -
Giusto. (Mi aspetto enunciati perché solo per questi è definita la verità in una struttura.)