邏輯(Logic)
命題邏輯(Proposition), 真理(tautology), 矛盾(contradiction), and 可滿足(satisfiable)