On the following proposition depend

On the following proposition depends an important theorem in Mechanizes: we give a proof of the first case. leaving the second case to be deduced by a similar method.

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

รับข้อเสนอต่อไปนี้ขึ้นอยู่กับทฤษฎีบทสำคัญใน Mechanizes: เราให้หลักฐานกรณีแรก ออกจากกรณีสองไปได้ซึ่งสามารถกล่าวได้ โดยวิธีการคล้ายกัน

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

ในเรื่องดังต่อไปนี้ขึ้นอยู่ทฤษฎีบทสำคัญใน Mechanizes เราจะให้หลักฐานการกรณีแรก ออกจากกรณีที่สองที่จะอนุมานได้โดยวิธีการที่คล้ายกัน

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

ในข้อเสนอต่อไปนี้ขึ้นอยู่กับเป็นทฤษฎีบทที่สำคัญใน mechanizes : เราจะให้หลักฐานในคดีแรก จากกรณีที่ 2 จะเห็นว่า ด้วยวิธีที่คล้ายคลึงกัน