[文献] ・彌永昌吉『数の体系(上)』U集合・写像・構造(p.28) ・前原『記号論理入門』 第1章§6.1(p.10) ・中谷『論理』 5.4B必要条件と十分条件(pp.129-30) ・本橋『新しい論理序説』3.3(pp.44-56) ・黒崎達『集合論演習』1章U(3) (p.11) |
||
・竹内『集合とはな にか―はじめて学ぶ人のために』は記述なし。 |
[文献] ・竹内『集合とはな にか―はじめて学ぶ人のために』1章立場の変換(p.30) ・中谷『論理』 5章命題関数と集合-5.1真理集合-一意性の公理(外延性の公理)(p.103) ・前原『記号論理入門』 第1章;§6(p.11)。 ・彌永昌吉『数の体系(上)』U集合・写像・構造(p.28) |
||
[文献] ・中谷『論理』 5章命題関数と集合-5.1真理集合(p.103) |
||
[文献] ・中谷『論理』 5章命題関数と集合-5.1真理集合(p.104) |
||
[文献] |
||
・中谷『論理』 5章命題関数と集合-5.2真理集合(p.112):述語への言いかえはない |