Example image of eyePlorer eyePlorer map for 'Valuation (logic)': Logic Model theory Propositional calculus Propositional formula Propositional variable First-order logic Structure (mathematics) T-schema Atomic formula Domain of discourse Structure (mathematical logic) Free variables and bound variables Sentence (mathematical logic) Tautology (logic) Intended interpretation Semantic theory of truth Assignment Valuation Metalanguage Philosophy of mathematics Axiom
Disclaimer