請教一個基本證明問題

[creak (習慣唸書)]

Use the eighteen valid argument forms to prove the following arguments,

1.(A‧B) V C
2. ~C‧~B                 /∴C≡(A→(C≡~B)

如果不用CP跟IP,該怎麼證呢?想不透

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 219.68.150.203