論理包含の表記
をテンプレートにして作成
[
凌宮
|
数学
|
一覧
|
検索
|
最新
] [
ソース
]
開始行:
%indent
* 概要 [#d267ecf3]
;,論理包含は、歴史的には記号$$ \supset $$で表記されている。
;,他方、集合論でも集合の包含の表記にも記号$$ \supset $$が...
;,ところが、命題$$ p $ \supset $ q $$に対し、$$ p $$と$$ ...
;,見た目的に紛らわしいことが起こる。
;,以下では、その仕組みを簡単に纏める。
;,なお、混同を避けるため、集合包含は記号$$ \supset $$で表...
;,論理包含は今日において良く用いられる$$ \Rightarrow $$で...
* 命題と集合の対応付け [#q99ec54e]
;,一般に、集合は命題を使って命題が真となる要素で定義でき...
;,命題$$ p(x) $$による定義は内包表記で集合$$ P $ = $ \{ $...
;,これにより、命題と集合を一対一で対応づけできる。
;,例えば、命題$$ p(x) $$が「$$ x $$が偶数」であれば、対応...
;,簡潔のため、命題と集合の対応関係を記号$$ \sim $$で表記...
#ceq(e)
$$ p(x) $ \sim $ \{ $ x $ | $ p(x) $ \} $$
#ceq(d)
;,逆に、集合$$ P $$があると、対応する命題$$ p(x) $$の真偽...
#ceq(e)
$$ p(x) $ \;\Leftrightarrow\; $ x $ \in $ P $ \;\Left...
#ceq(d)
;,特に$$ p(x) $ = $ x $ \in $ P $$のとき、
#ceq(e)
$$ x $ \in $ P $ \sim $ P $$
#ceq(d)
* 真偽値に対応する集合 [#ce745b4e]
** 恒偽 [#b60f0514]
;,$$ p(x) $ = $ F $$、すなわち、$$ p(x) $$が$$ x $$に関わ...
;,対応する集合$$ P $ = $ \{ $ x $ | $ F $ \} $$は要素を1...
;,よって、恒偽は空集合に対応する。
#ceq(e)
$$ F $ \sim $ \{ $ x $ | $ F $ \} $ = $ \varnothing $$
#ceq(d)
** 恒真 [#ac7c3e3b]
;,$$ p(x) $ = $ T $$、すなわち、$$ p(x) $$が$$ x $$に関わ...
;,対応する集合$$ P $ = $ \{ $ x $ | $ T $ \} $$は全ての$$...
;,よって、恒真は全体集合に対応する。
#ceq(e)
$$ T $ \sim $ \{ $ x $ | $ T $ \} $ = $ \overline\var...
#ceq(d)
;,$$ x $ \in $ X $$で考えている場合、$$ X $$が全体集合に...
;,対応式で書くと
#ceq(e)
$$ T $ \sim $ X $$
#ceq(d)
;,例えば、$$ x $ \in $ X $$で考えている場合、$$ x $ \in $...
;,$$ T $$に代入した$$ x $ \in $ X $ \sim $ X $$も命題と集...
* 基本論理演算に対応する集合演算 [#qf7562c6]
** 論理否定 [#d2c52411]
;,命題$$ r(x) $ = $ \lnot $ p(x) $$に対応する集合は$$ R $...
;,一方で、内包表記で記述される条件を満たさない集合は補集...
;,よって、論理否定は補集合に対応する。
#ceq(e)
$$ \lnot $ p(x) $ \sim $ \{ $ x $ | $ \lnot $ p(x) $ ...
#ceq(d)
;,例えば、真偽値に関して、次の計算が容易に確認できる。
#ceq(e)
$$ T $ \sim $ \{ $ x $ | $ T $ \} $ = $ \{ $ x $ | $ ...
#ceq(d)
** 論理和 [#q76c10c3]
;,命題$$ r(x) $ = $ p(x) $ \lor $ q(x) $$に対応する集合は...
;,一方で、集合としてみた場合、任意の$$ x $$は$$ P $$と$$ ...
;,よって、論理和は和集合に対応する。
#ceq(e)
$$ p(x) $ \lor $ q(x) $ \sim $ \{ $ x $ | $ p(x) $ \l...
#ceq(d)
** 論理積 [#q76c10c3]
;,命題$$ r(x) $ = $ p(x) $ \land $ q(x) $$に対応する集合...
;,一方で、集合としてみた場合、任意の$$ x $$は$$ P $$と$$ ...
;,よって、論理積は積集合に対応する。
#ceq(e)
$$ p(x) $ \land $ q(x) $ \sim $ \{ $ x $ | $ p(x) $ \...
#ceq(d)
* 論理包含と部分集合 [#e8d0c1ab]
;,命題$$ r(x) $ = $ [ $ p(x) $ \Rightarrow $ q(x) $ ] $$...
;,論理包含は論理否定と論理和を使って、$$ p(x) $ \Rightarr...
;,そのため、$$ r(x) $$に対応する集合$$ R $$は以下に計算で...
#ceq(e)
$$ r(x) $ \sim $ R $$
#ceq(c)
$$ = $ \{ $ x $ | $ p(x) $ \Rightarrow $ q(x) $ \} $$
$$ = $ \{ $ x $ | $ \lnot $ p(x) $ \lor $ q(x) $ \} $$
#ceq(e)
#ceq(c)
$$ = $ \{ $ x $ | $ \lnot $ p(x) $ \} $ \cup $ \{ $ x...
$$ = $ \overline{\{\, x \,|\, p(x) \,\}} $ \cup $ \{ ...
#ceq(e)
#ceq(c)
$$ = $ \overline{P} $ \cup $ Q $$
#ceq(d)
;,これに端的に表す専用の集合演算記号は、一般的には用意さ...
;,そこで、$$ r(x) $$が恒真のとき、$$ P $$と$$ Q $$の関係...
;,$$ r(x) $ = $ T $ \sim $ \overline\varnothing $$より、$...
;,両辺の補集合を取ると、$$ P $ \cap $ \overline{Q} $ = $ ...
;,これは、$$ Q $$の外側に$$ P $$の要素が存在しない意味で...
#ceq(e)
$$ p(x) $ \Rightarrow $ q(x) $ \quad $ \Leftrightarro...
#ceq(d)
;,もし、論理包含の記号を$$ \Rightarrow $$の代わりに$$ \su...
;,論理式と集合式で$$ \supset $$と$$ \subset $$の両方が出...
#ceq(e)
$$ p(x) $ \supset $ q(x) $ \quad$ \Leftrightarrow $ \...
#ceq(d)
終了行:
%indent
* 概要 [#d267ecf3]
;,論理包含は、歴史的には記号$$ \supset $$で表記されている。
;,他方、集合論でも集合の包含の表記にも記号$$ \supset $$が...
;,ところが、命題$$ p $ \supset $ q $$に対し、$$ p $$と$$ ...
;,見た目的に紛らわしいことが起こる。
;,以下では、その仕組みを簡単に纏める。
;,なお、混同を避けるため、集合包含は記号$$ \supset $$で表...
;,論理包含は今日において良く用いられる$$ \Rightarrow $$で...
* 命題と集合の対応付け [#q99ec54e]
;,一般に、集合は命題を使って命題が真となる要素で定義でき...
;,命題$$ p(x) $$による定義は内包表記で集合$$ P $ = $ \{ $...
;,これにより、命題と集合を一対一で対応づけできる。
;,例えば、命題$$ p(x) $$が「$$ x $$が偶数」であれば、対応...
;,簡潔のため、命題と集合の対応関係を記号$$ \sim $$で表記...
#ceq(e)
$$ p(x) $ \sim $ \{ $ x $ | $ p(x) $ \} $$
#ceq(d)
;,逆に、集合$$ P $$があると、対応する命題$$ p(x) $$の真偽...
#ceq(e)
$$ p(x) $ \;\Leftrightarrow\; $ x $ \in $ P $ \;\Left...
#ceq(d)
;,特に$$ p(x) $ = $ x $ \in $ P $$のとき、
#ceq(e)
$$ x $ \in $ P $ \sim $ P $$
#ceq(d)
* 真偽値に対応する集合 [#ce745b4e]
** 恒偽 [#b60f0514]
;,$$ p(x) $ = $ F $$、すなわち、$$ p(x) $$が$$ x $$に関わ...
;,対応する集合$$ P $ = $ \{ $ x $ | $ F $ \} $$は要素を1...
;,よって、恒偽は空集合に対応する。
#ceq(e)
$$ F $ \sim $ \{ $ x $ | $ F $ \} $ = $ \varnothing $$
#ceq(d)
** 恒真 [#ac7c3e3b]
;,$$ p(x) $ = $ T $$、すなわち、$$ p(x) $$が$$ x $$に関わ...
;,対応する集合$$ P $ = $ \{ $ x $ | $ T $ \} $$は全ての$$...
;,よって、恒真は全体集合に対応する。
#ceq(e)
$$ T $ \sim $ \{ $ x $ | $ T $ \} $ = $ \overline\var...
#ceq(d)
;,$$ x $ \in $ X $$で考えている場合、$$ X $$が全体集合に...
;,対応式で書くと
#ceq(e)
$$ T $ \sim $ X $$
#ceq(d)
;,例えば、$$ x $ \in $ X $$で考えている場合、$$ x $ \in $...
;,$$ T $$に代入した$$ x $ \in $ X $ \sim $ X $$も命題と集...
* 基本論理演算に対応する集合演算 [#qf7562c6]
** 論理否定 [#d2c52411]
;,命題$$ r(x) $ = $ \lnot $ p(x) $$に対応する集合は$$ R $...
;,一方で、内包表記で記述される条件を満たさない集合は補集...
;,よって、論理否定は補集合に対応する。
#ceq(e)
$$ \lnot $ p(x) $ \sim $ \{ $ x $ | $ \lnot $ p(x) $ ...
#ceq(d)
;,例えば、真偽値に関して、次の計算が容易に確認できる。
#ceq(e)
$$ T $ \sim $ \{ $ x $ | $ T $ \} $ = $ \{ $ x $ | $ ...
#ceq(d)
** 論理和 [#q76c10c3]
;,命題$$ r(x) $ = $ p(x) $ \lor $ q(x) $$に対応する集合は...
;,一方で、集合としてみた場合、任意の$$ x $$は$$ P $$と$$ ...
;,よって、論理和は和集合に対応する。
#ceq(e)
$$ p(x) $ \lor $ q(x) $ \sim $ \{ $ x $ | $ p(x) $ \l...
#ceq(d)
** 論理積 [#q76c10c3]
;,命題$$ r(x) $ = $ p(x) $ \land $ q(x) $$に対応する集合...
;,一方で、集合としてみた場合、任意の$$ x $$は$$ P $$と$$ ...
;,よって、論理積は積集合に対応する。
#ceq(e)
$$ p(x) $ \land $ q(x) $ \sim $ \{ $ x $ | $ p(x) $ \...
#ceq(d)
* 論理包含と部分集合 [#e8d0c1ab]
;,命題$$ r(x) $ = $ [ $ p(x) $ \Rightarrow $ q(x) $ ] $$...
;,論理包含は論理否定と論理和を使って、$$ p(x) $ \Rightarr...
;,そのため、$$ r(x) $$に対応する集合$$ R $$は以下に計算で...
#ceq(e)
$$ r(x) $ \sim $ R $$
#ceq(c)
$$ = $ \{ $ x $ | $ p(x) $ \Rightarrow $ q(x) $ \} $$
$$ = $ \{ $ x $ | $ \lnot $ p(x) $ \lor $ q(x) $ \} $$
#ceq(e)
#ceq(c)
$$ = $ \{ $ x $ | $ \lnot $ p(x) $ \} $ \cup $ \{ $ x...
$$ = $ \overline{\{\, x \,|\, p(x) \,\}} $ \cup $ \{ ...
#ceq(e)
#ceq(c)
$$ = $ \overline{P} $ \cup $ Q $$
#ceq(d)
;,これに端的に表す専用の集合演算記号は、一般的には用意さ...
;,そこで、$$ r(x) $$が恒真のとき、$$ P $$と$$ Q $$の関係...
;,$$ r(x) $ = $ T $ \sim $ \overline\varnothing $$より、$...
;,両辺の補集合を取ると、$$ P $ \cap $ \overline{Q} $ = $ ...
;,これは、$$ Q $$の外側に$$ P $$の要素が存在しない意味で...
#ceq(e)
$$ p(x) $ \Rightarrow $ q(x) $ \quad $ \Leftrightarro...
#ceq(d)
;,もし、論理包含の記号を$$ \Rightarrow $$の代わりに$$ \su...
;,論理式と集合式で$$ \supset $$と$$ \subset $$の両方が出...
#ceq(e)
$$ p(x) $ \supset $ q(x) $ \quad$ \Leftrightarrow $ \...
#ceq(d)
ページ名:
xu基底系.png
6324件
[
詳細
]
xu座標系.png
6335件
[
詳細
]
x座標系.png
6438件
[
詳細
]
2ApplePlate.png
336件
[
詳細
]
Apple.png
617件
[
詳細
]
符号ix(ixj).png
367件
[
詳細
]
符号Ax(BxC).png
378件
[
詳細
]
符号判定(AxB)xC.png
692件
[
詳細
]
符号判定Ax(BxC).png
758件
[
詳細
]
PerpPerp.png
764件
[
詳細
]
BxC.png
850件
[
詳細
]
AxBxC+-.png
419件
[
詳細
]
Ax(BxC).png
1011件
[
詳細
]
Ax(BxC)+-.png
403件
[
詳細
]
原子半径の温度変化.jpg
1129件
[
詳細
]
密度の温度変化.jpg
914件
[
詳細
]
添字付き関数名.png
472件
[
詳細
]
添字式.png
448件
[
詳細
]
根号式.png
426件
[
詳細
]
分数式.png
427件
[
詳細
]
現在中国語乗算因数の命名.jpg
482件
[
詳細
]
現在中国語乗算演算子読み.jpg
500件
[
詳細
]
ベクトル除算.png
619件
[
詳細
]
基底除算.png
628件
[
詳細
]
立方体.jpg
154件
[
詳細
]
中2文教P12図.PNG
557件
[
詳細
]
ffd_p_q_2d.gif
308件
[
詳細
]
ffd_p_q.gif
308件
[
詳細
]
Ouv.png
418件
[
詳細
]
Ors.png
446件
[
詳細
]
CosSinMap.png
671件
[
詳細
]
1cosIsinMap.png
582件
[
詳細
]
正弦減法.png
517件
[
詳細
]
Sp1.png
387件
[
詳細
]
Sp0.png
354件
[
詳細
]
Sp4.png
348件
[
詳細
]
Sp3.png
362件
[
詳細
]
Sp2.png
348件
[
詳細
]
yeqaplx3.png
502件
[
詳細
]
dyfrdceqtan.png
505件
[
詳細
]
Fx微分.png
645件
[
詳細
]
Fx差分.png
697件
[
詳細
]
Fx差.png
664件
[
詳細
]
F微分.png
702件
[
詳細
]
F差分.png
622件
[
詳細
]
F差.png
598件
[
詳細
]
x微分.png
647件
[
詳細
]
x差分.png
670件
[
詳細
]
x差.png
642件
[
詳細
]
F対xの微分商.png
2659件
[
詳細
]
F対xの差分商.png
2680件
[
詳細
]
F対xの差商.png
366件
[
詳細
]
Fの微分.png
377件
[
詳細
]
Fの差.png
338件
[
詳細
]
Fの差分.png
337件
[
詳細
]
xの微分.png
2627件
[
詳細
]
xの差分.png
2550件
[
詳細
]
xの差.png
2600件
[
詳細
]
f=0y+9t.png
458件
[
詳細
]
f=1y+6t.png
638件
[
詳細
]
f=2y+3t.png
498件
[
詳細
]
微小座標系.png
6004件
[
詳細
]
偏微分の多義性.png
5795件
[
詳細
]
HennBibunnAll.png
5775件
[
詳細
]
[
凌宮
|
数学
|
一覧
|
検索
|
最新
] [
ソース
]