Prenex normal form

Prenex normal form

Jesse Russell Ronald Cohn

     

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



ISBN: 978-5-5122-1482-4

High Quality Content by WIKIPEDIA articles! A formula of the predicate calculus is in prenexnormal form if it is written as a string of quantifiers followed by a quantifier-free part (referred to as the matrix).