Sono tutte regole delle regole di inferenza, che data una proprietà si raggiunge una conclusione. La conclusione afferma sempre che la premessa (sopra) è vera, per ogni elemento della lista.
<aside> 💡 Attraverso l’induzione, permettono di dimostrare che la proprietà vale per tutti gli elementi.
</aside>
Per ogni proprietà, si assume che essa valga già per qualche elemento. Devo dunque dimostrare, che essa vale per qualsiasi elemento presente nella lista.
Una segnatura è una famiglia di insiemi indicizzata da $\N$.
Con $F_n$ ( $n \in \N$ ) si rappresenta l’insieme dei simboli di arietà, cioè gli argomenti che prende:
Data una segnatura $F$ l’insieme FTerm è il più piccolo insieme di F-termini che soddisfa:
