P→R , Q→S が真であるとき、P∨Q→R∨S （但し、「→」は仮言、「∨」は選言）を導く論法。ttp://ja.wikipedia.org/wiki/%E6%8E%A8%E8%AB%96ttp://en.wikipedia.org/wiki/Constructive_proofttp://en.wikipedia.org/wiki/Dilemmattp://www.l.u-tokyo.ac.jp/

続きを読む