充要条件的传递性为何P=>Q Q=>R RS ,则P=>S,S是P的必要条件