命题逻辑

mìng tí luó ji

propositional logic

命

mìng

life

题

tí

topic

逻

luó

patrol

辑

ji

to gather up