논리게임 질문있습니다!

==================▼질문 양식▼==================

질문하는 선생님 : (ex : 복지훈 선생님 )
질문하는 강의/교재명 : ( ex : 해커스 GSAT최신기출유형 )
질문하는 문제의 위치 : ( ex : p 155 3번 )

* 양식에 맞게 질문 작성해주셔야 상세한 답변을 받으실 수 있습니다.
* 수강하는 강의/교재에 대한 질문을 해주셔야 답변이 가능합니다.  
* 질문하고자하는 문제에 대한 정답/해설을 함께 올려주시면 빠른 답변이 가능합니다. 
* 수강하는 강의/교재에 대한 질문 답변만 가능합니다.

==================▼질문 작성▼==================

- 질문하는 선생님 : 복지훈 선생님

- 질문하는 강의/교재명 : GSAT 기출유형공략

- 질문하는 문제의 위치 : x

- 질문 내용 : 선생님의 추리강의를 다 들었는데 혹시 다른 책에서 본 내용을 질문해도될까요?

우연치않게 도서관에서 논리게임에 대한 책을 보게되었는데 해당 논리책에서 제 머리로는 이해가 조금 안되는 부분이 있어서 여쭤보려고 합니다.

그 책에는 '담순함언 - 조건의 선언화'라는 부분이 있었는데요. 해당 내용은 P->Q 와 ~P U Q 가 동치라고 했는데 맞는 말인가요? 즉, P일경우 Q이다 라는 명제는 P가 아니거나 Q라는 명제와 동치라고 나와있었습니다.

문제에 적용해보자면 C : x  , A : o 라는 조건이 주어지고 'C가 o라면 A도 o 다' 라는 말이 맞다고 하더군요. 제 생각에는 조건에 C가 맞다면 이라는 내용이 없으니 아예 모르는 내용일거라 해서 틀렸다고 생각했지만 위의 내용에 의해 무조건 참인 말이라고 하더라구요. 문제 내용도 반드시 참을 묻는 문제였습니다.

정리하자면 위의 이론이 맞는 내용인지 그렇게 풀어도 가능한지 묻고싶습니다! 감사합니다!