Jesse Russell Ronald Cohn
Нет в продаже
Продать эту книгу
High Quality Content by WIKIPEDIA articles! In mathematical logic, generalization (also universal generalization, GEN) is an inference rule of predicate calculus. It states that if has been derived, then can be derived.