👔 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