Wiktionary英語版
出典：Wiktionary
truth-functional logic
出典:『Wiktionary』 (2026/05/21 21:43 UTC 版)
名詞
truth-functional logic (uncountable)
- (logic) The logic of truth-functional combinations of simple sentences; the branch of logic that investigates the properties that arguments, sentences, and sets of sentences have in virtue of their truth-functional structure.
-
1967, Benson Mates, Elementary Logic, Oxford University Press, page 75:
-
Truth-functional logic is concerned exclusively with the compounding of sentences by means of the truth-functional connectives 'not', 'and', 'or', 'if–then', and 'if and only if'.
-
-
使用する際の注意点
Truth-functional logic is also known as propositional logic or sentential logic. It does not analyze the internal structure of atomic sentences beyond their truth values. When quantifiers and predicates are added, it becomes quantificational logic (first-order logic).
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能
過去に調べた単語を確認できる
語彙力診断
診断回数が4回に増加
マイ単語帳
便利な学習機能付き
マイ例文帳
文章で意味を理解できる
- Wiktionary
- Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのtruth-functional logic (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
