5
アイコンが見えない人 @invisible_qq
いろいろ勉強している1年生.面白い話が聞けるはず. #ぞみくん #kansaimath
アイコンが見えない人 @invisible_qq
ロジックを勉強すると,いろいろな概念を厳密に定義できる.さらに,“証明”が定義できる. #ぞみくん #kansaimath
アイコンが見えない人 @invisible_qq
「アリバイがあれば犯人ではない」は言えたとしても,裏「アリバイがなければ犯人だ」は言えない #ぞみくん #kansaimath
アイコンが見えない人 @invisible_qq
ロジックを勉強すると,“証明”に関する証明ができる #ぞみくん #kansaimath
アイコンが見えない人 @invisible_qq
例:選択公理はZFから証明できないし,その否定も証明できない #ぞみくん #kansaimath
アイコンが見えない人 @invisible_qq
ポイント:1.「証明できる」と「真である」は全く別の定義である.2.証明体系はいろいろある.3.メタとオブジェクトのレベルを区別する. #ぞみくん #kansaimath
アイコンが見えない人 @invisible_qq
命題論理:論意結合子のみに注目して,論理式の真偽や証明,論理式どうしの関係を考える #ぞみくん #kansaimath #kansaimath307
アイコンが見えない人 @invisible_qq
命題論理式「中身を隠した論理式」素論理式(原子命題,アトム)として用いる記号を用意しておく. #ぞみくん #kansaimath #kansaimath307
アイコンが見えない人 @invisible_qq
スライドでは「以上で論理式と分かるものが論理式である」となっているな… #ぞみくん #kansaimath #kansaimath307
そすうぽよ @_primenumber
命題論理式の定義 論理式は決められた規則で作られる #kansaimath307
アイコンが見えない人 @invisible_qq
ポイント:論理式は決められた規則で作る単なる記号である #ぞみくん #kansaimath #kansaimath307
そすうぽよ @_primenumber
命題論理式の定義 論理式は決められた規則で作られる単なる記号列である #kansaimath307
アイコンが見えない人 @invisible_qq
真偽値(2値付値):論理式が真か偽か判定する.素論理式の真偽は独立に動けると考える #ぞみくん #kansaimath #kansaimath307
アイコンが見えない人 @invisible_qq
付値(真偽値)とは,素論理式の集合Iから0,1への写像v:I→2である #ぞみくん #kansaimath #kansaimath307
アイコンが見えない人 @invisible_qq
(素論理式に対して)付値が与えられたとき,真偽を論理式に対して拡張できる #ぞみくん #kansaimath #kansaimath307
アイコンが見えない人 @invisible_qq
この場合は,素論理式の真偽値によって全体の真偽値が変わる #ぞみくん #kansaimath #kansaimath307
アイコンが見えない人 @invisible_qq
例:(P∧Q)→P, (以下原文ママ) 全てのケースで真になった!!! そういうのもあるのか!!! #ぞみくん #kansaimath #kansaimath307
残りを読む(55)

コメント

ログインして広告を非表示にする
ログインして広告を非表示にする