翻訳と辞書 Words near each other ・ Indirect injection ・ Indirect land use change impacts of biofuels ・ Indirect liability ・ Indirect pathway of movement ・ Indirect procurement ・ Indirect property ・ Indirect rule ・ Indirect self-reference ・ Indirect speech ・ Indirect tax ・ Indirect tests of memory ・ Indirect utility function ・ Indirection ・ Indirizzo portoghese ・ Indisc ・ Indiscernibles ・ Indische Buurt ・ Indische Party ・ Indiscipline ・ Indiscreet ・ Indiscreet (1931 film) ・ Indiscreet (1958 film) ・ Indiscreet (1998 film) ・ Indiscreet (FM album) ・ Indiscreet (Sparks album) ・ Indiscrete category ・ Indiscretion ・ Indiscretions of Archie ・ Indiscretions of Betty ・ Indispensable Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Indiscernibles ： ウィキペディア英語版 Indiscernibles In mathematical logic, indiscernibles are objects which cannot be distinguished by any property or relation defined by a formula. Usually only first-order formulas are considered. ==Examples== If ''a'', ''b'', and ''c'' are distinct and is a set of indiscernibles, then, for example, for each binary formula φ, we must have :$(\backslash varphi\; (a,\; b)\; \backslash and\; \backslash varphi\; (b,\; a)\; \backslash and\; \backslash varphi\; (a,\; c)\; \backslash and\; \backslash varphi\; (c,\; a)\; \backslash and\; \backslash varphi\; (b,\; c)\; \backslash and\; \backslash varphi\; (c,\; b))\; \backslash or\; (\backslash lnot\; \backslash varphi\; (a,\; b)\; \backslash and\; \backslash lnot\; \backslash varphi\; (b,\; a)\; \backslash and\; \backslash lnot\; \backslash varphi\; (a,\; c)\; \backslash and\; \backslash lnot\; \backslash varphi\; (c,\; a)\; \backslash and\; \backslash lnot\; \backslash varphi\; (b,\; c)\; \backslash and\; \backslash lnot\; \backslash varphi\; (c,\; b))\; \backslash ,.$ Historically, the identity of indiscernibles was one of the laws of thought of Gottfried Leibniz. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Indiscernibles」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.