ถามเรื่องวลีบ่งปริมาณกับความสมเหตุสมผลหน่อยครับ

โจทย์มีอยู่ว่า E_x[x + 5 < 0 ---> x > 0] ; U = จำนวนจริง (E_x คือ some x)
สุ่มมา 1 ตัวให้ x = 1 จะได้ F--->T = T (some ถ้าจริงตัวเดียวคือจริง)
เพราะฉะนั้น ข้อความนี้เป็นจริง

แต่ถ้านำข้อความนี้มาแปลเป็นข้อความภาษาไทยจะได้ว่า "มีจำนวนจริงบางจำนวน ถ้าบวกด้วย 5 จะมีค่าน้อยกว่า 0 แล้วจำนวนนี้มีค่ามากกว่า 0" ซึ่งถ้าพิจารณาแล้วมันเป็นไปไม่ได้อย่างแน่นอนเพราะตัวที่บวกด้วย 5 แล้วมีค่ามากกว่า 0 ต้องมีค่าน้อยกว่า -5 อย่างแน่นอน ซึ่งมันเป็นไปไม่ได้ที่จะมากกว่า 0
เพราะฉะนั้นข้อความนี้จึงเป็นเท็จ

คำถามของผมมีอยู่ว่า ทำไมตรรกศาสตร์ถึงไม่สมเหตุสมผลในตัวอย่างนี้
รบกวนด้วยครับ