「Aussagenlogik」のコアイメージコアイメージ
真か偽かを持つ文を、論理記号で組み合わせて全体の真偽を確かめる枠組み
「Aussagenlogik」のドイツ語での定義ドイツ語での定義
Die Aussagenlogik ist ein Teilgebiet der Logik, das untersucht, wie Aussagen durch logische Verknüpfungen verbunden werden und welche Wahrheitswerte daraus entstehen.
「Aussagenlogik」の語源語源
Aussagenlogikは、Aussageが発言や命題、Logikが論理を表し、両者を合わせて命題を扱う語
「Aussagenlogik」のコラムコラム
- 論理学でAussageは、質問や命令ではなく真か偽かを判定できる文を指し、Aussagenlogikの対象になる