■ このスレッドは過去ログ倉庫に格納されています
カリー・ハワード同型に詳しい人いる？
- 1 ：以下、？ちゃんねるからVIPがお送りします：2021/07/03(土) 18:43:05.810 ID:ANSxuKz80.net
- いないと思うけどいたら教えて
A→Bを論理の「AならばB」と読むと¬Aの時は真だけど
これを型に対応させるとどうなるの？
総レス数 1
1 KB
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver 2014.07.20.01.SC 2014/07/20 D ★