Discrete Math

論理パズルを命題論理で解く

一覧へ 5章命題論理

サンプル問題

論理パズル

条件を命題に置き換えて、残る候補を調べます。

未選択

問題

命題化

候補を調べる

結論

解き方

真偽を列挙して、制約に合う行だけを残す

命題: 「Aに宝石がある」「Cが空室である」のように、真か偽に決まる文を記号にします。
制約: 注意書き、返答、種族、配置などの条件を論理式として加えます。
候補表: 各配置について命題の値を計算し、制約を満たす候補だけを残します。