Skip to content
ml-recall

#counter-model

1 question from Knowledge Representation & Reasoning

Timed test

1 question · 1 min · score and explanations at the end

Take a test
Q 1 / 1Score 0 / 0

Question 1: Single choice

mediumAI-checkedKnowledge Representation & Reasoning

The argument N(a)∧N(b)∧N(c) ∴ ∀x N(x)N(a) \land N(b) \land N(c) \ \therefore\ \forall x\, N(x) is invalid in first-order logic. Which feature of interpretations makes a counter-model possible?

Choose one option