A Dedução Natural (ND) é um dos procedimentos de provas de sentenças lógicas que busca aproximar-se do processo pelo qual um ser humano seguiria para realizar tal prova.
Natural Deduction (ND) is one of the logic sentence proving methods which aims to approximate itself to the expected process by which a human being would think in order to construct such proof.