Tag synonyms for propositional-calculus
Incorrectly tagged questions are hard to find and answer. If you know of common, alternate spellings or phrasings for this tag, add them here so we can automatically correct them in the future. For example, suggest “bike” as a synonym for bicycle, or “sock” for socks.
The following tags will be remapped to propositional-calculus:
Users with more than 2500 reputation and a total answer score of 5 or more on the tag, can suggest tag synonyms. Users with a total answer score (total upvotes minus total downvotes) of 5 or more on the tag, can vote for tag synonyms. Suggestions will be automatically approved when they reach a score of 4, and automatically deleted when they reach a score of -2.
Related Tags
propositional-calculus × 5616logic × 4425
first-order-logic × 766
discrete-mathematics × 721
natural-deduction × 362
boolean-algebra × 323
solution-verification × 296
proof-writing × 202
formal-proofs × 199
proof-theory × 117
conjunctive-normal-form × 112
elementary-set-theory × 92
proof-explanation × 91
quantifiers × 80
logic-translation × 80
induction × 76
disjunctive-normal-form × 70
hilbert-calculus × 65
computer-science × 62
satisfiability × 62
model-theory × 60
notation × 59
definition × 59
axioms × 55
intuitionistic-logic × 53