in which case we need logic in the

in which case we need logic in the intalanguage to derive all its instances.

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

ในกรณี เราได้ตรรกะใน intalanguage สามารถรับอินสแตนซ์ทั้งหมดของ

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

ซึ่งในกรณีที่เราต้องการตรรกะใน intalanguage ที่จะได้รับทุกกรณีของ

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

ซึ่งในกรณีนี้ เราต้องการเหตุผลใน intalanguage สร้างอินสแตนซ์ของ