https://theformalists.org/ weekly 0.8 https://theformalists.org/about monthly 0.4 https://theformalists.org/privacy yearly 0.2 https://theformalists.org/contact yearly 0.2 https://theformalists.org/courses/foundations-of-mathematical-logic 2026-05-04T05:37:43Z weekly 0.9 https://theformalists.org/courses/foundations-of-mathematical-logic/units/propositions-predicates-and-quantifiers 2026-05-04T07:03:29Z weekly 0.8 https://theformalists.org/courses/foundations-of-mathematical-logic/units/propositions-predicates-and-quantifiers/lessons/truth-values 2026-03-31T10:23:02Z monthly 0.7 https://theformalists.org/courses/foundations-of-mathematical-logic/units/propositions-predicates-and-quantifiers/lessons/the-universal-quantifier-and-the-existential-quantifier 2026-04-06T08:12:25Z monthly 0.7 https://theformalists.org/courses/foundations-of-mathematical-logic/units/propositions-predicates-and-quantifiers/lessons/predicates 2026-04-03T05:39:09Z monthly 0.7 https://theformalists.org/courses/foundations-of-mathematical-logic/units/propositions-predicates-and-quantifiers/lessons/what-is-a-proposition 2026-03-20T13:24:11Z monthly 0.7 https://theformalists.org/courses/foundations-of-mathematical-logic/units/logical-operations 2026-05-04T07:03:29Z weekly 0.8 https://theformalists.org/courses/foundations-of-mathematical-logic/units/logical-operations/lessons/logical-connectives 2026-04-14T08:11:01Z monthly 0.7 https://theformalists.org/courses/foundations-of-mathematical-logic/units/logical-operations/lessons/implication-and-equivalence 2026-04-14T08:36:42Z monthly 0.7 https://theformalists.org/courses/foundations-of-mathematical-logic/units/logical-operations/lessons/formulas-truth-tables-and-logical-equivalence 2026-04-16T09:46:04Z monthly 0.7 https://theformalists.org/courses/foundations-of-mathematical-logic/units/logical-operations/lessons/operations-on-predicates-and-the-parallel-with-sets 2026-04-22T08:38:12Z monthly 0.7 https://theformalists.org/courses/foundations-of-mathematical-logic/units/methods-of-logical-reasoning 2026-05-04T07:03:29Z weekly 0.8 https://theformalists.org/courses/foundations-of-mathematical-logic/units/methods-of-logical-reasoning/lessons/reductio-ad-absurdum 2026-04-25T13:19:54Z monthly 0.7 https://theformalists.org/courses/foundations-of-mathematical-logic/units/methods-of-logical-reasoning/lessons/mathematical-induction 2026-04-27T07:55:27Z monthly 0.7 https://theformalists.org/courses/foundations-of-mathematical-logic/units/methods-of-logical-reasoning/lessons/cardinality-of-finite-sets 2026-04-29T08:14:38Z monthly 0.7 https://theformalists.org/courses/foundations-of-mathematical-logic/units/methods-of-logical-reasoning/lessons/counting-principles 2026-05-02T07:26:41Z monthly 0.7