- Indirect Proof or Proof by Contra

- Indirect Proof or Proof by Contradiction : Assume p and ~q and derive a contradiction r ∧ ~r

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

-หลักฐานหรือพิสูจน์ โดยความขัดแย้งอ้อม: สมมติว่า p และ ~ q และ∧ r แย้งมา ~ r

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

- หลักฐานทางอ้อมหรือหลักฐานโดยความขัดแย้ง: สมมติ P และ Q ~ และได้รับความขัดแย้ง R ∧ ~ R

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

- หลักฐานทางอ้อมหรือการพิสูจน์โดยข้อขัดแย้ง : สมมติ p และ ~ Q และ R ~ R ∧มาขัดแย้งกัน