1. 否定"﹁" 2. 合取"∧" 3. 析取"∨" 4. 异或"" 5. 条件"→" 常见条件“→”的表达,以下都表示P→Q 只要P,就Q 因为P,所以Q P仅当Q 只有Q才P 除非Q才P 除非Q,则非P 6. 等价“↔” 7. 总结