(ละตินสำหรับโหมดการยืนยัน ) เป็นกฎข้อที่ระบุว่า ถ้า ''เป็นจริง บี , เป็น หมายถึง แล้ว บี ก็เป็นจริง