Math Debrief
Math: TIMELINE
100-fundamentals
200 Set and Set theory
Relations
Order theory
Function Theory
debrief-name: math section-code: 280 section-name: domain-theory section-desc:
- Domain theory: LINKS
- Domain theory
Logic
510 Lambda Calculi
Type theory
Abstract Algebra
Category Theory
Number Theory
Theory of computation
debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,
debrief-name: math section-code: 800 section-name: misc section-desc: Misc and unclassified mathemat
- 810-statistics
- 888-calculus
  - Calculus
  - Math › Calculus › TERMS

Powered by GitBook

On this page

Was this helpful?

debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,

Math : Canon

enum-axioms

Axioms

Axioms in logic

PreviousZFC Axioms NextAxioms in set theory

Last updated 4 years ago

Was this helpful?

[Quantifiers]()) [Predicate]()) [Tautology]())

[Material implication]()) [Transposition]())

[Absorption]())

https://en.wikipedia.org/wiki/Quantifier_(logic

https://en.wikipedia.org/wiki/Predicate_(mathematical_logic

https://en.wikipedia.org/wiki/Tautology_(logic

Monotonicity of entailment

Idempotency of entailment

Problem of multiple generality

Well-formed formula

Commutativity of conjunction

Excluded middle

Noncontradiction

De Morgan's laws

https://en.wikipedia.org/wiki/Material_implication_(rule_of_inference

modus ponendo tollens

https://en.wikipedia.org/wiki/Transposition_(logic

Biconditional introduction

Biconditional elimination

Constructive dilemma

Destructive dilemma

Disjunctive syllogism

Hypothetical syllogism

https://en.wikipedia.org/wiki/Absorption_(logic

Negation introduction

Double negation introduction

Universal generalization

Existential generalization

Universal instantiation

Existential instantiation

Conjunction introduction

Disjunction introduction

Conjunction elimination

Disjunction elimination