|
|
|||||||
| สมัครสมาชิก | คู่มือการใช้ | รายชื่อสมาชิก | ปฏิทิน | ข้อความวันนี้ | ค้นหา |
  |
|
|
เครื่องมือของหัวข้อ | ค้นหาในหัวข้อนี้ |
|
#1
11 กรกฎาคม 2009, 18:43
|
||||
|
||||
สงสัยเกี่ยวกับตรรกศาสตร์ครับ
โจทย์ว่าอย่างงี้ครับ
เหตุ1.ถ้าโสภาเรียนหมอแล้วโสภณจะเรียนวิศวะ 2.โสภีไม่เรียนบัญชี 3.ถ้าโสภาไม่เรียนหมอ แล้วโสภิณไม่เรียนเศรษศาสตร์ 4.โสภิณเรียนเศรษฐศาสตร์ หรือโสภีเรียนบัญชี ผล p p แทนประพจน์ในข้อใดต่อไปนี้ จึงจะทำให้การอ้างข้างต้นสมเหตุสมผม 1.โสภาเรียนหมอ 2.โสภณเรียนวิศวะ 3.โสภีเรียนบัญชี 4.โสภิณเรียนเศรษฐศาสตร์ คือในเฉลยเค้าทำแบบนี้ครับให้ a แทนข้อความ โสภาเรียนหมอ ให้ b แทนข้อความ โสภณจะเรียนวิศวะ ให้ c แทนข้อความ โสภีเรียนบัญชี ให้ d แทนข้อความ โสภิณเรียนเศรษฐศาสตร์ จากเหตุ 2 และ 4 จะได้ $[~ c\wedge (d\vee c)]\rightarrow d$ จากเหตุ 3 ได้ $[(~a\rightarrow ~d)\wedge d]\rightarrow a$ จาก 1 ได้ $[(a\rightarrow b)\wedge a]\rightarrow b$ ผล b p คือ b โสภณเรียนวิศวะ คือผมงงว่าการทำเป็นส่วนๆแบบนี้มันจะเหมือนกับการทำรวดเดียวพิจารณา 24 กรณีแบบนี้เปล่าวครับ$[(a\rightarrow b)\wedge (d\vee c)\wedge ~c\wedge (~a\rightarrow ~d)]\rightarrow p$ การพิจารณารวดเดียวคือหาค่าความจริงทั้งหมดของ $[(a\rightarrow b)\wedge (d\vee c)\wedge ~c\wedge (~a\rightarrow ~d)]$ แล้วหาประพจน p ที่จะทำให้ $[(a\rightarrow b)\wedge (d\vee c)\wedge ~c\wedge (~a\rightarrow ~d)]\rightarrow p$ เป้นสัจจนิรันด์เปล่าครับ ถ้าเหมือนรบกวนบอกด้วยครับว่าทำไมเหมือนถ้าพิสูจน์ให้จะดีมากเลยครับ  คือหน้าตัวอักษรบ้างตัวมันมี ~ อ่ะครับแต่พอใส่ $ แล้วมันหายไปผมไม่รู้จะแก้ยังไงอ่ะครับ คือถ้าอยากเห็นว่ามันอยู่หน้าตัวไหนบ้างลองอ้างอิงข้อความนี้ดูนะครับ
__________________
สัมหรับคณิตศาสตร์ ผมไม่มีแม้ซึ่งพรสวรรค์ไม่มีแม้โอกาสด้วยอยุ่ต่างจังหวัด จะมีก็แต่ความรักที่ทุ่มเท.... 16 กรกฎาคม 2009 12:02 : ข้อความนี้ถูกแก้ไขแล้ว 3 ครั้ง, ครั้งล่าสุดโดยคุณ Jew 
|
|
#3
12 กรกฎาคม 2009, 20:07
|
||||
|
||||
|
ไม่เห็นมีอะไรเลยนี่ครับ จับคู่หาตัวที่เป็นจริงไปเรื่อยก็อออกแล้วนี่คับ
__________________
เหนือฟ้ายังมีฟ้าแต่เหนือข้าต้องไม่มีใคร ปีกขี้ผื้งของปลอมงั้นสินะ ...โลกนี้โหดร้ายจริงๆ มันให้ความสุขกับเรา แล้วสุดท้าย มันก็เอาคืนไป...
|
|
#4
16 กรกฎาคม 2009, 12:04
|
||||
|
||||
|
ผมไม่ได้หมายความว่าแบบนั้นครับคือผมหมายความว่า
จากเหตุ 2 และ 4 จะได้ [~ $c\wedge (d\vee c)$]$\rightarrow d$ จากเหตุ 3 ได้ [(~a$\rightarrow$ ~d)$\wedge d$]$\rightarrow a$ จาก 1 ได้ $[(a\rightarrow b)\wedge a]\rightarrow b$ ผล b p คือ b โสภณเรียนวิศวะ คือผมงงว่าการทำแยกเป็นส่วนๆแบบนี้มันจะเหมือนกับการทำรวดเดียวพิจารณาหา p ที่สอดคล้อง แบบนี้เปล่าวครับ[$(a\rightarrow b)\wedge (d\vee c)\wedge$ ~c$\wedge$ (~a$\rightarrow$ ~d)]$\rightarrow$ p คือผมรู้ว่าเหมือนแต่สามารถหาเหตุผลได้ว่าทำไมถึงหมือนกันครับ
__________________
สัมหรับคณิตศาสตร์ ผมไม่มีแม้ซึ่งพรสวรรค์ไม่มีแม้โอกาสด้วยอยุ่ต่างจังหวัด จะมีก็แต่ความรักที่ทุ่มเท.... 16 กรกฎาคม 2009 12:07 : ข้อความนี้ถูกแก้ไขแล้ว 5 ครั้ง, ครั้งล่าสุดโดยคุณ Jew
|
|
#5
16 กรกฎาคม 2009, 18:29
|
||||
|
||||
|
ขอลองตอบดูนะครับ ไม่รู้จะตรงใจไหม
การทำเป็นส่วนๆที่ว่า คือ การใช้สัจนิรันดร์หรือเอกลักษณ์มาอ้างเป็นทอดๆ เพื่อให้ข้อความที่พิสูจน์มันง่ายขึ้น ไม่ต้องมาแจง $2^4=16$ กรณีโดยตารางค่าความจริงครับ สาเหตุที่ทำเช่นนั้นได้ เพราะแต่ละข้อความในเหตุแต่ละข้อ เชื่อมกันด้วยเครื่องหมาย $\wedge$ ซึ่งมีสมบัติสลับที่และเปลี่ยนกลุ่มภายในกลุ่มของมัน และการแทนที่ประพจน์ด้วยประพจน์ที่สมมูลกัน ไม่ทำให้ค่าความจริงเปลี่ยนครับ ปล. เครื่องหมาย $\sim$ พิมพ์ใน mode สัญลักษณ์โดยใช้คำสั่ง \sim ครับ
__________________
คนไทยร่วมใจอย่าใช้ภาษาวิบัติ ฝึกพิมพ์สัญลักษณ์สักนิด ชีวิต(คนตอบและคนถาม)จะง่ายขึ้นเยอะ (จริงๆนะ) Stay Hungry. Stay Foolish.
|
| |
|
|
จด จด จด 