11/02/13 22:22:27
>>276
> 自分が習った体系しか無いと思うとは、おめでたいやつだ。
他にあるってこと自体は知っていた。
ただ俺はHKといった。
HKは普通、
公理１ A→B→A
公理２ (A→B→C)→(A→B)→A→C
公理３ ((A→B)→A)→A
公理４ ￢→A
推論規則１ A, A⊃B → B （MP）
だろう？
今はBCIとかBCKとかBCKW...とか言われてるのを知らのか？
11/02/13 22:22:27
>>276
> 自分が習った体系しか無いと思うとは、おめでたいやつだ。
他にあるってこと自体は知っていた。
ただ俺はHKといった。
HKは普通、
公理１ A→B→A
公理２ (A→B→C)→(A→B)→A→C
公理３ ((A→B)→A)→A
公理４ ￢→A
推論規則１ A, A⊃B → B （MP）
だろう？
今はBCIとかBCKとかBCKW...とか言われてるのを知らのか？