Proof by Cases : If the hypothesis

Proof by Cases : If the hypothesis p can be separated into cases
p_1 ∨ p_2 ∨〖 p〗_1 → q, p_2 → q,…,p_k → q, separately (You may use different methods of proof for different cases.)

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

พิสูจน์ โดยกรณี: ถ้า p สมมติฐานสามารถแบ่งออกเป็นกรณี p_1 ∨ p_2 ∨〖 p〗_1 → q, p_2 → q,..., p_k → q แยกต่างหาก (คุณอาจใช้วิธีพิสูจน์ในกรณีต่าง ๆ)

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

หลักฐานจากกรณี: ถ้า P สมมติฐานที่สามารถแยกออกเป็นกรณี
P_1 ∨ P_2 ∨〖〗 _1 P → Q, P_2 → Q, ... , p_k → Q, แยก (. คุณอาจจะใช้วิธีการที่แตกต่างกันของการพิสูจน์สำหรับกรณีที่แตกต่างกัน)

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

หลักฐานจากกรณี : ถ้าสมมติฐาน P สามารถแยกเป็นกรณี
p_1 ∨ p_2 ∨〖 P 〗 _1 → keyboard - key - name Q , p_2 → keyboard - key - name Q , . . . , p_k → keyboard - key - name q ต่างหาก ( คุณอาจจะใช้วิธีการที่แตกต่างกันของหลักฐานสำหรับคดี ต่าง ๆ )