System P - Basic Rules: (Cautious Cut CC): A^B,AaB^C hp A =^ C (Cautious Monotonicity CM): A ^ B, A ^ C \-P AaB=>C (Cautious Disjunction CD): A =^ C, ...
確定! 回上一頁