ตัวอย่างที่ขัดแย้งคือกรณีเฉพาะซึ่งแสดงว่าคำสั่งทั่วไปเป็นเท็จ ไม่เป็นความจริงเสมอไป … สำหรับคำสั่งแบบมีเงื่อนไข (ถ้า-แล้ว) a ตัวอย่างที่ขัดแย้งจะต้องเป็นตัวอย่างที่ตรงตามสมมติฐาน แต่ไม่ใช่ข้อสรุป.
เงื่อนไขสามารถมีตัวอย่างโต้กลับได้หรือไม่
ตัวอย่างที่ขัดแย้งเป็นตัวอย่างที่สมมติฐานเป็นจริง แต่ข้อสรุปเป็นเท็จ หากคุณพบตัวอย่างที่ขัดแย้งกับคำสั่งแบบมีเงื่อนไข แล้วคำสั่งแบบมีเงื่อนไขนั้นเป็นเท็จ.
จะเกิดอะไรขึ้นหากคำสั่งแบบมีเงื่อนไขเป็นจริง
เพื่อสร้างความขัดแย้งของคำสั่งแบบมีเงื่อนไข ให้แลกเปลี่ยนสมมติฐานและข้อสรุปของคำสั่งผกผัน … หากคำสั่งเป็นจริง สิ่งที่ขัดแย้งก็เป็นจริงตามตรรกะเช่นกัน หากคอนเวิร์สเป็นจริง ค่าผกผันก็เป็นจริงตามตรรกะเช่นกัน
คำสั่งแบบมีเงื่อนไขเป็นจริงเสมอหรือไม่
แม้ว่าจะชัดเจนว่าประโยคเงื่อนไขเป็นเท็จก็ต่อเมื่อสมมติฐานเป็นจริงและข้อสรุปเป็นเท็จ ไม่ชัดเจนว่าทำไมเมื่อสมมติฐานเป็นเท็จ คำสั่งตามเงื่อนไขเป็นจริงเสมอ.
ตัวอย่างแย้งพิสูจน์คำกล่าวเท็จหรือไม่
ตัวอย่างที่ขัดแย้งกับคำสั่งทางคณิตศาสตร์คือตัวอย่างที่ตรงตามเงื่อนไขของคำสั่งแต่ไม่นำไปสู่ข้อสรุปของคำสั่ง การระบุตัวอย่างโต้แย้งเป็นวิธีที่จะแสดงว่า คำสั่งทางคณิตศาสตร์เป็นเท็จ.