命題 めいだい論理 ろんり がく
meidaironrigaku

Noun

1. propositional logic