Dadas as proposições A→¬B e B, qual conclusão lógica válida se obtém?

¬A.

A condicional A→¬B é logicamente equivalente, por contraposição, a B→¬A, portanto a afirmação B implica ¬A.
Por outro caminho, assumir A levaria a ¬B, que contraria B, logo A deve ser falso.
exemplo:
Considere A = o sensor foi ativado e B = a porta está aberta.
Premissa: Se o sensor foi ativado, a porta não está aberta (A→¬B).
Fato: a porta está aberta (B).
Conclusão: o sensor não foi ativado (¬A).