ｐ、ｑを条件であるとします。数学で言う条件とは「ｘは偶数である」などのように変数に具体的な値を入れると真偽が定まるものでした。このとき、「ｐならばｑ」を条件文と呼びます。例えば「ｘが偶数ならばｘは4の倍数である」などです。ｐを仮定、ｑを結論…