frase
frase in un linguaggio formale, sequenza di simboli (costanti, variabili, connettivi, quantificatori, simboli di funzione e di relazione, parentesi, virgole) costruita osservando determinate regole sintattiche del linguaggio. I simboli (o caratteri) utilizzati per costruire una frase costituiscono l’alfabeto del linguaggio considerato. Solitamente, una frase costruita in un linguaggio formale è denominata → formula ben formata.