Archive Notes

Home

❯

University

❯

1. Glossary

❯

Inductive definition

Inductive definition

Properties2
tagsmodule4ccs1fc1, topicpredicatelogic, topicproof, topicpropositionallogic, module4ccs1ela, typedefinition
aliasesinductive definition

Graph View

Backlinks

  • Well-formed formulae

Created with Quartz v5.0.0 © 2026

  • GitHub
  • Discord Community