6/22/2011

logic bleg

I have a question for the logically savvy:

Suppose A is a logical truth ( |= A ).

In which logics (if any) does the following fail?

(A&B) → C
entails
B → C

Thanks!