トップページ⇒math

1001コメント405KB

数学基礎論・数理論理学　その10

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

0409１３２人目の素数さん

2011/11/15(火) 23:43:22.09

>>400
演繹定理って、
Γ,A|-B ⇒ Γ|-A→B
のことだよね？

Γ|-A ⇒ Γ|-B
とは、違うのでは？

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