Le regole della deduzione naturale, loro giustificazione e proprietà principali