Why is this expression (A and ¬A |= C) entailed?
-
05-11-2019 - |
Question
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?
No correct solution
Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange