符号逻辑

注释

数理逻辑。
背景：牡丹蝴蝶