NotElement

可用

Test non-membership of an expression in a mathematical domain.

形式

NotElement[x, dom]

NotElement[x1 | … | xn, dom]

NotElement[patt, dom]

已驗證的範例NotElement[5, Reals] → False

在 Qurak 上執行搜尋參考文件

主題

Assumptions And Domains - Domains
New In60 Alphabetical Listing - N
Summary Of New Features In150 - Code Compilation »
Summary Of New Features In150 - Code Compilation »
Theorem Proving - Predicates

相關

Element MemberQ IntegerQ Condition PatternTest Equal Less Divisible CoprimeQ Booleans Primes Exists

全部 6300 個函式 · 從 MCP 用戶端使用這個