1001コメント309KB

数学基礎論の質問スレッド　その２

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

0573１３２人目の素数さん

2006/08/21(月) 00:12:31

要するに
　∃xAx∧￢∃x(Cx∨(Bx∧Ax))⊃￢∃xBx
ということなのかな

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