2005-08-29 変形 雑文 独身者は結婚していない すべての独身者は結婚していない すべての独身者は誰とも結婚していない ある者が独身者であるなら、誰もその者と結婚していない 任意のxについて（xが独身者であるなら、誰もxと結婚していない） 任意のxについて（xが独身者であるなら、xと結婚しているyは存在しない） 任意のxについて（x独身者であるなら、あるyについて（xとyは結婚している）ということはない） ∀x（xが独身者である→〜∃y（xとyは結婚している）） ∀x（Dx→〜∃y（Kxy））
