2006-05-21から1日間の記事一覧

第11章 命題計算 駆け足で読む『離散数学〜コンピュータサイエンスの基礎数学』

本駆け足シリーズの全体の目次はこちら 第9章にて形式言語を扱った。文 statement は文字を連ねて書かれる。 文には基本的性質である真か偽か true or false があり、これを真理値 truth value という。 文は、真偽値を持つ副文 substatements を、結合子と…