検索結果- 英語 - 多言語
検索内容:
divine law
(theology) Any law (or rule) that, in the opinion of believers, comes directly from the will of God (or a god).
神の意志によって直接定められた法則や規則、特に宗教的信念に基づく法則
substantive law
procedural law
Leibniz's law
Peirce's law
(logic) The classically valid but intuitionistically non-valid formula ((P→Q)→P)→P of propositional calculus, which can be used as a substitute for the law of excluded middle in implicational propositional calculus.
命題論理における定理のひとつで、古典論理では妥当であるが直感主義論理では成り立たない。具体的には、含意のみを使う命題論理体系において排中律の代替として用いられる法則、すなわち ((P→Q)→P)→P を示す。
ma-in-law
sign into law
(transitive) To sign (legislation) as a mark of official approval.
法案に署名して、公式に承認・成立させる行為 / 国家元首や行政機関が法案に署名し、法律として成立させること
( present singular third-person )
( participle present )
( participle past )
( past )
co-in-law
(rare) A distant in-law: A relationship by marriage with a separation by three degrees (two people), compared to prototypical in-laws, where the separation is two/one. The separation may be two degrees of blood kin and one of marriage (addressing the mother of the husband of one's daughter), or one degree blood and two of marriage (addressing the brother-in-law of one's brother, or, similarly, addressing the wife of the brother of one's husband).
遠縁の義理親族。通常の義理親族(配偶者の近親者)よりも、婚姻や血縁による関係の隔たりが大きい、たとえば結婚関係で三親等程度離れた親族を指す。