P, Q, R はいずれも命題である。命題 P の真理値は真であり、命題 (not P) or Q 及び命題 (not Q) or R のいずれの真理値も真であることが分かっている。Q, R の真理値はどれか。ここで、X or Y は X と Y の論理和、not X は X の否定を表す。
P → 真
(not P) or Q → 真
(not Q) or R → 真
順番に見ていきましょう。
P が真であることはわかっているので、以下のようになります。
(not P) or Q
(not 真) or Q
偽 or Q
(not Q) or R
(not 真) or R
偽 or R