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.