Why is this expression (A and ¬A |= C) entailed?
-
05-11-2019 - |
문제
Hopefully I am posting this in the right place, I am currently in a course of knowledge representation, and I came across an exercise about entailment: $$A\land\neg A\vDash C\,.$$
I would argue that this expression is not entail, but it is actually entailed, but I don't see how, can you help me figure out why?
올바른 솔루션이 없습니다
제휴하지 않습니다 cs.stackexchange