(A V ~B) -> C 라는 전제가 존재하고

B, 라는 전제가 따로 존재한다면 C를 도출하는 데 문제가 없는 걸까요.


저는 첫 번째 전제의 전건의 각 명제들은 조건으로 묶여 있기 때문에 전건의 명제를 충족한 상태(AV~B)여야지만

C를 도출할 수 있다고 생각했는데 그게 아닌가요.