論理学

命題が真か偽か、そこから演繹的に求められる(前提を基にして理論的に考えられる)命題が真か偽かを考える学問。

そもそも命題(proposition)とは?

基本的な文は「AはBである」(Aは主体を示し、BはAの状態を示す)というようなものになっている。

次に、その基本的な文を元に「AがBであるならば、CはDである」という文を作って、関係性を明示したり、推測したりする。