本文收录一些近期在学习的科目里一些基础的名词和符号的解释，初期会比较混乱，但是之后会把他们分佩到各个科目的笔记内的。
¬\lnot¬否定联结词“非”。 ∧\land∧合取联结词“与” ∨\lor∨析取联结词“或” P→QP\to QP→Q条件「蕴含词」联结词“若P则Q” P → Q ↔ 双条件联结词“当且仅当”
析取词“∨”为“可兼或”； 异或词“▽”为“不可兼或”；
重言式 又称「永真式」 矛盾式
