|
P(x)P(x)P(x)P(x)
โพสต์เมื่อ:
22:31 วันที่ 2 ก.พ. 2549 ชมแล้ว:
466 ตอบแล้ว:
1
อยากทราบว่า
ExAy[p(x)] กับ AyEx[p(x)] สมมูลกันหรือไม่ เพราะอะไรครับ ขอโทษด้วยที่ไม่ได้ใช้สัญลักษณ์ที่ถูกต้อง ขอบคุณสำหรับทุกความเห็นครับ จำนวน 1 ความเห็น, หน้า่ | -1- ความเห็นเพิ่มเติมที่ 1 2 ก.พ. 2549 (22:47) คาดว่า A หมายถึง For all , E หมายถึง For some นะครับ ส่วน 2 อันที่กล่าวมานั้น "ไม่สมมูล" กันนะครับ สำหรับ ExAy เราจะต้องพิจารณาจากค่า x ว่าจะมีตัวไหนที่ทำให้เราสามารถแทน y ลงไปได้ทุกตัว แต่ AyEx เราต้องพิจารณาค่า y ทุกค่า ว่าจะต้องมี ค่า x ที่แทนลงไปได้เสมอ |
