m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 証明シェル 半形式証明スクリプト とりあえず、分かりやすいのだけ列挙する。⇒導入 Aと仮定する。 ： Bである。 以上により、したがって、 A⇒B である。∧導入 Aである。 ： Bである。 $(A)だったので、したがって、 A∧Bである。∨除去 A∨Bである。 場合分けをしよう。 Aの場合： : Cである。 Bの場合： : Cである。 いずれの場合も Cである。¬導入 背理法を使う。 Aと仮定する。 ： これは矛盾である。 背理法により ¬Aである。∀導入 xを任意の…とする。 ： P(x) xは任意だったので、 ∀x.P(x)条件付き∀導入 xをP(x)を満たす…とする。 ： Q(x) xは任意だったので、 ∀x st P… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20180523%2F1527051906" title="制御用の言葉使い - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-05-23 14:05:06 rich https://m-hiyama-memo.hatenablog.jp/entry/20180523/1527051906 1.0 100%