Related terms:
neg
axiom
there exists
iff
set theory
quantification
rightarrow
axioms
predicate
existential
exists
forall c
Wikipedia sources:
First-order logic
Peano axioms
Quantification
Model theory
Uniform continuity
Petri net
Axiom
Affine space
Ideal (ring theory)
Big O notation
Second-order logic
Tautology (logic)
Cauchy sequence
Empty set
Mechanism design
Markov decision process
Group action
Relational algebra
Nash equilibrium
Similarity (geometry)
Type theory
Monoid
Intersection (set theory)
Ordered pair
LTI system theory
Price index
Standard deviation
Mathematical induction
For loop
Chinese remainder theorem
Context for words:
forall
|
|