(p—>q) และ (p—>r)

(p—>r) หรือ (q—>r)

(p—>r) และ (q—>r)

(p—>r) ก็ต่อเมื่อ (q—>r)

กำหนดให้ข้อความนั้นเป็นจริง ถ้าพบข้อขัดแย้ง แสดงว่าข้อความนั้นเป็นจริง

กำหนดให้ข้อความนั้นเป็นจริง ถ้าพบไม่ข้อขัดแย้ง แสดงว่าข้อความนั้นเป็นจริง

กำหนดให้ข้อความนั้นเป็นเท็จ ถ้าพบไม่พบข้อขัดแย้ง แสดงว่าข้อความนั้นเป็นจริง

กำหนดให้ข้อความนั้นเป็นเท็จ ถ้าพบข้อขัดแย้ง แสดงว่าข้อความนั้นเป็นจริง

ยกตัวอย่างที่สอดคล้อง ขึ้นมาเพียงตัวอย่างเดียว

ยกตัวอย่างที่ไม่สอดคล้อง ขึ้นมาเพียงตัวอย่างเดียว

ยกตัวอย่างที่สอดคล้อง ขึ้นมาทุก ๆ สมาชิกในเอกภพสัมพัทธ์

ไม่ยกตัวอย่างที่สอดคล้อง ขึ้นมาเลยแม้เพียงตัวอย่างเดียว

ยกตัวอย่างสมาชิกอย่างน้อยหนึ่งตัว ที่สอดคล้องกับลักษณะที่กำหนดให้

ยกตัวอย่างสมาชิกทุกตัว ที่สอดคล้องกับลักษณะที่กำหนดให้

ยกตัวอย่างสมาชิกอย่างน้อยหนี่งตัว ที่ไม่สอดคล้องกับลักษณะที่กำหนดให้

ไม่ต้องยกตัวอย่างสมาชิกอย่างน้อยหนึ่งตัว ที่สอดคล้องกับลักษณะที่กำหนดให้

1) พิสูจน์ว่ามี 2) พิสูจน์ว่า มี x และ มี y ที่เป็นสมาชิกของเอกภพสัมพัทธ์ ถ้า P(x) และ P(y) แล้ว x = y

1) พิสูจน์ว่ามี 2) พิสูจน์ว่า ทุก x จะมี y ที่เป็นสมาชิกของเอกภพสัมพัทธ์ ถ้า P(x) และ P(y) แล้ว x = y

1) พิสูจน์ว่ามี 2) พิสูจน์ว่า มี x สำหรับทุก y ที่เป็นสมาชิกของเอกภพสัมพัทธ์ ถ้า P(x) และ P(y) แล้ว x = y

1) พิสูจน์ว่ามี 2) พิสูจน์ว่า ทุก x และ y ที่เป็นสมาชิกของเอกภพสัมพัทธ์ ถ้า P(x) และ P(y) แล้ว x = y

1) P(1) เป็นจริง 2) ทุกจำนวนนับ k ถ้า P(1) เป็นจริง แล้ว P(k) เป็นจริง

1) P(1) เป็นจริง 2) ทุกจำนวนนับ k ถ้า P(k) เป็นจริง แล้ว P(n) เป็นจริง

1) P(1) เป็นจริง 2) ทุกจำนวนนับ k ถ้า P(k) เป็นจริง แล้ว P(k+1) เป็นจริง

1) P(1) เป็นจริง 2) ทุกจำนวนนับ k ถ้า P(1) เป็นจริง แล้ว P(k+1) เป็นจริง