In classical deductive logic, a consistent theory is one that does not lead to a logical ... If both A and ¬A are consistent with T, then A is said to be independent ...
確定! 回上一頁