Đề xuất 3,2 gợi ý theo cách đơn giản của việc đánh giá các truy vấn trong chương trình kéo dài logic. Để có được một câu trả lời cho truy vấn p chạy truy vấn p và p' trên các chương trình II +. Nếu II +, s trả lời để p là có thì câu trả lời của mình cho p là có. Nếu II +, s trả lời với p' là có, thì câu trả lời của mình cho p là không có.
đang được dịch, vui lòng đợi..
