論理と集合から始める数学の基礎 読書会
論理と集合から始める数学の基礎 | 嘉田 勝 |本 | 通販 | Amazon
テキスト
論理と集合から始める数学の基礎(嘉田勝)
KaTeXで使えるコマンド一覧
KaTeXチートシート
論理と集合から始める数学の基礎 | 嘉田 勝 |本 | 通販 | Amazon
テキスト
論理と集合から始める数学の基礎(嘉田勝)
KaTeXで使えるコマンド一覧
KaTeXチートシート
from 論理と集合から始める数学の基礎 読書会
述語(数学)
述語とは
変数を含んでいて、変数の値を定めれば真か偽かを判断できる文や式をいいます.(p.24)
変数に何も入っていない状態では判断出来ない
from 論理と集合から始める数学の基礎 読書会
命題
命題は「正しいか正しくないか(真か偽か)を判断できる文や式」のこと
Q.「みかんは果物である」は命題か?
命題である
(著) 嘉田勝
出版社 : 日本評論社 (2008/12/10) ASIN:B079YZSYKY
数学や情報科学・情報工学に必須の「論理」と「集合」を正面からとりあげ、実際の使われ方に即して実践的に解説した。
目次
第一部 論理と集合の基礎