เรื่องการพิสูจน์ความถูกผิดของเงื่อนไขสัญลักษณ์ครับ

[Toddlen]

สวัสดีครับ มือใหม่ครับผม รบกวนสอบถามเพื่อนๆ พี่ๆ ในนี้กันนะครับ เกี่ยวกับเรื่องเงื่อนไขสัญลักษณ์ ตามข้างล่าง
เงื่อนไข
(P + Q) >= 2R ≤ S = 3T
≤ U ≤ R =

ข้อสรุป
1. P < 2Q
U + P < 3R
2. T < P
S < R
3. P < T + R
R < T
4. P < U
R < U

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

ขอบคุณครับ