...命題は論理学の基礎概念の一つである...
...「逆命題」とは、「命題の否定を取り、かつ、命題中に含まれる二つの主体が入れ替わった命題」を意味する...
...公理論における「公理」とは、証明されることのない基本的な命題のことである...
...「補題」は数学の用語で、「定理の補助的な命題」を意味する...
...「この命題は、論理積で表すことができる...
...不完全性定理は、自己言及的な命題の存在を示唆している...
...基本命題の真偽値を確認するために、論理学で用いられる...
...哲学的な議論で、「普遍的命題」は、人間の認識能力や思考能力を超える永遠の真理を指すことがあります...
...帰納法によって、ある数学的命題が成り立つことを証明する...
...彼女は否定的命題を信じていない...
...彼は否定的命題に対して強い反応を示した...
...推移律を用いて、命題の論理関係を導き出すことができる...
...数理論理学において、基本命題を記号化することで複雑な命題を簡単に表現することができる...
...数学の試験で、絶対命題についての問題が出ました...
...絶対命題は肯定命題と否定命題から構成されます...
...絶対命題が成立することが示されたので、仮定が証明されたと言えます...
...背理法で考えると、この命題が正しいと仮定したときに矛盾が生じる...
...数学的帰納法は、前提条件を満たす全てのnに対して命題が成立することを示す方法です...
便利!手書き漢字入力検索