Cho <span class="katex-r" data-latex="displaystyle p"></span>, q là các mệnh đề. Chứng m∈h mệnh đề <span class="katex-r" data-latex="displaystyle q ∧(b{q} vee p) rightrow p"></span> là luôn