|
||
|
命題関数P(x)の真理集合 |
命題関数P(x)の集合表現 |
【述語・命題関数を論理演算で組み合わせた述語・命題関数】 |
||
命題関数 ¬P(x)の真理集合 命題関数P(x)∧Q(x)の真理集合 命題関数P(x)∨Q(x)の真理集合 命題関数P(x)⇒Q(x)の真理集合 命題関数P(x)⇔Q(x)の真理集合 |
命題関数 ¬P(x)の集合表現 命題関数P(x)∧Q(x)の集合表現 命題関数P(x)∨Q(x)の集合表現 命題関数P(x)⇒Q(x)の集合表現 命題関数P(x)⇔Q(x)の集合表現 |
【関連ページ】・集合/述語・命題関数 ・集合から論理へ →集合論目次・総目次 |
[文献] ・中谷『論理』 5章命題関数と集合-5.1真理集合(p.103) |
||
[文献] ・中谷『論理』 5章命題関数と集合-5.1真理集合(p.104) |
||
|
[文献] ・前原『記号論理入門』 第1章§6.1(p.10) ・中谷『論理』 5.4B必要条件と十分条件(pp.129-30) ・本橋『新しい論理序説』3.3(pp.44-56) |
||
・竹内『集合とはな にか―はじめて学ぶ人のために』は記述なし。 |
|
[文献] ・竹内『集合とはな にか―はじめて学ぶ人のために』1章立場の変換(p.30) ・中谷『論理』 5章命題関数と集合-5.1真理集合-一意性の公理(外延性の公理)(p.103) ・前原『記号論理入門』 第1章;§6(p.11)。 |
||