@[email protected] r&s为真所以r为真，r为真所以r v u为真，根据第三条前提可得p为真。p为真所以p v q 为真，由第一条可得r -> （s <->t）为真，再结合之前的r为真就可以得出s <->t了！关键在于v的引入