“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 $⊤$ .
随便看	Akaike, Hirotugu (1927–2009) Akaike's information criterion Akari Akatsuki Akbar, Jalaludin Muhammad (1542–1605) Akebono Akers, Thomas Dale (1951– ) Akhenaten (14th century bc) akinete Akiyama, Toyohiro (1942– ) Akkad aklé akolasia akoluthic akrasia Aksayan Aksum aktuopalaeontology al- alabaster Alamein, El, Battle of (October–November 1942) Alamo, the Alanbrooke, Alan Francis Brooke, 1st Viscount (1883–1963) alanine Alan Turing Institute