如果结果不匹配，请 
更多“当且仅当P→Q是一个重言式时，我们称“P蕴含Q”记作P=〉Q…”相关的问题
第7题
在△ABC中，设P，Q，R分别是直线AB，BC，CA上的点，并且 ，， 证明P，Q，R共线当且仅当λμv=-1。
在△ABC中，设P，Q，R分别是直线AB，BC，CA上的点，并且
，
，
证明P，Q，R共线当且仅当λμv=-1。
第9题
用真值表证明下列蕴涵式为重言式． （1)（p→q)∧（q→r)→（p→r)． （2)（（p∨q)∧（p→r)∧（q→r))→r．
用真值表证明下列蕴涵式为重言式．
(1)(p→q)∧(q→r)→(p→r)．
(2)((p∨q)∧(p→r)∧(q→r))→r．
