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

i^i · #1 28 สิงหาคม 2017, 20:02

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

Supermath · #2 28 สิงหาคม 2017, 21:34

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

i^i · #3 28 สิงหาคม 2017, 23:28

อ้างอิง:

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

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

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

nooonuii · #4 29 สิงหาคม 2017, 11:02

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

i^i · #5 29 สิงหาคม 2017, 13:01

อ้างอิง:

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

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

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

nooonuii · #6 29 สิงหาคม 2017, 15:34

อ้างอิง:

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

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

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

i^i · #7 30 สิงหาคม 2017, 16:34

อ้างอิง:

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

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

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

nooonuii · #8 31 สิงหาคม 2017, 06:02

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

i^i · #9 01 กันยายน 2017, 00:04

อ้างอิง:

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

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

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