Rule of Premises. You may write dow

Rule of Premises. You may write down a premise at any point in a proof.

The second rule of inference is one that you'll use in most logic proofs. It is sometimes called modus ponendo ponens, but I'll use a shorter name.

Modus Ponens. If you know P and $P ifthen Q$ , you may write down Q.

In the rules of inference, it's understood that symbols like "P" and "Q" may be replaced by any statements, including compound statements.

ผลลัพธ์ (ไทย) 1:

กฎของสถานที่ คุณอาจเขียนลงหลักฐานจุดใดจุดหนึ่งในหลักฐานกฎข้อสองเป็นหนึ่งที่จะใช้ในหลักฐานตรรกะมากที่สุด บางครั้งเรียกว่า modus ponendo ponens แต่ฉันจะใช้ชื่อที่สั้นลงModus Ponens นั้น ถ้าคุณรู้ว่า$ ifthen Q P และ $P คุณอาจเขียนลง Qในกฎของข้อ มันคือเข้าใจว่า สัญลักษณ์ "P" และ "Q" อาจถูกแทนที่ ด้วยคำสั่งใด ๆ รวมถึงคำสั่งผสม

ผลลัพธ์ (ไทย) 3:

กฎของสถานที่ คุณอาจเขียนลงหลักฐานที่จุดใด ๆในหลักฐาน

กฎที่สองของการอนุมานเป็นหนึ่งที่คุณจะใช้ในการพิสูจน์ตรรกะมากที่สุด มันเป็นบางครั้งเรียกว่าวิธีการ ponendo ponens แต่ฉันจะใช้ชื่อสั้น

วิธีการ ponens . ถ้าคุณรู้ว่า P $ p ifthen q $ , คุณอาจจะเขียนได้ Q .

ในกฎของการอนุมานมันเข้าใจสัญลักษณ์อย่าง " P " และ " Q " จะถูกแทนที่ด้วยงบใดงบรวมทั้งสาร