Concept

Function symbol

Overview

mathematically mappings

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• First-order logic
• Interpretation (logic)
• If and only if
• Zermelo–Fraenkel set theory
• Function (mathematics)
• Mathematical logic
• Sentence (mathematical logic)
• Domain of discourse
• Prolog
• Primitive notion
• Set (mathematics)
• Theorem
• Metalogic
• Formal system
• Map (mathematics)
• Axiom schema of replacement
• Gödel's incompleteness theorems
• Material conditional
• Decision problem
• Non-logical symbol

Place in the tradition

Part of First-order logic.

Explore Function symbol in the interactive graph →