“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 $⊤$ .
随便看	address-relative address resolution Address Resolution Protocol address space address table sorting adduct adductor adductor muscles add–subtract time Adelaidean Adelaidean orogeny Adelard of Bath (c.1070–c.1145) Adenauer, Konrad (1876–1967) adenine adeno-associated virus adenohypophysis adenosine adenosine diphosphate adenosine monophosphate adenosine triphosphate adenovirus adenylate adenylate cyclase ADEOS adequacy theorem