Generalization (logic)

Generalization (logic)

Jesse Russell Ronald Cohn

     

бумажная книга



ISBN: 978-5-5106-9296-9

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.