MindMap Gallery mathematical logic
The content related to mathematical logic in discrete mathematics can be divided into two parts: propositional logic and predicate logic. Hope this mind map helps you!
This is a mind map about bacteria, and its main contents include: overview, morphology, types, structure, reproduction, distribution, application, and expansion. The summary is comprehensive and meticulous, suitable as review materials.
This is a mind map about plant asexual reproduction, and its main contents include: concept, spore reproduction, vegetative reproduction, tissue culture, and buds. The summary is comprehensive and meticulous, suitable as review materials.
This is a mind map about the reproductive development of animals, and its main contents include: insects, frogs, birds, sexual reproduction, and asexual reproduction. The summary is comprehensive and meticulous, suitable as review materials.
mathematical logic
propositional logic
Propositions and their expressions
proposition
Notation
connective word
Proposition formula and translation
Propositional formula
translate
Truth tables and equivalent formulas
Other other connectives
Duality and Paradigm
Duality
paradigm
reasoning theory
application
predicate logic
The concept and expression of predicate
predicate concept
predicate representation
Propositional functions and quantifiers
propositional function
propositional quantifier
Predicate formula and translation
predicate formula
predicate translation
Variable constraints
Equivalences and Implications of Predicate Calculus
predicate calculus equivalence
predicate calculus implication
toe-beam paradigm
Inference theory of predicate calculus