ขอเเนวทางการพิสูจน์หน่อยครับ

[i^i]

ในการพิสูจน์ A->(BUC)
สามารถสมมติให้ ~(BUC) เเล้วค่อยพิสูจน์ได้ไหมครับ
ขอบคุณครับ

[Supermath]

ต้องการพิสูจน์อันบนหรือรูปล่างครับ

[i^i]

ข้อความเดิมเขียนโดยคุณ Supermath

ต้องการพิสูจน์อันบนหรือรูปล่างครับ

ข้อความในรูปอ่ะครับ
ปล. ขอคำเเนะนำด้วยครับ

[nooonuii]

ใช้การพิสูจน์แบบแย้งสลับที่ได้ครับ สำหรับโจทย์ที่ให้มาอาจจะพิสูจน์โดยการแจงกรณีหรือแย้งสลับที่ก็ได้

[i^i]

ข้อความเดิมเขียนโดยคุณ nooonuii

ใช้การพิสูจน์แบบแย้งสลับที่ได้ครับ สำหรับโจทย์ที่ให้มาอาจจะพิสูจน์โดยการแจงกรณีหรือแย้งสลับที่ก็ได้

คือถ้าใช้การพิสูจน์เเบบเเย้งสลับที่คือต้องสมมติให้ผลเป็นจริงก่อนหรือป่าวครับ
ขอบคุณครับ

[nooonuii]

ข้อความเดิมเขียนโดยคุณ i^i

คือถ้าใช้การพิสูจน์เเบบเเย้งสลับที่คือต้องสมมติให้ผลเป็นจริงก่อนหรือป่าวครับ
ขอบคุณครับ

เข้าใจการพิสูจน์แบบแย้งสลับที่ว่ายังไงครับ

[i^i]

ข้อความเดิมเขียนโดยคุณ nooonuii

เข้าใจการพิสูจน์แบบแย้งสลับที่ว่ายังไงครับ

ผมเข้าใจประมาณว่า ถ้า p->q จะสมมูลกับ ~q->~p
แค่นี้อ่ะครับ

[nooonuii]

ถ้างั้นข้อนี้ถ้าจะพิสูจน์แบบแย้งสลับที่จะต้องเริ่มยังไงครับ

[i^i]

ข้อความเดิมเขียนโดยคุณ nooonuii

ถ้างั้นข้อนี้ถ้าจะพิสูจน์แบบแย้งสลับที่จะต้องเริ่มยังไงครับ

พอได้ไอเดียเเล้วครับผม ขอบคุณมากครับ