Una deduzione logica è la versione formale di un ragionamento: è fatta da una lista di proposizioni logiche. Le prime proposizioni nella lista sono le premesse, ipotesi che si suppongono vere. L'ultima proposizione nella lista è la conclusione: la proposizione che si vuole dimostrare. Per passare da una proposizione a quella successiva si deve applicare una regola valida: una regola che permetta di ricavare conclusioni vere da premesse vere.