#monotonicity

2 questions from Knowledge Representation & Reasoning, Optimization & Calculus

Timed test

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

Q 1 / 2Score 0 / 0

Shuffle questions

Question 1: Select all that apply

hardAI-checkedKnowledge Representation & Reasoning

Which of these arguments are valid? Select all that apply.

$A \land B,\ \lnot A \to \lnot C,\ B \to \lnot D \ \therefore\ A \lor B$ 1
$A \to B \ \therefore\ (A \land B) \lor (\lnot A \land \lnot B)$ 2
$A \to B,\ \lnot B \lor A \ \therefore\ A \leftrightarrow B$ 3
$\lnot(\lnot A \lor \lnot B),\ A \to \lnot C \ \therefore\ A \to (B \to C)$ 4
$A \lor B,\ A \to B,\ B \to A \ \therefore\ A \land B$ 5

Keys: 1–9 select · Enter check / next