1001コメント392KB

数学基礎論・数理論理学のスレッド　その7

■ このスレッドは過去ログ倉庫に格納されています

0176１３２人目の素数さん

2011/01/21(金) 23:04:15

メレディスの公理系

A1 （（（（A→B）→（￢C→￢D））→C）→E）→（（E→A）→（D→A））

R1 A A→B├ B

■ このスレッドは過去ログ倉庫に格納されています