>>432
念のためですが、私は>>411ではないですよ？

あらゆる命題p,q,rについて
((p∧q)→r)→((p→r)∨(q→r))
として定義される命題の真理値が常に真となるか？

という質問です