closed under generalizations classical is a type of…
- en gen conj elimination (n) ➜
- en gen conj introduction (n) ➜
- en gen dilemma (n) ➜
- en gen disj introduction (n) ➜
- en gen equality (n) ➜
- en gen equality replacement (n) ➜
- en gen exist introduction (n) ➜
- en gen hypothetical syllogism (n) ➜
- en gen truth constant (n) ➜
- en gen univ elimination (n) ➜
Links to other resources
- sw.opencyc.org /2012/05/10/concept/en/ClosedUnderGeneralizations_Classical
