『記号論理入門』

記号論理入門 (日評数学選書)

posted with amazlet at 16.07.09

前原 昭二
日本評論社
売り上げランキング: 24,285

Amazon.co.jpで詳細を見る

• 命題論理・述語論理
• 条件・性質・集合
• 命題・述語・集合
• 白馬は馬にあらず
• ２変数の命題関数
• 自由変数と束縛変数
• 演繹
• 真理値表
• ド・モルガンの法則
• 同値式