逻辑常用符号：与门、或门、非门

在逻辑学中，常用到的符号有与门（∧）、或门（∨）、非门（¬）等。

与门是指两个或多个命题同时为真时总结论才为真。例如：A∧B，当A，B同时成立时，A∧B 成立。否则，A∧B不成立。

或门是指其中一个或多个命题为真时总结论即为真。例如：A∨B，当A或B成立时，A∨B成立。否则，A∨B不成立。

非门是指当一个命题为真时，该命题的否定为假。例如：¬A，当A为真时，¬A为假。当A为假时， ¬A为真。