|
||
|
命題関数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) |
||
・竹内『集合とはな にか―はじめて学ぶ人のために』は記述なし。 |
[文献] |
||
・前原『数学基礎論入門』§5.2公式5.8(p.77)「変数の個数が3以上の場合にも、公式5.7や公式5.8と同様な公式が成立する」 |