予算
千円
〜 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
添付ファイル
ー
参考URL
ー
求めるスキル
ー
特記事項
ー
応募者一覧
応募はまだありません
