---
tag: AC4HD34AXX
kind: concept
name: Propositional letter
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section P
    note: adopted
    mention: wikipedia://en/76765067#0XVU
    sections: [Summary]
inventory: [N7E4NAA1JZ]
---

## Summary

A variable in propositional logic that represents a specific, undefined proposition, used as a placeholder in logical formulas.