Conjunctive propositions and propos

Conjunctive propositions and propositions with variables are also legal
goals. When variables are present, the system not only asserts the validity of
the goal but also identifies the instantiations of the variables that make the goal
true. For example

Kết quả (Việt) 1:

Bằng đề xuất và kiến nghị với biến cũng được quy phạm pháp luậtmục tiêu. Khi biến là hiện nay, Hệ thống không chỉ khẳng định tính hợp lệ củamục tiêu nhưng cũng xác định instantiations các yếu tố làm cho mục tiêusự thật. Ví dụ:

Kết quả (Việt) 2:

Mệnh đề nối tiếp và các mệnh đề với biến cũng là hợp pháp
mục tiêu. Khi biến hiện diện, hệ thống không chỉ khẳng định tính hợp lệ của các
mục tiêu mà còn xác định các khởi của các biến mà làm cho mục tiêu
thực sự. Ví dụ