締切済み

人工知能（AI）の課題_命題論理

2014/07/18 12:14

証明問題が苦手でわかりません．わかる方，教えてください．課題は下に記します． (1) 三段論法について，この推論規則が妥当であることを証明せよ．証明に際しては，真理値表，同値関係を用いた式変形，意味木のどれを用いてもよい． (2) 前件否定について，この推論規則が妥当でないことを証明せよ．証明に際しては，真理値表，同値関係を用いた式変形，意味木のどれを用いてもよい．よろしくお願いします．