Direktni dokaz

Tvrdnju dokazujemo direktnim dokazom tako da uspostavimo konačan niz implikacija oblika "$$A \Rightarrow A_{1}\Rightarrow  A_{2} \Rightarrow \ldots \Rightarrow A_{k} \Rightarrow B$$".

» Rječnik pojmova - matematička logika