Skip to content
ml-recall

#double-turnstile

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: True or false

mediumAI-checkedKnowledge Representation & Reasoning

True or false: for any sentences PP and QQ, if P⊭QP \not\models Q (PP does not entail QQ), then P⊨¬QP \models \lnot Q.

Choose one option