Pourquoi cette expression (a et ¬a | = c) implique-t-elle?

Question

J'espère que je publie ceci au bon endroit, je suis actuellement dans un cours de représentation des connaissances, et je suis tombé sur un exercice sur l'implication: $$ a land neg a vdash c ,. $$

Je dirais que cette expression n'est pas impliquée, mais elle est en fait impliquée, mais je ne vois pas comment, pouvez-vous m'aider à comprendre pourquoi?