A Dictionary of Logic$ ... Where → is a conditional connective, the axiom scheme: • φ→φSelf-implication is sometimes described as the related .
確定！ 回上一頁
