1. Aa

2. (Aa v Ba) -> (Ca & Da)


Aa가 참이면 (Aa v Ba)도 참이니까 (Ca & Da)를 추론할수는 있는거같은데

이걸 어떻게 해야하죠?


그냥 저 두 명제 밑에다가 

3. Ca & Da   Modus Ponens

쓰면 되는건가요?


아니면 먼저 명제 2를 변형시켜야하나요?

변형시켜야하면 어떻게 해야하나요?