Indeed, “” is an operator that acc

Indeed, “” is an operator that accepts two terms and provides a term, while “BC” is a binary relation (a predicate) that accepts terms and provides a proposition, or a “open sentence4

ผลลัพธ์ (ไทย) 1:

แน่นอน "" เป็นตัวดำเนินการที่ยอมรับเงื่อนไขที่สอง และให้คำ "BC" เป็นฐานความสัมพันธ์ (เป็นเพรดิเคต) ที่ยอมรับเงื่อนไข และให้ข้อเสนอการ หรือการ "เปิด sentence4

ผลลัพธ์ (ไทย) 2:

อันที่จริง "" เป็นผู้ประกอบการที่รับสองคำและให้ระยะในขณะที่ "BC" เป็นฐานความสัมพันธ์ (เป็นคำกริยา) ที่ยอมรับเงื่อนไขและให้ข้อเสนอหรือ "sentence4 เปิด

ผลลัพธ์ (ไทย) 3:

แน่นอน "  " เป็นผู้ประกอบการยอมรับเงื่อนไข และมีระยะ ในขณะที่ " บี C " คือความสัมพันธ์ทวิภาค ( ภาคแสดง ) ว่า ยอมรับข้อตกลง และมีข้อเสนอ หรือ " เปิด sentence4