มีสักตัว (∃) และนิเสธของประโยคที่มีตัวบ่งปริมาณ

1สวิตช์ มีสักดวง: ∃ จริงเมื่อไร เท็จเมื่อไร

2ทวน prime แล้วเปิดหลอด ∀ กับ ∃ บนโดเมน 1 ถึง 6

3โดเมนวางได้สามที่: ∃x ∈ ℕ, … คือถาดของ x

4∃ จริง: ยกตัวอย่างหนึ่งตัว แล้วแทนค่าให้เห็น

5∃ เท็จ: ต้องแสดงว่าไม่มีสักตัว ลองไม่กี่ตัวไม่พอ

6ตารางสี่ช่อง Proving Quantified Statements และคำตอบที่ได้คะแนนเต็ม

7ทวนนิเสธของ > < = : เปลี่ยนแค่เครื่องหมาย ไม่ย้ายข้าง

8¬ เดินลอดตัวบ่ง: Generalized De Morgan's Laws

9นิเสธเมื่อข้างในมี and / or / ถ้า…แล้ว

10S กับ ¬S ตรงข้ามกันเสมอ: ตรวจนิเสธ และพิสูจน์ผ่านนิเสธ

11แปลภาษาพูดเป็นตัวบ่งปริมาณ และแปลกลับ

12นิเสธประโยคภาษาอังกฤษ: จริงพอดีตอนประโยคเดิมพัง

13สรุปสามเรื่อง และคำถามของตอนหน้า