👔 Logical Formalization

=== the process of describing the 🔵 Logical Form of a 🗯️ Meta Language $L_{nat}$ with a ⚽ Object Language $L_{for}$==

Notation

• A, B, C…:
  • Capital letters in italics from the beginning of the Latin alphabet
  • = sentences of the ⚽ Object Language
• M, N, O…:
  • Capital letters in italics from the middle of the Latin alphabet
  • = Sets of sentences of the ⚽ Object Language
• p, q, r
  • = ✖️ Propositional variable

Why?

• Clarity
• Avoid 🤨 Ambiguity
• Explicitness
• 🌟 Effectiveness
• → 📄 Propositional Calculus