公式 (数理逻辑)
在数理逻辑中，公式是 公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（arity）来指示它所接受的参数的数目。 定义 项的递归定义 一个变量 或 一个常量符号 或 f(t_1,...,t_n)\,，这里的f\,是一个n-元函数符号，而t_1,...,t_n\,是项。 公式的递归定义 t_…
标签：#规则
共 21 篇文章
表達規則
表達規則（） 是一種社會群體或文化的非正式規範，作為讓人們判斷自己應該如何表達的標準，並可以被視為一種文化規定或規則，人們則從年幼時期便開始透過與他人的互動和社交來學習表達規則，並在年輕時就學會這些文化標準，且藉由這些標準來判斷該在何時何地表達何種情感。1975年，Ekman與Frinsen提出以“不成文代碼（）”或“表達规则”來說明情緒表達的管理方式，這些不同的規則根據個人的文化、性别或家庭背景內化而成 。 表達規則是一個複雜且多面向…
各國不同軚位駕駛車輛的合法性
本列表列出不同軚位駕駛車輛在世界各国家或地区的合法性和相关政策。各國對不同軚位駕駛車輛都有不同的政策。 在各国家或地区的细节 亚洲 美洲 參考文獻
安德森定则
。处于平衡状态的结对齐（底部）是基于假设的平坦真空对齐（顶部）预测的。]] 安德森定则用于构建两种半导体材料之间异质结的能帶圖。安德森定则指出，构建能带图时，异质结两侧半导体的应当对齐（处于相同能量）。 该定则亦称电子亲合能定则，且与金属-半导体结的肖特基-莫特定则（Schottky–Mott rule）密切相关。 安德森定则由R.L.安德森于1960年首次提出。 构建能带图 一旦真空能级对齐，即可使用每种半导体的电子亲合能与能隙值来计…
科学规律
科學規律（），或稱科學定律、自然規律、自然定律、自然規則、自然法則、科學規則、科學法則，為研究宇宙間不變的事實規律所歸納出的結論，不同於理論、假設、定義、定理，是對客觀事實的一種表達形式，通過大量具體的客觀事實經驗累積歸納而成的結論。 定義 科學定律是一种理论模型，它用以描述特定情况、特定尺度下的现实世界，在其它尺度下可能会失效或者不准确。没有任何一种理论可以描述宇宙当中的所有情况，也没有任何一种理论可能完全正确。 人類生活上常見的定律…
行為準則
行為準則指的是一套規則，概述個人行為的社交規範、責任，亦可能包含較為適當的作法建議。國際會計師聯會在 2007 年發佈的國際良好實務指南之《制訂有效的企業行為守則》中對此定義如下： : 「指導組織機構的決策、程序和制度的原則、價值、標準或行爲規則， 它們（1）增進了重要利益相關者的福利；及（2）尊重受其業務影響 的各方的權利。」 通常行為準則是為了公司的僱員而撰寫（即員工守則)，讓員工了解公司的期待，從而確保營運順利。即使公司再小也該有…
裁判 (法律)
裁判（）係裁定（）和判決（）二者的合稱，是法院對外所為之意思表達（並非意思表示，蓋意思表示之用語，指發生私法上效力之意思表達，裁判並非如此）。其中裁定是对诉讼程序和某些实体问题所作的一种处理决定，判决则是由陪审团或法官根据庭审期间控辩双方提交的证据以及论证，于庭审结束时为案件所作出的裁断，以确定有关各方之间的权利和义务以及相应的罪行。法院的裁判書一般均會公開，接受社會之監督，但偶有司法機關決定不公開裁判書，導致遭批違法之事，甚至因此建議…
洪德规则
洪德规则（，又译洪特规则、洪特定则）是原子物理学中关于L-S耦合电子组态的能级顺序的一个规则。 1925年，德国物理学家弗里德里希·洪德提出该规则关于总自旋量子数S、总方位角量子数L的前两条。1927年又加上了关于总角动量量子数J的一条，将其扩成三条。（中学课本出现的洪德规则多为下面的第1條洪德規則，又叫洪德最大多重度规则。） 他指出： #对于一组原子态，自旋多重度2S+1最大，能量最低。亦可表述为S最大的态能量最低 #S相同时，L最大…
禮儀
禮儀、禮節、禮貌是根據在社會、社會價值或者小組之間的當代常規準則影響社會行為的期望的代稱。禮儀通常也不像法律一樣刻意以文筆書寫來規定和記載，但是禮節的層面常有記錄。禮節包括社會相互作用的大多數社會層次方面，是沒有有效期限的。禮節規則也許反映社會的倫理規則，或者反映這個社會現在的狀態。像文化逐年增長的一個詞彙，特別是多種種族衝突下文化上的差異造成不同社會的產生。一些研究認為，所有的人類文化都有某種形式的禮儀，也就是說，禮儀是普世文化通則的…
法律原則
在普通法中，法律原則（），又譯法律學說、法律原理、法理原則，是一組不成文的法律規則、框架，常規、慣例。通常是經由法官在法庭中，針對個別案件做出的判決先例，隨著經驗累積，慢慢形成了這些一般性的法律原理（principle）。當法律案件完成審理及判決之後，法官會建立起一組規則，可以平等適用於類似案例中。當匯集了足夠多的判決先例，在法官之間，就會建立起一系列實質上的（de facto）判決標準，可以適用於類似的案件中。 参考文献 外部連結 E…
卡恩-英戈尔德-普雷洛格优先规则
在有机化学中，卡恩-英戈尔德-普雷洛格序列规则（以、和弗拉迪米尔·普雷洛格的姓氏命名），简称为序列法則、CIP规则、CIP优先规则，是完整且明确地命名分子立体异构体的标准过程。一個有機分子可能含有多個立體中心和雙鍵，而每一個都給了這個分子兩種可能的組態。這個規則的目的是給予立體中心，雙鍵E/Z標記，而使每個組態都可以用系統性的語言來描述。 序列法則和其他的命名原則，如IUPAC命名法有顯著的不同，原因是此規則是被制定來命名有立體異構物的…
交通通行方向
大洋路|thumb|right]] 交通通行方向是交通中一种成文或不成文的规则，用以约束人和各种交通工具的通行方向，即靠左行走或靠右行走。 行人 虽然各国政府对于机动车的行驶方向进行了规定，但没有足够的证据表明哪个现代国家的政府曾强制行人靠道路的某一侧行走。事实上这样的规定也不可能成功实行。不过，在行人面对面交会的时候，在空间允许的情况下，也会选择是从对面来者的左侧经过，还是从其右侧经过。一般来说，在汽车靠右通行的国家，比如美国、加拿大…
数理逻辑
数理逻辑（）是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。主要的子研究领域有模型论，证明论，集合论和可计算性理论。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学。数理逻辑一般着重于研究公理系统的推断能力和表达能力。它也包括分析正确的数学推断来构筑数学基础。 研究内容 数理逻辑的主要分支包括： #公理化集合论 …
里宾斯基五规则
里宾斯基五规则（），也称辉瑞五规则、普菲策尔五规则（Pfizer's rule of five）或类药五原则、类药五规则（rule of five，RO5），是辉瑞公司药物化学家在1997年提出的筛选类药分子的五条基本法则，符合里宾斯基五规则的化合物会有更好的药代动力学性质，在生物体内代谢过程中会有更高的生物利用度，因而也更有可能成为口服药物。在药物研发领域，里宾斯基五规则被用于对化合物库的初筛，以期摒除那些不适合成为药物的分子，缩小筛…
伍德沃德规则
伍德沃德规则（）是由分子结构计算紫外-可见光谱中最大吸收峰出现的波长（λmax）的一个经验规则，由美国化学家罗伯特·伯恩斯·伍德沃德提出。一般用于预测共轭二烯、多烯等化合物的 λmax，实际误差通常只有几纳米。 表格 多烯： α,β-不饱和酮： 参见 *分子軌道對稱守恆原理 参考资料
军纪
军纪是指士兵在服兵役期间要遵守的行為準則。軍隊設立军纪目的是为了士兵要在政治上、组织上、行动上與高層要保持一致。 中國共產黨的軍隊曾制定了三大纪律八项注意。1933年8月1日，第一部中国工农红军纪律暂行条令颁布。自1935年至1984年，中國共產黨的軍隊對纪律条令进行了10次修订。1984年颁行的中国人民解放军纪律条令内容包括总则、奖励、处分等6章计48条。 参考文献
数值修约
数值修约是指在运算数字前，按照一定的规则确定一致的位数，然后捨去某些数字后面多余尾数的过程（最後所得到的數字結果又被稱為概數）。 数值修约的历史非常古老，甚至可能比除法还要古老。一些兩河流域的泥板有倒数的修约值。圆周率、年月长度的近似值也很古老。现在广泛使用的数值修约规则，主要有四捨五入、五捨六入和四捨六入五留双规则。此外还有无条件舍去和无条件进位等方法。 捨去與進位 捨去：將所取位數右方的所有數字以0代換。 進位：將所取位數右方的所有…
推理小說二十法則
推理小說二十法則是美國作家范·達因所提出的推理小說原則，他認為推理小說是一場智力競賽，必須要保障其公平性。因此范·達因認為不能遵守二十法則的推理小說作家等於沒有運動精神，且不值得尊重。在范·達因的法則裡，除了詳述其精神外，也會用諷刺的方式額外加註。 內容 二十條法則的簡要內容為： #必須明確、公正地將所有線索呈現給偵探與讀者。 #除了兇手的詭計，不得用寫作手法誤導讀者。 #故事中不能摻有戀愛成分。 #偵探和兇手不能是同一人。 #必須經由…
模糊规则
模糊规则的形式为：if x is A then y is B，其中A和B为由论域X和Y上的模糊集合定义的语言值。“x is A”称为前提，“y is B”称为结论。 以上模糊规则可以简写为A → B。本质上模糊规则是定义在X × Y上的二元R。 A → B有两种解释，一种是A耦合（coupled with）B： R=A \rightarrow B = A \times B = \int_{X \times Y}tnorm(\mu_A (…
推理小說十誡
推理小说十誡（Ten Commandments of Detection）或稱推理十誡，是天主教蒙席，資深編輯暨作家於1928年定下的推理小说原则。十誡內容主要環繞故事脈胳的舖排、角色類型和性格。其中不乏有些錯誤的認知，但在古典推理的黃金期時曾被奉為圭臬。不過隨著推理小說寫作方式與風格的演變，有作者會刻意違背十誡的內容來寫，而目前推理小說作家在寫作時都不會刻意遵守十誡的內容。 十誡內容包括： #兇手須在故事前半段亮相，但要防止讀者完全得…