こんにちはゲストさん。会員登録(無料)して質問・回答してみよう!

回答受付中の質問

Agdaによる命題証明

Agda による命題の証明問題を学校の課題でもの
凄い数だされてしまい正直、分からなくて困っています
7問だけ下記に記すので、解説と回答だけ教えていただけませんか?

残りいくつか問題があるのですが、そちらの方は自力で解こうと考えているのですが
例題として、お手本がないと正直ややこしくなってしまって手詰まりになっています
もしかしたら結構お時間がかかるかもしれないので
もし余裕のある方がいらしゃったらどうかお願い致します

問題

(1) (P ⇒ Q) ⇒ (P ∧ R) ⇒ Q ∧ R

(2) (P ⇒ R) ⇒ (Q ⇒ R) ⇒ (P ∨ Q) ⇒ R

(3) (P ⇒ Q) ⇒ ¬Q ⇒ ¬P

(4) P ∨ ¬P ⇒ (P ⇒Q) ∨ (Q ⇒ P)

(5) P ⇒ ¬(¬P ∧ Q)

(6) (P ∨ Q) ∧ (Q ⇒ R) ⇒ P ∨ R

(7) P ∨ ¬Q ⇒ ¬ P ∨ Q ⇒ (P ∧ Q ⇒ ⊥) ⇒ ¬P ∧ ¬Q


どうかよろしくお願いいたします

投稿日時 - 2017-10-13 21:47:05

QNo.9385524

困ってます

回答(0)

この質問にはまだ回答がついていません。
あなたが最初に回答してみませんか?