>>93
ブルーバックスで駄目となると、、ｗまあ実際論理学からの翻訳として始まってるけど
論理学知らないしね。かろうじて真偽表知ってるくらいで

>>94
そのっぽいはわかるんだけど、全ての、と言う言い方と少なくとも、とかがなあ。パターンとして

（１、２、３）と（１、２、３）は∀xP(x)
（１、２）　　と（１、２、３）は¬∀xP(x)
（４、５、６）と（１、２、３）は∀x¬P(x)
（２、３、４）と（１、２、３）は、、？