closed-world assumption

formal-logic assumption that any statement that is not known to be true is false

Categories: