問題タブ [logical-foundations]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
47 問題
0
投票する
1
に答える
197
参照
coq - ロジック: In_app_iff エクササイズ
ロジックの章から In_app_iff excersize を解決しようとすると、この怪物にたどり着きました。
最後に得たものは次のとおりです。
どうすればその事実H12から得ることができますか？IHlIn a (t ++ h' :: t')
H12が分離しているためです。そして、結論を推測するだけで十分です。
apply H12 in IHl.動作しません。
助けてください。