Ciao a tutti,
potete darmi qualche esempio di logica del primo ordine in cui si vede la differenza tra funzione e predicato?
Non riesco a capire la differenza concreta.
Esempio nella seguente frase Tutti i fratelli di almeno un genitore di una persona sono suoi zii:
$ AA x AA y AA z ( $ fratello $ (x,y) ^^ $ Genitore $ (y,z) \to Zio(x,z) $
Direi che Fratello, Genitore e zio sono i predicati x,y,z le variabili e non ci sono costanti.
Ma in questo case le funzioni?
E' giusto?
L'esercizio richiede :Si definiscano gli elementi non logici di un linguaggio del primo ordine (indicando l’insieme di predicati, funzioni e costanti) che consentano di parlare del dominio in oggetto.