Questions about truth tables, conjunctive and disjunctive normal forms, negation, and implication of unquantified propositions would fit very nicely under this tag. Questions about other kind of logics should be tagged with [logic] instead.
Synonyms
propositional-logicStats
created |
1 year ago |
viewed |
4 times |
editors |
0 |
Recent Hot Answers
Implication: F $\implies$ TLogic Negation Symbols
Boolean Algebra Transform
Simple logic equivalence incorrect
Logic Negation Symbols
more »
Related Tags
logic × 185discrete-mathematics × 23
homework × 23
boolean-algebra × 17
proof-strategy × 12
first-order-logic × 9
proof-writing × 7
predicate-logic × 6
puzzle × 5
proof-theory × 5
soft-question × 3
computer-science × 3
reference-request × 3
quantifiers × 3
induction × 3
axioms × 3
notation × 2
examples-counterexamples × 2
algorithms × 2
intuition × 2
elementary-set-theory × 2
mathematical-modeling × 2
set-theory × 2
formal-languages × 2
constructive-mathematics × 2
