ml-recall

#validity

6 questions from Knowledge Representation & Reasoning

Timed test

6 questions · 6 min · score and explanations at the end

Take a test

Q 1 / 6Score 0 / 0

Shuffle questions

Question 1: Single choice

mediumAI-checkedKnowledge Representation & Reasoning

Which of these arguments is valid, i.e. has no valuation that makes all premises true and the conclusion false? ( $\therefore$ marks the conclusion.)

$A \lor B,\ B \lor C,\ \lnot A \ \therefore\ B \land C$ 1
$A \lor B,\ B \lor C,\ \lnot B \ \therefore\ A \land C$ 2
$A \to B,\ \lnot A \ \therefore\ \lnot B$ 3
$A \to B,\ A \to C \ \therefore\ B \to C$ 4

Keys: 1–9 select · Enter check / next