conjector - An educated guess about what will always be true.
converse - The statement formed by interchanging the hypothesis and conclution of a conditional statement.
counterexample - An example use to show that a given general statement is not always true
contrapositive - The statement formed by negating both the the hypothesis and conclution of a conditional statement.
deductive resonning - A system of reasoning used to reach conclusions that must be true whenever the assumptions on which the reasoning is based are true.
inductive resonning - 1. Reasoning from detailed facts to general principles
inverse - the denial of statement
Law of Detachment - If p -> q is a true conditional and p is true , then q is true
Law of Syllogism - If p -> q and q -> r are true conditional , then p -> r is also true.
negation - the denial of statement
proof - A logical argument showing that the truth of hypothesis guarantees the truth of the conclution.
hypothesis - In a conditional statement, the statement that immediately follows the word if.
conjector -- การคาดเดาเกี่ยวกับสิ่งที่จะเป็นจริง
converse -- คำสั่งที่เกิดขึ้นจากการสลับส่วนสมมติและ บทสรุป ของข้อความ
counterexample -- ตัวอย่างที่ใช้เพื่อแสดงให้เห็นว่าข้อความที่กล่าวไม่เป็นจริงเสมอไป
contrapositive -- คำสั่งที่เกิดขึ้นจาก ปฏิเสธ ทั้งสมมติฐานและ ผลสรุป ของข้อความ
resonning deductive -- ระบบการให้เหตุผลใช้ในการเข้าถึงข้อสรุปที่ต้องเป็นจริงเมื่อใดก็ตามที่สมมติฐานที่มีเหตุผลเป็นไปตามเป็นจริง
