| 单词 | law of permutation |
| 释义 | > as lemmaslaw of permutation b. In propositional calculus: an interchange of terms that does not affect the validity of the proposition. Chiefly in principle of permutation, law of permutation. ΚΠ 1910 A. N. Whitehead & B. Russell Principia Mathematica I. 100 *1.4. ⊦ : p∨q.⊃.q∨p Pp. This principle states that ‘p or q’ implies ‘q or p’. It states the permutative law for logical addition of propositions, and will be called the ‘principle of permutation’. It will be referred to as ‘Perm’. 1965 G. E. Hughes & D. G. Londey Elements Formal Logic xv. 104 T1. (p⊃(q⊃r))⊃(q⊃(p⊃)) We call T1 the Law of Permutation, or Perm for short. Perm is an extremely useful thesis, allowing us to change the order of terms in any implication associated to the right. 2001 Bull. Symbolic Logic 7 527 The Lambek calculus, which rejects thinning, contraction, and permutation, dates from the late 1950's. < as lemmas |
| 随便看 |
|
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。