it is clear from the definitions th

it is clear from the definitions that both the i/s and the i/o behaviors of a system are indeed i/o behaviors.

observe that the i/o map associated to the i/s response in the sense of remark 2.2.2 is precisely the same as W (cf. formula (2.7)).

note also that from the definitions and the identity axiom, E for all E.

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

เป็นที่ชัดเจนจากคำนิยามที่สอง i / s และลักษณะการทำงานของ i/o ของระบบจริงเป็นลักษณะการทำงานของ i/oสังเกตว่า i/o แผนที่เกี่ยวข้องกับการไอ / s ตอบในแง่ของเหตุ 2.2.2 นิดเดียวเป็น W (มัทธิวสูตร (2.7))โปรดสังเกตด้วยว่าคำนิยามและสัจพจน์ตัว E สำหรับอีทั้งหมด

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

ก็เป็นที่ชัดเจนจากคำจำกัดความว่าทั้งผม / s และพฤติกรรม I / O ของระบบเป็นจริงผม / พฤติกรรม o. สังเกตว่า I / O แผนที่ที่เกี่ยวข้องกับฉัน / วินาทีการตอบสนองในความหมายของคำพูด 2.2.2 เป็นอย่างแม่นยำเช่นเดียวกับ W (cf สูตร (2.7)). ทราบว่าจากคำจำกัดความและความจริงตัวตน, อีอีทั้งหมด

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

ก็เป็นที่ชัดเจนจากคำนิยามที่ทั้งผมและ I / O พฤติกรรมของระบบ I / O พฤติกรรมแน่นอน

สังเกตว่า I / O แผนที่เกี่ยวข้องกับ I / s ในการตอบสนองต่อความรู้สึกของหมายเหตุ 2.2.2 เหตุผลเดียวกับ W ( CF . สูตร ( 2.7 )

ยังทราบว่าจากนิยามและตัวตนสัจพจน์ , E สำหรับทุกคน .