サービス
サービスを探す
プロ人材を探す
仕事を探す
ブログを探す
Agdaによる命題証明 it
予算
千円
〜 5千円
納品希望日
ご相談
募集期限
募集終了
締切日 2017年10月31日
/
掲載日 2017年10月16日
掲載日 2017年10月16日
応募状況
応募人数
0
契約人数
0
閲覧数
0
用途・種類
ー
依頼工程
ー
用意してあるもの
ー
開発言語
ー
募集内容
募集内容
命題証明システム Agdaで
命題証明の問題が出されて困ってます！
問題
(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
添付ファイル
ー
参考URL
ー
求めるスキル
ー
特記事項
ー
応募者一覧
応募はまだありません
募集内容についての質問
質問と回答の履歴
katehappy
3年以上前
これは答えを教えてほしいということですか？
アンドロ岡崎
3年以上前
答えだけども可です！
解説があると凄く助かるのですが、
募集終了
予算
千円
〜 5千円
