implication as an analysis of entailment at the first degree level. ... f.d. entailment is a wff of the form (B -* C) with B and C truth-.
確定！ 回上一頁
