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

Mathcenter Forum (https://www.mathcenter.net/forum/index.php)

- Calculus and Analysis (https://www.mathcenter.net/forum/forumdisplay.php?f=27)

i^i	28 สิงหาคม 2017 20:02

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

1 ไฟล์และเอกสาร

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

Supermath

28 สิงหาคม 2017 21:34

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

i^i	28 สิงหาคม 2017 23:28

อ้างอิง:

ข้อความเดิมเขียนโดยคุณ Supermath (ข้อความที่ 184963)

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

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

nooonuii

29 สิงหาคม 2017 11:02

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

i^i	29 สิงหาคม 2017 13:01

อ้างอิง:

ข้อความเดิมเขียนโดยคุณ nooonuii (ข้อความที่ 184971)

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

nooonuii

29 สิงหาคม 2017 15:34

อ้างอิง:

ข้อความเดิมเขียนโดยคุณ i^i (ข้อความที่ 184973)

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

i^i	30 สิงหาคม 2017 16:34

อ้างอิง:

ข้อความเดิมเขียนโดยคุณ nooonuii (ข้อความที่ 184974)

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

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

nooonuii

31 สิงหาคม 2017 06:02

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

i^i	01 กันยายน 2017 00:04

อ้างอิง:

ข้อความเดิมเขียนโดยคุณ nooonuii (ข้อความที่ 184976)

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

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

เวลาที่แสดงทั้งหมด เป็นเวลาที่ประเทศไทย (GMT +7) ขณะนี้เป็นเวลา 07:06