As this formula appears while forma

As this formula appears while formalizing the sentence “The intersection of a set A with a set B included in a set C is the same as the intersection of this set A with this set B”, it illustrates the fact that the translation from “ ordinary language” in a formal language don’t respect necessarily the syntax and therefore needs that we take care of the logical status of the letters we use

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

ตามสูตรนี้ปรากฏขึ้นในขณะที่ formalizing ประโยค "ของชุด A ชุด B รวมอยู่ในชุด C เป็นเหมือนกับของชุด A กับ B ชุดนี้" มันแสดงให้เห็นความจริงว่า แปลจาก "ภาษาสามัญ" ในภาษาทางไม่เคารพจำไวยากรณ์ และดังนั้นจึง ต้องการให้เราดูแลสถานะทางตรรกะของตัวอักษรที่เราใช้

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

ในฐานะที่เป็นสูตรนี้จะปรากฏขึ้นในขณะที่อย่างเป็นทางการประโยค "จุดตัดของชุด A กับ B ชุดที่รวมอยู่ในชุดซีเป็นเช่นเดียวกับจุดตัดของแต่ละชุดนี้กับ B ชุดนี้" มันแสดงให้เห็นถึงความจริงที่ว่าแปลจาก "สามัญ ภาษา "ในภาษาที่เป็นทางการไม่เคารพจำเป็นต้องไวยากรณ์และดังนั้นจึงต้องการที่เราดูแลสถานะตรรกะของตัวอักษรที่เราใช้

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

เป็นสูตรนี้จะปรากฏขึ้นในขณะที่ formalizing ประโยค " แยกชุดกับชุด B รวมอยู่ในชุด C เป็นแบบแยกชุดนี้กับชุด B " มันแสดงให้เห็นถึงความจริงที่ว่าแปลจาก " ธรรมดา " ภาษาในภาษาสุภาพไม่เคารพเรื่องไวยากรณ์ และดังนั้นจึง ความต้องการที่เราดูแลสถานะตรรกะของตัวอักษรเราใช้