The truth-table method [matrix method] is one of the decision procedures for sentence logic (q.v., §3.2). The method is based on the fact that the truth ...
確定! 回上一頁