truth-functional logic

名词 n.

英文释义

名词 n.
  1. 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. uncountable
    — 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'.

词汇关系

反义词
predicate logic quantificational logic modal logic
0 次浏览 数据来源: Wiktionary