ming4 ti2 luo2 ji5

命題邏輯