November 15, 2004

詭弁

Φ(φ)≡N(∃x)φ(x)

A(x)≡(∃x)[(x)[φ(x)≡NA(x)]. Φ(φ)]

G(x).φε+→φ(x)

(∃x)G(x)→N(∃x)G(x)

G=x[(φ)φε+→φ(x)]

ψε+→ψ(G)

November 15, 2004 01:28 AM
コメント
コメントする
NAME:


E-MAIL:


URL:


名前、アドレスを登録しますか?
YESNO