Doing this (a crossing is a success

Doing this (a crossing is a succession of letters among the letter from A to T, with some rules), we can see that for sentences three and six, the formal open sentences corresponding lead to a false universal sentence and a true existential sentence; so, the formalization of the task allows us to make clear that point : the truth values of sentences three and six are not constrained by the situation.

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

ทำเช่นนี้ (การข้ามเป็นสืบทอดตัวระหว่างตัวอักษรจาก A กับ T กฎบาง), เราจะเห็นว่า สำหรับ sentences สามและหก ประโยคเปิดทางที่สอดคล้องกับการนำไปปลอมสากลประโยคและประโยค existential จริง ดังนั้น formalization ของงานช่วยให้เราสามารถให้ชัดเจนที่จุด: ค่าความจริงของประโยคที่สามและหกไม่จำกัดจากสถานการณ์

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

การทำเช่นนี้ (ข้ามคือการสืบทอดของตัวอักษรในหมู่จดหมายจาก A ถึงทีที่มีกฎบางอย่าง) เราจะเห็นว่าประโยคสามและหกประโยคเปิดอย่างเป็นทางการนำที่สอดคล้องกับประโยคสากลเท็จและประโยคอัตถิภาวนิยมจริง; ดังนั้น formalization ของงานที่ช่วยให้เราสามารถให้ชัดเจนว่าจุด: ค่าความจริงของประโยคที่สามและหกจะไม่ถูก จำกัด ด้วยสถานการณ์

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

ทำแบบนี้ ( ข้ามเป็นบัลลังก์ของตัวอักษรในจดหมายจาก T กับกฎ ) เราจะเห็นได้ว่าในประโยคทั้งสามและหก ประโยคเปิดอย่างเป็นทางการที่สอดคล้องกันนำไปสู่เท็จและจริงสู่สากลประโยคประโยค ดังนั้น ความเป็นทางการของงานช่วยให้เราทำให้ชัดเจนจุดที่ :ค่าจริงของประโยค 3 และ 6 ไม่ได้บังคับโดยสถานการณ์ .