22/04/28 18:38:52.68 uVT9WkdK.net
>>679
>このスレは、初学者も来るかもしれないので、突っ込んでおく
このスレは、無学者が立てたと専らの噂やで
>「普通の命題論理では論理和と論理積は無限に続くことが許されない」
>は、”普通”定義次第とは思うが、
無学者は∃も∀も知らんらしいから教えとくけど
”無限論理和”と”無限論理積”は
∃ｘＰ（ｘ）と∀ｘＰ（ｘ）で表すんやで
>無限集合を扱う普通の代数学などでは、違うんじゃね？
命題論理なら和積標準形を積和標準形に直すのは力技でできるけど
述語論理では∀ｘ∃ｙＰ（ｘ、ｙ）を
∃ｆ∀ｘＰ（ｆ（ｘ）、ｙ）に勝手に直せへんねんで
選択公理が要んねん わかるか？