Cho 3 mệnh đề <span class="katex-r" data-latex="displaystyle A, B, C"></span>. Nếu mệnh đề <span class="katex-r" data-latex="displaystyle A rightrow B"></span> là mệnh đề đúng thì mệnh đề (A ∧ C)