Logica del primo ordine
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.
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.
Risposte
“Titti”???
Ma li rileggi i post prima di pubblicarli?
Ma li rileggi i post prima di pubblicarli?
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...
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...
"pippo1468":
[...] sinceramente non capisco il tuo commento.
Aspetta, che lo esplicito meglio: vedi [regolamento]regolamento[/regolamento], 3.6.
Visto che un utente è considerato “apprezzabilmente presente” ed inserito nella community a partire da 30 post (cfr. [regolamento]regolamento[/regolamento], 3.7), il minimo che si possa fare per rispettare i membri della community è inserire post scritti in bella forma.
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.
Ti ringrazio per la tua osservazione puntuale precisa e minuziosa. Riesci, adesso, ad aiutarmi anche con l'argomento del post?
Grazie mille.
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo