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

Logic

In relevant logic, a propositional constant (or $0$ -ary connective) acting as a proxy for the infinitary conjunction of all tautologies. $t$ and the propositional constant $f$ are together known as the Ackermann constants due to their having been studied by logician Wilhelm Ackermann (1896–1962). Although $t$ and the formula verum ( $⊤$ ) are equivalent in classical logic, they become distinct in the weaker family of relevant logics. Most notably, the relevant interpretation of $⊤$ treats the connective as the weakest possible truth, i.e., $⊤$ is relevantly entailed by every formula $φ$ . Given the relevant reading of $t$ , $t$ entails every logical truth (codified by the axiom $t \to (φ \to φ)$ ). $t$ is construed as strictly stronger than $⊤$ .

单词	t
释义	t Logic In relevant logic, a propositional constant (or $0$ -ary connective) acting as a proxy for the infinitary conjunction of all tautologies. $t$ and the propositional constant $f$ are together known as the Ackermann constants due to their having been studied by logician Wilhelm Ackermann (1896–1962). Although $t$ and the formula verum ( $⊤$ ) are equivalent in classical logic, they become distinct in the weaker family of relevant logics. Most notably, the relevant interpretation of $⊤$ treats the connective as the weakest possible truth, i.e., $⊤$ is relevantly entailed by every formula $φ$ . Given the relevant reading of $t$ , $t$ entails every logical truth (codified by the axiom $t \to (φ \to φ)$ ). $t$ is construed as strictly stronger than $⊤$ .
随便看	aerobe Aerobee rocket aerobic aerobic process aerobic respiration aerobraking aerodynamic drag aerodynamic roughness aerodynamics aerogel aerogenerator aerolite aerological diagram aeromagnetic survey aeronautics Aeronian aeronomy Aeronomy of Ice in the Mesosphere aeroplane aeroshell aerosol aerospace Aerospace Directing and Controlling Centre Aerospike aerotaxis