|
||
|
命題関数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.2-A(pp.105-6) |
||
・竹内『集合とはな にか―はじめて学ぶ人のために』1章立場の変換-共通部分と和集合(pp.36-8) |
[文献] ・竹内『集合とはな にか―はじめて学ぶ人のために』1章-翻訳語としての集合(p.24);-共通部分と和集合(pp.36-8) ・中谷『論理』 5章命題関数と集合-5.1真理集合(5-3)(p.101);5.2-A(pp.105-6) |
||
|
[文献] ・竹内『集合とはな にか―はじめて学ぶ人のために』1章立場の変換-共通部分と和集合(pp.24-6) ・中谷『論理』 5.2-C(p.111) |
||
[文献] ・竹内『集合とはな にか―はじめて学ぶ人のために』1章立場の変換-共通部分と和集合(pp.24-6) |
||
・中谷『論理』 5.2-C(p.111) |
|
[文献] ・竹内『集合とはな にか―はじめて学ぶ人のために』1章立場の変換-共通部分と和集合(pp.24-6) ・中谷『論理』 5.2-B(pp.107-8);D(p.115) |
||
[文献] ・竹内『集合とはな にか―はじめて学ぶ人のために』1章立場の変換-共通部分と和集合(pp.24-6) |
||
・中谷『論理』 5.2-B(pp.107-8);D(p.115) |
|
[文献] ・中谷『論理』 5.4A条件文の真理集合(pp.126-7) ・本橋『新しい論理序説』3.3(pp.44-56) | ||
・竹内『集合とはな にか―はじめて学ぶ人のために』は記述なし。 |
[文献] ・中谷『論理』 5.4A条件文の真理集合(pp.127-8) |
||