ตรรกศาสตร์

ประโยคในข้อใดต่อไปนี้เป็นประพจน์

• ดวงอาทิตย์มีแสงสว่างในตัวเอง

• 2x + 1 = 5

• กรุณาทานอาหารจานนี้

• อย่าทิ้งขยะลงบนพื้น

พิจารณาข้อความต่อไปนี้

ก. เหตุ

1) ไม่มีทหารคนใดเป็นผู้หญิง

2) พยาบาลทุกคนเป็นผู้หญิง

ผล ไม่มีทหารคนใดเป็นพยาบาล

ข. เหตุ

1) จำนวนตรรกยะทุกตัวเป็นจำนวนจริง

2) จำนวนจริงบางจำนวนเป็นจำนวนอตรรกยะ

ผล มีจำนวนตรรกยะบางจำนวนเป็นจำนวนอตรรกยะ

ข้อใดต่อไปนี้ถูกต้อง

• ก. สมเหตุสมผล และ ข. สมเหตุสมผล

• ก. ไม่สมเหตุสมผล และ ข. สมเหตุสมผล

• ก. ไม่สมเหตุสมผล และ ข. ไม่สมเหตุสมผล

• ก. สมเหตุสมผล และ ข. ไม่สมเหตุสมผล

การอ้างเหตุผลของข้อใดต่อไปนี้สมเหตุสมผลบ้าง

ก. เหตุ

1.ถ้ากล้วยไม่ขยันเรียน แล้ว กล้วยจะสอบไม่ผ่าน

2.กล้วยขยันเรียน

ผล กล้วยสอบผ่าน

ข. เหตุ

1.ฝนตก หรือ หลังคาเปียก

2.ฝนไม่ตก

ผล หลังคาเปียก

• ก. สมเหตุสมผล และ ข. สมเหตุสมผล

• ก. สมเหตุสมผล แต่ ข. ไม่สมเหตุสมผล

• ก. ไม่สมเหตุสมผล แต่ ข. สมเหตุสมผล

• ก. ไม่สมเหตุสมผล และ ข. ไม่สมเหตุสมผล

ประโยคในข้อใด ไม่เป็น ประพจน์

• 4 ÷12 ≠ 12 ÷ 4

• ดวงอาทิตย์ขึ้นทางทิศตะวันออก

• ประเทศไทยมี 72 จังหวัด

• 2m − 5 = 8

ประพจน์ในข้อใด มีค่าความจริง เป็นจริง

• 1 เป็นจำนวนเฉพาะ

• เดือนมิถุนายน มี 31 วัน

• π เป็นจำนวนตรรกยะ

• √-4 เป็นจำนวนเต็ม

5. ให้ p แทน 1 + 1 = 2 , q แทน 2 + 2 = 4 และ r แทน 2 + 3 ≠ 5

สัญลักษณ์ในข้อใดแทนข้อความ

ถ้า 1 + 1 = 2 และ 2 + 2 ≠ 4 แล้ว 2 + 3

• (p ∧ ∼q) → r

• (p ∧ ∼q) ∧ r

• (p ∧ ∼q) → ∼r

• (p ∧ q) → r

พิจารณานิเสธของประพจน์แต่ละข้อต่อไปนี้ ข้อใด ไม่ถูกต้อง

• นิเสธของ ไนน์เตี้ยกว่าภูผา คือ ไนน์สูงกว่าหรือเท่ากับภูผา

• นิเสธของ แมวมี 3 ขา คือ แมวไม่มี 3 ขา

• นิเสธของ 2 + 5 ≠ 6 คือ 2 + 5 = 6

• นิเสธของ 7 + 6 > 13 คือ 7 + 6 < 13

กำหนด p แทน 0 เป็นจำนวนนับ

q แทน 6 เป็นจำนวนเต็ม

ข้อใดแทน 0 เป็นจำนวนนับ

และ 6 เป็นจำนวนเต็ม และมีค่าความจริง

เป็นอย่างไร

• p ∧ q และมีค่าความจริงเป็น F

• p ∨ q และมีค่าความจริงเป็น F

• p ∧ q และมีค่าความจริงเป็น T

• p ∨ q และมีค่าความจริงเป็น T

ถ้าประพจน์ (p ∧ q) → (p → r) มีค่าความจริง

เป็นเท็จ แล้วค่าความจริงของ p , q , r

ตามลำดับคือข้อใด

• T, F, T

• T, T, T

• T, T, F

• T, F, F

รูปแบบประพจน์ p → q สมมูลกับรูปแบบประพจน์ในข้อใด

• ∼p ∨ q

• p ∨ ∼q

• p ∨ q

• ∼p ∨ ∼q