sentential logic

1. REDIRECT Propositional calculus

{{Redirect category shell|1=

{{R from other name}}

}}