section_heading: Dokazivanje
paragraph_text: Najčešće se u dva koraka dokazuje da je „P akko Q“, tj. dokazivanjem da vrijedi P ako vrijedi Q, te da vrijedi Q ako vrijedi P. Dokazivanje ova dva para je i najlogičniji poredak, jer je (uglavnom) teško istovremeno dokazati ovaj dvosmjerni izraz. Još jedan način bi bio dokazati disjunkciju, tj. ili vrijedi P i Q, ili ne P i ne Q.