contraposition

contraposition เป็นกฎการอนุมานที่สมเหตุสมผลทางตรรกะ ซึ่งสามารถใช้สร้างประพจน์ใหม่จากการนิเสธและการเปลี่ยนลำดับประพจน์ที่มีอยู่ ซึ่งใช้ได้กับประพจน์ทุกอย่างในรูปแบบ "ถ้า ก จึง ข" โดยนิเสธตัวแปรทุกอย่าง กลับลำดับจากหน้าไปหลัง แล้วได้ประพจน์ใหม่คือ"ถ้า ไม่ใช่-ข จึง ไม่ใช่-ก" ซึ่งเป็นจริงเท่ากับประพจน์เดิม โดยที่ประพจน์แรกแสดงนัยว่ามีประพจน์ที่สอง และประพจน์ที่สองก็แสดงนัยว่ามีประพจน์แรก

ผลว่าง

ผลว่าง (null result) มักใช้ทางวิทยาศาสตร์ว่าเป็น "หลักฐานว่าไม่มี"เช่นการเสาะหาน้ำบนพื้นดินอาจได้ผลว่าง (คือพื้นแห้ง)ดังนั้น ฝนจึงไม่น่าจะตกเร็ว ๆ นี้