A countable set P of proposition symbols (variables):. P,Q,R,... (also called atomic propositions);. Logical connectives (operators): ¬, ∧, ∨, →, and ↔ and.
確定! 回上一頁