“connective”的概念、定义、翻译、参考文献-科学参考

connective

Mathematics

In logic, a binary operator on the set of sentences, such as or, and, xor. So, a connective combines two sentences into a single sentence.

Computer

A logical device used for the construction of more complex statements or expressions from simpler statements or expressions. Examples in everyday use are ‘and’, ‘or’, and ‘not’. Connectives also occur in Boolean algebra, switching theory, digital design, formal logic, and in programming languages. In all these cases they are used, often as operators, in the formation of more complex logical or Boolean expressions or statements from simpler components. These simpler components inevitably have a value that is either true or false. Truth tables describe the effect or result of using a connective, given the truth of the simpler components.

Philosophy

In formal logic a connective is an element of a sentence that joins parts in such a way that the logical properties of the whole are a defined function of the logical properties of the parts. The most familiar connectives are those expressing the truth functions.

单词	connective
释义	connective Mathematics In logic, a binary operator on the set of sentences, such as or, and, xor. So, a connective combines two sentences into a single sentence. Computer A logical device used for the construction of more complex statements or expressions from simpler statements or expressions. Examples in everyday use are ‘and’, ‘or’, and ‘not’. Connectives also occur in Boolean algebra, switching theory, digital design, formal logic, and in programming languages. In all these cases they are used, often as operators, in the formation of more complex logical or Boolean expressions or statements from simpler components. These simpler components inevitably have a value that is either true or false. Truth tables describe the effect or result of using a connective, given the truth of the simpler components. Philosophy In formal logic a connective is an element of a sentence that joins parts in such a way that the logical properties of the whole are a defined function of the logical properties of the parts. The most familiar connectives are those expressing the truth functions.
随便看	gross reproduction rate gross trading profit grossular gross value added Grothendieck, Alexander (1928–2014) Grotius, Hugo (1583–1645) Grotrian diagram Grotthuss–Draper law ground ground absorption ground anchor ground capacitance ground clutter Ground Communications Facilities ground control ground-control point ground crew ground current ground data ground data system grounded-base connection grounded-collector connection grounded-emitter connection grounded theory ground electrode