(logic) A word or phrase which has an invariant logical meaning and which is useful for forming argument forms.
logical constant
記号論理学において、同値記号(↔)は二つの命題を結ぶ論理定数として働く。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★