Proof by contraposition infers the

Proof by contraposition infers the conclusion "if p then q" from the premise "if not q then not p". The statement "if not q then not p" is called the contrapositive of the statement "if p then q". For example, contraposition can be used to establish that, given an integer x, if x² is even, then x is even:
Suppose x is not even. Then x is odd. The product of two odd numbers is odd, hence x² = x·x is odd. Thus x² is not even.

ผลลัพธ์ (ไทย) 1:

หลักฐานโดย contraposition อนุมานข้อสรุป "ถ้า p แล้ว Q" จากหลักฐาน "ถ้าไม่ Q p แล้วไม่ได้" คำสั่ง "ถ้าไม่ถามแล้วไม่ p" เรียกว่า contrapositive ของคำสั่ง "ถ้า p แล้ว Q" ตัวอย่างเช่น contraposition สามารถนำมาใช้ในการสร้างที่ได้รับจำนวนเต็ม x ถ้า x ²แม้แล้ว x เป็นแม้กระทั่ง:
สมมติว่า x เป็นไม่ได้ แล้ว x เป็นเลขคี่ ผลิตภัณฑ์สองเลขคี่เป็นคี่,ดังนั้น x ² = x · x เป็นเลขคี่ จึง x ²ไม่ได้

ผลลัพธ์ (ไทย) 2:

พิสูจน์ โดย contraposition infers ข้อสรุป "ถ้า p แล้ว q " จากหลักฐาน "ถ้าไม่ถามไม่ p" เรียกว่างบ "ถ้าไม่ถามไม่ p" contrapositive งบ "ถ้า p แล้ว q " ตัวอย่าง contraposition สามารถใช้ในการสร้างที่ ให้เป็นจำนวนเต็ม x ถ้า x ²เป็นแม้ แล้ว x เป็นเลขคู่:
สมมติว่า x ไม่ได้ แล้ว x เป็นคี่ ผลคูณของตัวเลขคี่สองจำนวนเป็นคี่ ดังนั้น x ² = x·x เป็นคี่ ดังนั้น x ²ไม่ได้แม้แต่

ผลลัพธ์ (ไทย) 3:

การตรวจสอบความถูกต้องโดยรัฐมนตรีว่าการกระทรวงยุติธรรมอนุมาน... contraposition ในบทสรุป"หาก P Q แล้ว Q "จากหลักฐานที่"หากไม่ได้แล้วไม่ใช่ P ". "หากไม่ถามแล้วไม่ P "เรียกว่า contrapositive ของ"หาก P Q แล้ว" ตัวอย่างเช่น contraposition สามารถใช้ในการกำหนดว่าให้เลขจำนวนเต็มที่ X หาก x 2 ได้แล้ว X ได้:
คิดว่า X จะไม่ใช่ จากนั้น x แปลก ผลิตภัณฑ์ ของสองหมายเลขคี่แปลกดังนั้น x 2 = x ล x แปลก ทำให้ x 2 จะไม่ใช่