Domande

Dubbio interpretazione esercizio 1

Dubbio interpretazione esercizio 1

di Maria Chiara Martinatto Maritano -
Numero di risposte: 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 riposta a Maria Chiara Martinatto Maritano

Re: Dubbio interpretazione esercizio 1

di 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 riposta a Domenico Zambella

Ri: Re: Dubbio interpretazione esercizio 1

di Maria Chiara Martinatto Maritano -
Grazie mille.

Io ho interpretato "sentence" come enunciato, e ho scritto tutte formule senza variabili libere.