Metadata
Author: WikiMatrix
Data
English[en]
If the negated query can be refuted, it follows that the query, with the appropriate variable bindings in place, is a logical consequence of the program.
Macedonian[mk]
Ако негацијата на прашето може да биде одбиено, тогаш следува дека инстанцата која го задоволува тој услов претставува логичка последица на програмата.