TEKNIK BAWAH-ATAS UNTUK MEMPERMUDAH PENYELESAIAN DEDUKSI ALAMI DENGAN SISTEM GENTZEN

Abstract

Natural Deduction settlement in the realm of propositional logic, normally resolved
through top-down techniques, which means that the deduction starts from an expression
that has been given and or with the assumption, then the rules of certain inferen
produce the next process is called derivation. This method done continuously until the
logical expression to be proved as the results are really materialized.Top-down
approach has certain difficulties not easily solved the difficulty to find an expression
that became the beginning of proof or of the assumptions used. The difficulty is
attempted facilitated by the completion of proof is reversed by bottom-up techniques.
Verification process should start from the proved to find beginning of the proof.To
explain the process of bottom-up approach, in this paper will be given an example on
one of the Natural Deduction proof by Gentzen system.