微積分と物理/論理(「p →q」 の考察)
をテンプレートにして作成
Unity学習帳2冊目
微積分と物理/論理(「p →q」 の考察) をテンプレートにして作成
[
トップ
] [
差分
|
バックアップ
|
リロード
] [
新規
|
一覧
|
検索
|
最新
|
ヘルプ
]
[ ]
開始行:
TITLE:論理(「p →q」 の考察)
#jsmath
**論理「p →q」を考察する
資料:[[ 「p → q」 ( p ならば q ) の真偽:http://www.ge...
pが仮定。qが結論
&font(150%){学生ならば人間である。};
これを論理の「p→q」に当てはめ考えると一つの定義で4つの真...
| |p&br;学生|q&br;人間|p→q&br;\(\neg p\vee q\)|真偽|
|①|真|真|真|(学生である)かつ(人間である)|
|②|真|偽|偽|(学生である)かつ(人間でない)ものは「学生...
|③|偽|真|真|(学生でない)かつ(人間である)ものは主張か...
|④|偽|偽|真|(学生でない)かつ(人間でない)ものは主張か...
''&font(Red){仮定pが成り立たない場合は全て真。仮定pが成り...
これは非常にシンプルな集合を作り出す
<TODO>
このpとqに対して関数\(f\left( x \right) \)を作成し検証し...
<規則>
\(学生\left( x \right) \rightarrow 人間\left( x \right) \)
<事実>
\(学生\left( 太郎 \right) = 真\)
\(人間\left( 太郎 \right) = 真\)
\(学生\left( お婆ちゃん \right) = 偽\)
\(人間\left( お婆ちゃん \right) = 真\)
\(学生\left( 犬 \right) = 偽\)
\(人間\left( 犬 \right) = 偽\)
これらの規則と事実を各番号の変数\(x\)にあてはめ命題を作る
①\(学生\left( 太郎 \right) \rightarrow 人間\left( 太郎 \r...
学生の太郎は人間である
③\(学生\left( お婆ちゃん \right) \rightarrow 人間\left( ...
学生でないお婆ちゃんは人間である
④\(学生\left( 犬 \right) \rightarrow 人間\left( 犬 \right...
学生でない犬は人間でない
**論理「p →q」のC#コードでの使われかた
主張する論理に違反している命題を検出する際に論理「p →q」...
終了行:
TITLE:論理(「p →q」 の考察)
#jsmath
**論理「p →q」を考察する
資料:[[ 「p → q」 ( p ならば q ) の真偽:http://www.ge...
pが仮定。qが結論
&font(150%){学生ならば人間である。};
これを論理の「p→q」に当てはめ考えると一つの定義で4つの真...
| |p&br;学生|q&br;人間|p→q&br;\(\neg p\vee q\)|真偽|
|①|真|真|真|(学生である)かつ(人間である)|
|②|真|偽|偽|(学生である)かつ(人間でない)ものは「学生...
|③|偽|真|真|(学生でない)かつ(人間である)ものは主張か...
|④|偽|偽|真|(学生でない)かつ(人間でない)ものは主張か...
''&font(Red){仮定pが成り立たない場合は全て真。仮定pが成り...
これは非常にシンプルな集合を作り出す
<TODO>
このpとqに対して関数\(f\left( x \right) \)を作成し検証し...
<規則>
\(学生\left( x \right) \rightarrow 人間\left( x \right) \)
<事実>
\(学生\left( 太郎 \right) = 真\)
\(人間\left( 太郎 \right) = 真\)
\(学生\left( お婆ちゃん \right) = 偽\)
\(人間\left( お婆ちゃん \right) = 真\)
\(学生\left( 犬 \right) = 偽\)
\(人間\left( 犬 \right) = 偽\)
これらの規則と事実を各番号の変数\(x\)にあてはめ命題を作る
①\(学生\left( 太郎 \right) \rightarrow 人間\left( 太郎 \r...
学生の太郎は人間である
③\(学生\left( お婆ちゃん \right) \rightarrow 人間\left( ...
学生でないお婆ちゃんは人間である
④\(学生\left( 犬 \right) \rightarrow 人間\left( 犬 \right...
学生でない犬は人間でない
**論理「p →q」のC#コードでの使われかた
主張する論理に違反している命題を検出する際に論理「p →q」...
ページ名: