propositional algebra

propositional algebra

[‚prä·pə¦zish·ən·əl ′al·jə·brə]
(mathematics)
The study of finite configurations of symbols and the interrelationships between them.