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

truth function

Logic

Where $𝒱$ is a set of truth values, a function mapping $n$ -tuples in $𝒱^{n}$ to values in $𝒱$ . In semantics with logical matrices, each $n$ -ary connective $\circ$ is interpreted by an $n$ -ary truth function $f^{\circ}$ .

Philosophy

A truth function of a number of propositions or sentences is a function of them that has a definite truth-value, dependent only on the truth-values of the constituents. Thus (p & q) is a combination whose truth-value is true when p is true and q is true, and false otherwise. ¬p is a truth function of p, false when p is true and true when p is false. The way in which the value of the whole is determined by the combinations of values of constituents is presented in a truth table.
The propositional calculus is the standard treatment of truth-functional combinations. Its constants, &, ∨, ¬, → and ↔, are all truth functors, i.e. expressions standing for truth functions.

单词	truth function
释义	truth function Logic Where $𝒱$ is a set of truth values, a function mapping $n$ -tuples in $𝒱^{n}$ to values in $𝒱$ . In semantics with logical matrices, each $n$ -ary connective $\circ$ is interpreted by an $n$ -ary truth function $f^{\circ}$ . Philosophy A truth function of a number of propositions or sentences is a function of them that has a definite truth-value, dependent only on the truth-values of the constituents. Thus (p & q) is a combination whose truth-value is true when p is true and q is true, and false otherwise. ¬p is a truth function of p, false when p is true and true when p is false. The way in which the value of the whole is determined by the combinations of values of constituents is presented in a truth table. The propositional calculus is the standard treatment of truth-functional combinations. Its constants, &, ∨, ¬, → and ↔, are all truth functors, i.e. expressions standing for truth functions.
随便看	helium star helium–neon laser helium ‘burning’ helix Helix Nebula helix-turn-helix hell Hellas Planitia hellebore Hellenic Arc Hellenic Plate Hellenic Trench Hellenistic civilization Hellfire Club (1745–63) Hellinger distance Hellinger, Ernst David (1883–1950) Helmert contrast Helmert, Friedrich Robert (1843–1917) helmet streamer Helmholtz coils Helmholtz free energy Helmholtz galvanometer Helmholtz, Hermann Ludwig Ferdinand von Helmholtz, Hermann Ludwig Ferdinand von (1821–94) Helmholtz, Hermann von (1821–94)