由p∧q真能推出p∨q(),由p∨﹁q假能推出﹁p∧q()。
出自:哲学