Formule (linguaggi elementari)
PRIMA Occorre sapere che cosè un termine
TERMINI Sono termini: 1)Le costanti individuali (p, q, r); 2)le variabili individuali (x, y, z); 3)simboli di funzioni aventi come argomenti termini (es: f(t) è un termine se f è un simbolo di funzione unario e t è un termine)
Formule Sono formule: 1) Simboli di predicati seguiti da un opportuno numero di termini (cioè da un numero di termini pari alla arietà dei predicati). Ad es.: P(t) è una formula se P è un simbolo di predicato con arietà 1 e se è un termine; Q(t1, t2) è una formula se Q è un predicato con arietà 2 e t1, t2 sono termini.
2) sono formule anche il risultato dellapplicazione dei connettivi a formule: se A 1 e A 2 sono formule, allora: ¬A 1 è una formula; A 1 A 2 è una formula; A 1 A 2 è una formula.
3) Se A è una formula e x è una variabile individuale: xA è una formula; xA è una formula.