命題論理

意味

  • 女性名詞 命題論理めいだいろんり

例文

Die Aussagenlogik untersucht die Beziehungen zwischen Aussagen.

命題論理は命題間の関係を研究する。

コアイメージ

真か偽かを持つ文を、論理記号で組み合わせて全体の真偽を確かめる枠組み

ドイツ語での定義

Die Aussagenlogik ist ein Teilgebiet der Logik, das untersucht, wie Aussagen durch logische Verknüpfungen verbunden werden und welche Wahrheitswerte daraus entstehen.

語源

Aussagenlogikは、Aussageが発言や命題、Logikが論理を表し、両者を合わせて命題を扱う語

コラム

  • 論理学でAussageは、質問や命令ではなく真か偽かを判定できる文を指し、Aussagenlogikの対象になる

「命題論理」は英語では

おすすめの単語帳

1 / 1
↑ TOPへ