∧∨¬⇒∀∃を使うのが記号論理学。
「かつ」「又は」「ならば」「任意の」「存在する」を使うのが言葉論理学。