.dsy:it. (http://www.dsy.it/forum/)
- Filosofia del linguaggio (http://www.dsy.it/forum/forumdisplay.php?forumid=78)
-- Formule (http://www.dsy.it/forum/showthread.php?threadid=24684)

Formule

Qualcuno di voi saprebbe spiegarmi la differenza tra una formula, formula atomica, di arietà, non formula? Xchè nell'ultimo compito c'èra da determinare se una formula era formula, atomica, di arietà o non formula e non ho saputo rispondere. Grazie ciao

qualcuno sa rispondermi questo probabilmente c'è nel compito

Non ho seguito le lezioni e quindi più di tanto nn t so dire visto ke sulle dispense nn c'è niente!...m sn fatto però prestare gli appunti d un'amica ke ha seguito l'anno scorso...questo è quello ke ho trovato:

L'arietà è il numero di variabili di una funzione o un predicato, per esempio:
un verbo intransitivo ha arietà 1, uno transitivo 2 e uno dativo 3

Siano:
x, y, z = variabili
C1, C2 = costanti
f, g, h = simboli di funzione con arietà
P, Q, R = simboli di predicato con arietà

-Ogni costante è un termine

-Ogni variabile è un termine

-Se t1,...,tn sono termini, f è un simbolo di funzione di arietà n, allora f(t1,...,tn) è un termine. n è il numero massimo di argomenti a cui f è applicata

-Se P è un simbolo di predicato di arietà n e t1,...,tn sono termini allora P(t1,...tn) è una formula atomica

-Variabili vincolate: un'occorrenza di una variabile x in una formula si dice vincolata se si trova in una sottoformula del tipo PerognixA, EsistexA

Di più nn t so dire....

Ciao ciao

grazie