ความคิดเห็นที่ 1 ผมเพิ่มเติมอีกวิธีดีกว่า วิธีผมจะได้มีน้ำหนัก อิอิ $x[~Q(x) --> R(1)] บ $x[~R(1) --> Q(x)] จึงเปลี่ยนประโยคเป็น สำหรับ x บางตัว ถ้า 1 ไม่เป็นจำนวนเฉพาะแล้ว x เป็นจำนวนคี่ นั่นคือผมมองว่า Q(x) เป็นจริง สำหรับ x บางตัว ประโยคจึงกลายเป็น T --> T ก็เลยได้ออกมาเป็นจริงครับ ขอความเห็นเพื่อน ๆ พี่ ๆ น้อง ๆ ด้วยครับ จากคุณ : basicguy เขียนเมื่อ : 5 ก.ค. 53 00:30:23

ความคิดเห็นที่ 2 some x ต้องเปลี่ยนเป็น all x เป็นจำนวนคี่ ผลที่ไ้ด้จะเป็น F ดังนั้น F v F นิพจน์จึงมีค่าเป็นเท็จครับ จากคุณ : Chaiyohohew เขียนเมื่อ : 5 ก.ค. 53 01:00:37

ความคิดเห็นที่ 3 ตะกี้ผิดครับ :) Let D ={1,2} Q(x) = ...is odd number R(x) = ...is prime. Ex such that ~Q(x) -> R(1) R(1) = F there is an x such that if x is not odd then 1 is prime. x = 1; F->F = true Negation : Ax,~Q(x)^~R(1) ~R(1) = T Ax,~Q(x)^T = Ax,~Q(x) by identity laws x=1; ~Q(x) = F this is counterexapmple then the statement is false So if its Negation is false then the statement is true! --- แสดงให้เห็นทั้งสองแบบครับว่า ตัวstatement เป็นจริง และ Negation ของมันเป็นเท็จ (ไป supportว่ามันเป็นจริง) แก้ไขเมื่อ 05 ก.ค. 53 01:31:53 แก้ไขเมื่อ 05 ก.ค. 53 01:29:52 แก้ไขเมื่อ 05 ก.ค. 53 01:20:40 จากคุณ : atthaphong เขียนเมื่อ : 5 ก.ค. 53 01:16:28

ความคิดเห็นที่ 4 คห. 2 ครับ ทำไมต้องเปลี่ยนด้วยครับ ช่วยอธิบายเพิ่มด้วยครับ คห. 3 ครับ Negation : Ax,Q(x)^~R(1) ประโยคนี้ แปลก ๆ ครับ ตัวนิเสธของโจทย์ น่าจะป็น "x[~Q(x) ^ ~R(1)] รึเปล่าครับ ผมเข้าใจว่าวิธีของคุณ คือ หาค่าความจริงของนิเสธ ของโจทย์ เมื่อได้แล้ว แสดงว่าโจทย์จะมีค่าความจริง ตรงข้ามกับที่เราหาในส่วนของนิเสธ ผมเข้าใจถูกรึเปล่าครับ จากคุณ : basicguy เขียนเมื่อ : 5 ก.ค. 53 01:25:52

ความคิดเห็นที่ 5 ลองมุกนี้ได้มั้ยครับ ให้ U = {1,2} กำหนด Z(x) เป็นจริง เมื่อ x = 1 และ Z(x) เป็นเท็จ เมื่อ x = 2 แล้วถามว่า $x[Z(x)] เป็นจริงหรือเท็จ? พอได้คำตอบแล้ว ก็ถามว่าให้ Z(x) = ~Q(x) -> R(1) ได้มั้ย จากคุณ : ศล เขียนเมื่อ : 5 ก.ค. 53 11:01:06

ความคิดเห็นที่ 6 a      b     |    a -> b T      T     |       T T      F      |       F F       T     |       T F       F      |      T จากตาราง Implication ด้านบน จากโจทย์ กำหนด เอกภพสัมพัทธ์ U = {1, 2} Q(x) แทน x เป็นจำนวนคี่ R(x) แทน x เป็นจำนวนเฉพาะ $x[~Q(x) --> R(1)] มีค่าความจริงเป็นอะไร ~Q(1) = ~(T)  = F R(1) = F ได้ [~Q(x) --> R(1)]  = T ~Q(2) = ~(F) = T R(1) = F ได้ [~Q(x) --> R(1)]  = F ดังนั้นถ้าเราให้ P คือเซตของค่าความจริงของประโยค [~Q(x) --> R(1)] เราจะได้ว่า P = { F , T } เมื่อใส่ For some ไปข้างหน้าประโยคดังกล่าว หมายความว่า มี x บางตัวที่ทำให้ประโยคมีค่าความจริงเป็น T หรือกับ มี x บางตัวที่ทำให้ประโยคมีค่าความจริงเป็น F ได้ T V T ดังนั้นค่าความจริงของประโยคนี้ $x[~Q(x) --> R(1)] จึงเท่ากับ T จากคุณ : Santa_Baby เขียนเมื่อ : 5 ก.ค. 53 11:35:34

ความคิดเห็นที่ 7 คิดว่าข้อความนี้เป็นจริงครับ ปกติแล้ว ตัวบ่งปริมาณ For some ถ้ามีสมาชิกที่ทำให้ข้อความนี้เป็นจริงเพียงตัวเดียว ก็จะทำให้ประพจน์นี้เป็นจริงแล้ว ในกรณีนี้ ~Q(1) --> R(1) มีค่าความจริงคือ F --> F ซึ่งจะกลายเป็น T ดังนั้นประพจน์นี้เป็นจริงแล้วครับ วิธีที่อาจารย์คิดนั้นผิด เพราะว่าเราไม่สามารถกระจาย For some เข้าไปในประพจน์ย่อยแต่ละตัวได้ คือ $x [Q(x) --> R(1)] ไม่สมมูลกับ $x [Q(x)] --> R(1) ครับ แก้ไขเมื่อ 05 ก.ค. 53 11:59:13 จากคุณ : HeteroscedasticitY เขียนเมื่อ : 5 ก.ค. 53 11:54:55

ความคิดเห็นที่ 8 ข้อสังเกต ... ภาษาพูด จขกท " ...สำหรับ x บางตัว ถ้า x เป็นจำนวนคู่แล้ว 1 เป็นจำนวนเฉพาะ..." สมมูลกับ "ถ้ามี x บางตัวเป็นจำนวนคู่ แล้ว 1 เป็นจำนวนเฉพาะ" หรือไม่ สมมูลกับ "x ทุกตัวเป็นจำนวนคี่ หรือ 1 เป็นจำนวนเฉพาะ" หรือไม่ ลองพิจาณาดูครับ จากคุณ : Chaiyohohew เขียนเมื่อ : 5 ก.ค. 53 13:54:40

ความคิดเห็นที่ 9 โจทย์น่าจะดักที่ R(1) เพราะถ้าโจทย์เป็น R(x) ภาษาพูดจากโจทย์เดิมน่าจะเป็นแบบนี้ครับ ถ้า มี x บางตัวเป็นจำนวนคู่ แล้ว x นั้นเป็นจำนวนเฉพาะ ค่านิพจน์นี้ถึงจะเป็น จริงครับ {1, 2} อันนี้ว่าตามความเห็นผมนะครับ ถ้าติดข้อสงสัย ควรจะให้น้องถามอาจารย์โดยตรง อย่างน้อยอาจารย์จะได้อธิบายให้อย่างแจ่มแจ้งครับ แก้ไขครับ ขออภัย แก้ไขเมื่อ 05 ก.ค. 53 15:27:52 จากคุณ : Chaiyohohew เขียนเมื่อ : 5 ก.ค. 53 14:01:14

ความคิดเห็นที่ 10 นิเสธของคำถาม คือ ทุก x ในเซต {1, 2} [   ~Q(x) and R(1)   ] ซึ่งเป็นเท็จ (เนื่องจาก R(1) เป็นเท็จ) ดังนั้น คำตอบของคำถามเริ่มต้น จึงเป็นจริง จากคุณ : The mask of tears เขียนเมื่อ : 5 ก.ค. 53 17:08:40

ความคิดเห็นที่ 11 คห. บน น่าจะผิดนิดนึงนะคับ นิเสธน่าจะเป็น "x [~Q(x) and ~R(1)] แต่สรุปแล้วนิเสธก็เป็นเท็จเหมือนกัน เพราะมี x = 1 ที่ทำให้ ~Q(x) เป็นเท็จครับ จากคุณ : HeteroscedasticitY เขียนเมื่อ : 5 ก.ค. 53 22:03:20

ความคิดเห็นที่ 12 อา... ใช่แล้วผมผิดครับ แหะๆ ลืมเปลี่ยนตัวท้ายซะงั้น :) จากคุณ : The mask of tears เขียนเมื่อ : 6 ก.ค. 53 03:40:35

ความคิดเห็นที่ 13 ขอบคุณทุกความเห็นมากครับ กระจ่างแล้ว ผมถูก อิอิ ได้วิธีคิดเพิ่มมาตั้งหลายแบบ จากคุณ : basicguy เขียนเมื่อ : 6 ก.ค. 53 08:13:25

ความคิดเห็นที่ 14 มี x แน่ๆ ที่ทำให้ ~Q(x) เป็นเท็จ จากคุณ : Rediemtio เขียนเมื่อ : 11 ก.ค. 53 00:17:05