Let denote individual propositions,

Let denote individual propositions, and let denote variable propositions

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

ให้แสดงแต่ละขั้น และให้แสดงเริ่มผันแปร

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

อนุญาตแสดงว่าข้อเสนอของแต่ละบุคคลและให้แสดงว่าข้อเสนอตัวแปร

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

ให้ระบุข้อเสนอของแต่ละบุคคลและให้แสดงข้อเสนอตัวแปร