These relationships are determined by means of the available transformation rules, sequences of which are called derivations or proofs.
Αυτές οι σχέσεις προσδιορίζονται μέσω των διαθέσιμων κανόνων μετασχηματισμού, οι αλληλουχίες των οποίων ονομάζονται παράγωγα ή αποδείξεις.