Skip to content
ml-recall

#deduction-theorem

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

For sentences PP, QQ and RR, the entailment P,Q⊨RP, Q \models R holds exactly when which sentence is a tautology?

Choose one option