DiscussionThe first two methods of

Discussion
The first two methods of proof,the “Trivial Proof” and the “Vacuous Proof”, are certainly the eadiest when they work. Notice that the from of the “Trivial Proof”,
q → ( p → q ),is,in fact, a tautology. This follows from disjunction introduction,since p → q is equivalent to ~p ∨q. Likewise,the “Vacuous Proof”is based on the tautology ~p → ( p → q ).

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

สนทนาวิธีสองพิสูจน์ "หลักฐานเล็กน้อย" และการ "Vacuous พิสูจน์" อย่างแน่นอน eadiest เมื่อพวกเขาทำงาน สังเกตที่การจากของ "เล็กน้อยหลักฐาน"q → (p → q), ได้ จริง แบบ tautology นี้ต่อจากบทนำ disjunction, p → q เป็นเทียบเท่ากับ ~ p ∨q ในทำนองเดียวกัน "หลักฐาน Vacuous" ตามแบบ tautology ~ p → (p → q)

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

คำอธิบาย
สองวิธีแรกการพิสูจน์ "เล็กน้อยหลักฐาน" และ "ไม่มีความคิดหลักฐาน" อย่างแน่นอน eadiest เมื่อพวกเขาทำงาน ขอให้สังเกตว่าจากของ "เล็กน้อยหลักฐาน"
Q → (P → Q) เป็นในความเป็นจริงซ้ำซาก นี้ต่อไปนี้จากการแนะนำร้าวฉานตั้งแต่ P → Q เทียบเท่ากับ P ~ ∨q ในทำนองเดียวกัน "ไม่มีความคิดหลักฐาน" อยู่บนพื้นฐานซ้ำซาก ~ P → (P →ด)

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

การอภิปราย
สองวิธีแรกของหลักฐาน " จิ๊บจ๊อยหลักฐาน " และ " หลักฐาน " ว่างเปล่า มีแน่นอน eadiest เมื่อพวกเขาทำงาน สังเกตได้ว่าจาก " หลักฐาน " trivial
Q → keyboard - key - name ( P → keyboard - key - name q ) คือในความเป็นจริงมีการใช้คำซ้ำโดยไม่จำเป็น ข้อมูลเบื้องต้นจากการตัดขาดตั้งแต่ P → keyboard - key - name Q เท่ากับ ~ P ∨ Q . เช่นเดียวกัน , " หลักฐาน " ว่างเปล่าจะขึ้นอยู่กับการใช้คำซ้ำ ~ P → keyboard - key - name ( P → keyboard - key - name

Q )