Cho các mệnh đề <span class="katex-r" data-latex="displaystyle p, q"></span> và <span class="katex-r" data-latex="displaystyle r"></span>. Hai mệnh đề <span class="katex-r" data-latex="displaystyle (p vee q) rightrow r"></span> và (p rightrow r) wedg