logicalForm
P4940
predicate
Indicates a relationship where an expression is associated with its structured, formal logical representation.
Aliases (4)
- formalExpression ×4
- formalizableAs ×2
- logicalFunction ×1
- quantifierForm ×1
Sample triples (18)
| Subject | Object |
|---|---|
| Barber paradox | question whether the barber is a member of that set via predicate surface "formalizableAs" → |
| Barber paradox | set of all people in the village who do not shave themselves via predicate surface "formalizableAs" → |
|
Born rule in quantum mechanics
surface form: "Born rule"
|
P(a) = ⟨ψ|Π_a|ψ⟩ where Π_a is the projector onto the eigenspace of outcome a via predicate surface "formalExpression" → |
|
Born rule in quantum mechanics
surface form: "Born rule"
|
P(i) = |c_i|^2 for a state |ψ⟩ = Σ_i c_i |i⟩ via predicate surface "formalExpression" → |
| Burali-Forti paradox | reductio ad absurdum argument → |
| Cantor’s theorem | ∀S (|S| < |P(S)|) via predicate surface "formalExpression" → |
| Cantor’s theorem | ∀S ¬∃f : S → P(S) such that f is surjective via predicate surface "formalExpression" → |
| Doctrine of Being | derivation of categories from pure being via predicate surface "logicalFunction" → |
| Noether's isomorphism theorems | equivalence of quotient by intersection and quotient of quotient → |
| Noether's isomorphism theorems | equivalence of quotient by normal subgroup and quotient of group → |
| Noetherian induction | second-order principle expressible in first-order theories with well-founded relations → |
| Russell’s paradox | self-referential contradiction → |
| Silver Rule | negative duty → |
| Silver Rule | prohibition → |
| axiom of choice | for every family F of nonempty sets there exists a function f with domain F such that f(X) is in X for all X in F via predicate surface "quantifierForm" → |
| axiom schema of separation | infinite family of axioms, one for each formula φ → |
| implicit function theorem | local existence and uniqueness theorem → |
| liar paradox | sentence that asserts its own falsity → |