Across
- 2. A counting principle used to avoid double-counting overlapping elements.
- 4. A collection of non-overlapping subsets whose union is the original set.
- 5. A structure-preserving mapping showing that two algebraic systems are essentially identical.
- 8. The property of an argument being logically sound with no contradictions.
- 9. The negated and reversed form of an implication that retains its logical equivalence.
Down
- 1. A function that maps distinct inputs to distinct outputs.
- 3. Relates to the minimum number of colors required for proper vertex coloring of a graph.
- 4. An arrangement of objects in a specific order where sequence matters.
- 6. A circuit that visits every edge exactly once in a connected graph.
- 7. A logical statement that is true for some truth assignments and false for others.