closed sentence

logic a formula that contains no free occurrence of any variable Compare open sentence