ตรรกศาสตร์เบื้องต้น
ประพจน์ ประโยคเปิดและตารางค่าความจริง
PAT
ออกสอบ
67%
O-NET
ออกสอบ
น้อย
วิชาสามัญ
ออกสอบ
น้อย
A-LEVEL
ออกสอบ
น้อย
การเชื่อมด้วย "และ" "หรือ"
PAT
ออกสอบ
น้อย
O-NET
ออกสอบ
น้อย
วิชาสามัญ
ออกสอบ
น้อย
A-LEVEL
ออกสอบ
น้อย
การเชื่อมด้วย "ถ้า แล้ว" "ก็ต่อเมื่อ"
PAT
ออกสอบ
น้อย
O-NET
ออกสอบ
33%
วิชาสามัญ
ออกสอบ
น้อย
A-LEVEL
ออกสอบ
น้อย
นิเสธของประพจน์
PAT
ออกสอบ
33%
O-NET
ออกสอบ
น้อย
วิชาสามัญ
ออกสอบ
น้อย
A-LEVEL
ออกสอบ
น้อย
ความสมมูลกันของประพจน์
PAT
ออกสอบ
น้อย
O-NET
ออกสอบ
น้อย
วิชาสามัญ
ออกสอบ
67%
A-LEVEL
ออกสอบ
น้อย
ประพจน์ที่มีตัวบ่งปริมาณ
PAT
ออกสอบ
33%
O-NET
ออกสอบ
น้อย
วิชาสามัญ
ออกสอบ
67%
A-LEVEL
ออกสอบ
น้อย
สัจนิรันดร์
PAT
ออกสอบ
น้อย
O-NET
ออกสอบ
น้อย
วิชาสามัญ
ออกสอบ
น้อย
A-LEVEL
ออกสอบ
น้อย
การอ้างเหตุผล
PAT
ออกสอบ
67%
O-NET
ออกสอบ
67%
วิชาสามัญ
ออกสอบ
น้อย
A-LEVEL
ออกสอบ
น้อย

การอ้างเหตุผล

ยอดวิว 0

แบบฝึกหัด

EASY

การอ้างเหตุผล (ชุดที่ 1)

MEDIUM

การอ้างเหตุผล (ชุดที่ 2)

HARD

การอ้างเหตุผล (ชุดที่ 3)

เนื้อหา

การอ้างเหตุผล

ในตอนที่ผ่านมาทั้งหมด ได้ศึกษาเกี่ยวกับการหาค่าความจริงของประพจน์ไป สำหรับตอนนี้ จะกล่าวถึงการอ้างเหตุผล ซึ่งเป็นการใช้ประพจน์หลายๆ ประพจน์สรุปค่าความจริงของประพจน์นั่นเอง

การอ้างเหตุผล

จะให้ประพจน์มาจำนวนหนึ่งในส่วนของเหตุ และสรุปประพจน์มาในส่วนของผล จะเรียกการอ้างเหตุผลว่า สมเหตุสมผล เมื่อพิจารณาประพจน์ด้วยตัวเชื่อม “ถ้า แล้ว” โดยที่เหตุของประพจน์ได้มาจากการเชื่อมส่วนของเหตุทั้งหมดด้วยตัวเชื่อม ”และ” และผลของประพจน์ได้มาจากส่วนของผล

รูปแบบ          เหตุ    straight p subscript 1
                           p subscript 2
                           p subscript 3
                          vertical ellipsis
                          straight p subscript straight n  
ผล                      r
  • สมเหตุสมผล เมื่อ p subscript 1logical andstraight p subscript 2logical andstraight p subscript 3logical andhorizontal ellipsislogical andstraight p subscript straight nrightwards arrowr      เป็นสัจนิรันดร์
  • ไม่สมเหตุสมผล เมื่อ  p subscript 1logical andp subscript 2logical andp subscript 3logical andhorizontal ellipsisstraight p subscript straight nrightwards arrowr     ไม่เป็นสัจนิรันดร์

ตัวอย่าง         

เหตุ     prightwards arrowq
ผล      p

พิจารณาประพจน์ (prightwards arrowq)rightwards arrowp   และตารางค่าความจริงต่อไปนี้

pqp rightwards arrow qleft parenthesis p rightwards arrow q right parenthesis rightwards arrow p
TTTT
TFFT
FTTF
FFT F


ซึ่งไม่เป็นสัจนิรันดร์ ดังนั้นการอ้างเหตุผลนี้ไม่สมเหตุสมผล

1. ตัวอย่าง

 เหตุ      prightwards arrowq
           tildep
 ผล      tildeq


 พิจารณาประพจน์   ((prightwards arrowq)logical and(tildep))rightwards arrowtildeq
ใช้วิธีหาข้อขัดแย้งจะได้                                                              

                
                                                         
จะเห็นว่าไม่เกิดข้อขัดแย้งและได้กรณีที่ทำให้ประพจน์เป็นเท็จ ดังนั้นการอ้างเหตุผลไม่สมเหตุสมผล


2. ตัวอย่าง

เหตุ      prightwards arrowq
           qrightwards arrowr
ผล       prightwards arrowr

พิจารณาประพจน์ ((prightwards arrowq)logical and(qrightwards arrowr))rightwards arrow(prightwards arrowr)               
ใช้วิธีหาข้อขัดแย้งจะได้

  

เกิดข้อขัดแย้ง ดังนั้นการอ้างเหตุผลสมเหตุสมผล


3. ตัวอย่าง

เหตุ      ปลาแซลมอนอยู่ในน้ำจืดหรือปลาแซลมอนอยู่ในน้ำเค็ม

          ปลาแซลมอนอยู่ในน้ำจืด
ผล       ปลาแซลมอนไม่อยู่ในน้ำเค็ม
พิจารณาให้      p แทน ปลาแซลมอนอยู่ในน้ำจืด
                  q แทน ปลาแซลมอนอยู่ในน้ำเค็ม           

จะได้ประพจน์ที่ต้องพิจารณาคือ (plogical orq)logical andprightwards arrowtildeq                               

     

จะเห็นว่าไม่เกิดข้อขัดแย้ง ดังนั้นเป็นการอ้างเหตุผลที่ไม่สมเหตุสมผล  


ตัวอย่าง 

เหตุ      ถ้ารัฐบาลขึ้นค่าแรงขั้นต่ำแล้วเงินจะเฟ้อ
          ถ้าอาหารราคาสูงขึ้นแล้วรัฐบาลขึ้นค่าแรงขั้นต่ำ
          รัฐบาลขึ้นค่าแรงขั้นต่ำผล      
ผล       อาหารราคาสูงขึ้น

   สำหรับตัวอย่างสุดท้ายนี้ให้ลองพิจารณาแล้วฟังคำอธิบายในวิดีโอ