definition 3.1 Logical proposition

open in the book · parts/02-mathematical-methods/01-logic-sets.tex:88 · p. 18

ground object -- no derivation owed

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

depends_on definition 3.23 Predicate ¶
- depends_on definition 3.24 Quantifiers ¶
  - depends_on definition 3.43 Map ¶
    - depends_on definition 4.2 Binary operation ¶
      - depends_on definition 4.3 Algebraic structure ¶
      - depends_on definition 4.4 Internal binary operation; magma ¶
    - depends_on definition 4.43 Group homomorphism ¶
      - depends_on definition 4.44 Group isomorphism ¶
      - depends_on definition 4.73 External semidirect product ¶
      - depends_on definition 5.141 Representation of a group ¶
      - depends_on proposition 4.42 When the homomorphisms form a group ¶
      - depends_on proposition 4.47 Image of the inverse element ¶
      - depends_on proposition 4.46 Image of the neutral element ¶
      - depends_on proposition 4.17 Trivial kernel of a homomorphism ¶
    - depends_on definition 4.16 Image ¶
    - depends_on definition 7.9 Real function ¶
      - depends_on definition 7.15 Absolute-value function ¶
      - depends_on definition 7.13 Composite function ¶
      - depends_on definition 7.10 Constant function ¶
      - depends_on definition 7.26 Derivative of a function at a point ¶
      - depends_on definition 7.16 Limit ¶
      - depends_on definition 7.12 Product of functions ¶
      - depends_on definition 7.11 Sum of functions ¶
    - depends_on definition 6.24 Metric ¶
      - depends_on definition 7.140 Hausdorff measure ¶
      - depends_on definition 16.12 The two norms; weak and strong neighbourhoods ¶
      - depends_on definition 5.22 Metric associated with a norm ¶
      - depends_on definition 10.24 Well-posed problem ¶
      - depends_on definition 6.27 Convergence; Cauchy sequence; completeness ¶
      - depends_on definition 6.26 Open ball; metric topology ¶
      - depends_on definition 6.29 Sequential compactness ¶
      - depends_on lemma A.505 A continuous partition of unity ¶

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`depends_on`	←	Predicate	declared	parts/02-mathematical-methods/01-logic-sets.tex:622