Example image of eyePlorer eyePlorer map for 'Universal quantification': Open sentence Predicate logic Symbolic logic Turned a Quantification Logical conjunction Mathematical logic Natural number Truth Contradiction Counterexample Composite number Domain of discourse Material conditional Logical equivalence A Sans-serif Set (mathematics) Converse implication Converse nonimplication Existential quantification Logical connective Logical disjunction Logical NOR Material nonimplication Sheffer stroke Rule of inference Universal instantiation Generalization (logic) Vacuous truth Free variables and bound variables Alternating finite automaton Ibadah Axiom of extensionality Axiom of pairing Axiom of power set Axiom of union Bounded function Lindström quantifier Skolem normal form Statistical relational learning Subclass (set theory) True quantified Boolean formula Algebraic logic Cauchy-continuous function Formula game Monadic Boolean algebra Proof of impossibility Type variable Conjunctive query