Category:Sentential logic

Sentential logic refers to the theory of well formed formulas in various logical systems that is an elementary part of mathematical logic.