# Sentential Calculus

**See:** Propositional Logic System

## References

- (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Sentential_logic
- In logic and mathematics, a propositional calculus or logic (also a sentential calculus) is a formal system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives, and a system of formal proof rules allows certain formulæ to be established as "theorems".