Exists

可用

Represents the existential quantifier

形式

Exists[x, expr]

Exists[x, cond, expr]

Exists[{x1, x2, …}, expr]

搜尋參考文件

使用於

Use logical operators - 7 個步驟

主題

Assumptions And Domains - Domains
Boolean Computation - Predicate Calculus
Logic And Boolean Algebra - Mathematical Logic
Operations On Sets - Symbolic Set Theory
Polynomial Systems - Quantifier Elimination
Theorem Proving - Predicates

相關

ForAll FindInstance Resolve Disjunction Reduce Element Eliminate SatisfiableQ AnyTrue FullSimplify NotElement And

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