안녕하세요~ 국내에서 대학졸업하고 엘셋 준비하고 있는 학생입니다
formal logic 을 심볼릭 하는데 있어서 많은 문제를 겪고있어서 이렇게 조언을 구하고자
글을 올립니다 ㅠㅠㅠㅠㅠ
powerscore에서 말하는 명확한 인디케이터가 있을땐, 문장내에서 무엇이 necessary condition 인지, sufficent condition인지 알 수 있는데, 일반 문장에서는 그것을 심볼릭 하기가 많이힘드네요 ㅠ
가령 수동태구가 있는경우나, 문장이 도치되어 이는 경우 에요.. 혹시 이런 문제를 겪으신
고수님이 계시면 조언부탁드립니다 ㅠㅠㅠ
그리고 마지막으로 정말 사소한 질문이지만
A->~B->C
에서 A->C inference는 불가능 한거죠?
계속 이것을 혼돈을 해서 문제를 틀리고 있네요..
formal logic 을 단단히 하는 법 부탁드립니다 !!