命題 めいだい論理 ろんり
meidaironri

Noun

1. propositional logic

Related to 述語論理