เมนูนำทาง ตรรกศาสตร์เชิงประพจน์ ความถูกต้องและความบริบูรณ์ของกฎ แคลคูลัส แคลคูลัสเชิงตรรกศาสตร์อื่น ๆ แคลคูลัสอื่น ๆ ไวยากรณ์ ตัวอย่างบทพิสูจน์ ดูเพิ่ม
ใกล้เคียง ตรรกศาสตร์ ตรรกศาสตร์คลุมเครือ ตรรกศาสตร์ดิจิทัล ตรรกศาสตร์เชิงประพจน์ ตรรกศาสตร์สัญลักษณ์ หรือ (ตรรกศาสตร์) และ (ตรรกศาสตร์) ตรรกบทย่อ ตรรกะวิบัติ ตรรกะเป็นวง
