Significados de dedução natural em português

Num sistema de dedução natural não há quaisquer axiomas; há apenas regras.

Eis as regras deum possível sistema híbrido de dedução natural proposicional:

Nos sistemas puros de dedução natural as derivações têm quatro colunas.

Os primeiros sistemas eram axiomáticos, mas hoje em dia ensina-se sobretudo sistemas de dedução natural.

É possível conceber outros sistemas híbridos de regras de dedução natural proposicional, mas este contém algumas das regras mais importantes.

Quando se dá os primeiros passos no estudo da lógica há vantagens em usar um sistema híbrido de dedução natural.

Para lhe dizer a verdade, foi uma dedução natural: um tipo de velha solteirona pedante não poderia simpatizar com você.

Axiomática e dedução natural

Além disso, a ênfase da dedução natural na aplicação de regras intuitivas torna o estudo menos formalista e mais próximo da experiência argumentativa das pessoas.

* Por que razão os sistemas de dedução natural são mais aconselháveis, didacticamente, do que os sistemas axiomáticos?