Se todo A é B e todo C não é B, qual conclusão lógica válida sobre A e C?

Nenhum A é C; \(A\cap C=\varnothing\).

Explicação:
\(A\subseteq B\) e \(C\subseteq B^{c}\), com \(B\cap B^{c}=\varnothing\).
Da inclusão segue \(A\cap C\subseteq B\cap B^{c}=\varnothing\), logo \(A\cap C=\varnothing\), portanto não existe elemento que seja simultaneamente A e C.

Exemplo:
Suponha:
\(Bird\subseteq HasFeathers\) (todo pássaro tem penas)
\(Fish\subseteq HasFeathers^{c}\) (todo peixe não tem penas)
Logo \(Bird\cap Fish=\varnothing\), não existe indivíduo que seja ao mesmo tempo pássaro e peixe.