Current location - Training Enrollment Network - Mathematics courses - Mathematical substitution reasoning
Mathematical substitution reasoning
┐s∧┐r 1 arrangement. ┐s2 simplification. Introduction of P→s premise. ┐p34 refused. ┐r2 simplification. Introduction to Q→r premise. ┐q67 refused. ┐ P┐┐ Q58 conjunction. Because (┐ (p ∨ q)) ∧ (p ∨ q) < = >0, the original reasoning is correct.

The content involves:

1. set theory: sets and their operations, binary relations and functions, natural numbers and natural number set, cardinality of sets.

2. Graph theory: basic concepts of graphs, Euler graphs and hamiltonian graph, matrix representation of trees and graphs, planar graphs, graph coloring, dominating sets, covering sets, independent sets and matching, weighted graphs and their applications.

3. Algebraic structure: the basic concepts of algebraic system, semigroup and singularity, group, ring and field, lattice and Boolean algebra.

4. Combinatorial mathematics: combinatorial existence theorem, basic counting formula, combinatorial counting method and combinatorial counting theorem.