If there is no proposition having t

If there is no proposition having the form of
the goal, the system indicates, by saying no, that the goal cannot be satisfied

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

Nếu có là không có đề xuất có các hình thứcmục tiêu, Hệ thống chỉ ra, bằng cách nói không, mục tiêu không được hài lòng

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

Nếu không có đề xuất có dạng
mục tiêu, hệ thống chỉ ra, bằng cách nói không có, mà mục tiêu không thể hài lòng