ぱと隊長日誌

ブログ運用もエンジニアとしての生き方も模索中

2018-01-20から1日間の記事一覧

記号論理学における論証(前提と結論)の妥当性

「記号論理入門(金子 洋之・著)」は自然演繹による証明を学ぶための入門書としてお勧めできます。 ですが、いくつかわかりにくい点もあります。その一つが論証の妥当性についてです。このエントリでは本の解説の補足をしながら、論証の妥当性について説明…