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

converse deduction theorem

Logic

A theorem that holds of some deductive systems $L$ with a conditional connective $\to$ such that
- • If $Γ ⊢_{L} φ \to ψ$ then $Γ \cup {φ} ⊢_{L} ψ$
That is, which states that modus ponens holds for $\to$ . Although in some presentations the converse deduction theorem is subsumed as part of the deduction theorem proper, that the converse deduction theorem holds of a logic is distinct from the deduction theorem holding of that system. For example, the converse deduction theorem holds of the logic $PAI$ of philosopher William Parry (1908–1988) but only a very restricted deduction theorem holds.

单词	converse deduction theorem
释义	converse deduction theorem Logic A theorem that holds of some deductive systems $L$ with a conditional connective $\to$ such that • If $Γ ⊢_{L} φ \to ψ$ then $Γ \cup {φ} ⊢_{L} ψ$ That is, which states that modus ponens holds for $\to$ . Although in some presentations the converse deduction theorem is subsumed as part of the deduction theorem proper, that the converse deduction theorem holds of a logic is distinct from the deduction theorem holding of that system. For example, the converse deduction theorem holds of the logic $PAI$ of philosopher William Parry (1908–1988) but only a very restricted deduction theorem holds.
随便看	West, Harold Dadford West Indian independence West Indies Westinghouse, George, Jr. (1846–1914) West-Kohoutek-Ikemura Westminster, Statute of (1931) Weston cell Weston standard cell WESTPAC Westphalia Westphalian Westphalia, Treaty of (1648) West Texas Intermediate westward drift West Wind Drift wet and dry bulb hygrometer wet-and-dry bulb hygrometer wet basis wet-bulb depression wet bulb temperature wet-bulb thermometer wet cell wet etching wet gas Wetherbee, James Donald (1952– )