吃吃吃货小两口
p是proposition（命题）的首字母；q没有英文全称。P和q的逻辑关系：除非是p，不然就都不是q，也就是说，只有属于p的才可能属于q，不属于p的都不在q里，说明q都在p里面。
雾都下的吃货
逻辑的英语是logic。
logic 英[ˈlɒdʒɪk]，美[ˈlɑːdʒɪk]
n. 思维方式；解释方法；逻辑；(做某事的)道理，合乎情理的原因；逻辑学；
[例句]I fail to see the logic behind his argument。
我不明白支持他论据的是什么逻辑。
[其他] 复数：logics
逻辑指的是思维的规律和规则。
狭义上逻辑既指思维的规律，也指研究思维规律的学科即逻辑学。广义上逻辑泛指规律，包括思维规律和客观规律。逻辑包括形式逻辑和数理逻辑（符号逻辑），形式逻辑包括归纳逻辑与演绎逻辑。
传统上，逻辑被作为哲学的一个分支来研究。自从19世纪中期，逻辑经常在数学和计算机科学中研究。逻辑的范围非常广阔，从核心主题如对谬论和悖论的研究，到专门的推理分析如或然正确的推理和涉及因果关系的论证。
