logica del primo ordine

[pippo1468]

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.

[gugo82]

“Titti”???

Ma li rileggi i post prima di pubblicarli?

[pippo1468]

Ho corretto la parola, è stato un errore di battitura.
Era piuttosto chiaro dal contesto che la parola era tutti e sinceramente non capisco il tuo commento.
Una parola sbagliata in un post può capitare...

[gugo82]

[...] sinceramente non capisco il tuo commento.

Aspetta, che lo esplicito meglio: vedi Regolamento, 3.6.

Visto che un utente è considerato “apprezzabilmente presente” ed inserito nella community a partire da 30 post (cfr. Regolamento, 3.7), il minimo che si possa fare per rispettare i membri della community è inserire post scritti in bella forma.

[pippo1468]

Questo non lo metto in dubbio, tant'è che ho corretto subito il post.
Ti ringrazio per la tua osservazione puntuale precisa e minuziosa. Riesci, adesso, ad aiutarmi anche con l'argomento del post?
Grazie mille.