ตรรกศาสตร์ ภาคแสดงและตัวบ่งปริมาณ (Predicate Logic and Quantifiers) ตัวบ่งปริมาณ เราจะกำหนดให้ P(x) เป็นประโยคเปิดใดๆ ตัวบ่งปริมาณ คือ สัญลักษณ์หรือข้อความที่เมื่อเราเอาไปเติมใน “ประโยคเปิด” แล้วจะทำให้ประโยคนั้นกลายเป็นประพจน์
ใช้รูปแบบของประพจน์ที่สมมูลกัน เพราะถ้าเรารู้ว่าประพจน์ไหนสมมูลกับประพจน์อาจจะทำให้การตรวจสอบการเป็นสัจนิรันดร์และการหาค่าความจริงง่ายขึ้น รูปแบบของประพจน์ที่สมมูลกันที่สำคัญ 1. p ∧ ~p ≡ F 2. p ∨ ~p ≡ T 3. p ∧ T ≡ p 4. p ∨ F ≡ p 5. ~(~p) ≡ p 6. p ∨ q ≡ q ∨ p 7. p ∧ q ≡ q ∧ p 8. ( p ∨ q ) ∨ r ≡ p ∨ ( q ∨ r ) ≡ p ∨ q ∨ r 9. ( p ∧ q ) ∧ r ≡ p ∧ ( q ∧ r ) ≡ p ∧ q ∧…
ประพจน์และการเชื่อมประพจน์-ตรรกศาสตร์เบื้องต้น