Changes

Jump to: navigation, search

new voi

1 byte added, 3 years ago
m
no edit summary
====Proposed Definition====
Prenex predicate abstraction. x1 is such that the contained bridi hold holds true of it. Contains a {ke'a} whose antecedent is the x1 of the '''voi'''-abstraction. Allows for many kinds of argument-fronting and mid-sentence prenexes.
====See Also:====
Forum:Admin, Forum:CantDelete, Forum:CantEdit, Forum:CantPost, Forum:CantSearch, Forum:CantView, Forum:Mod, Forum:NoSigs, Bureaucrats, forumadmin, staff, Administrators, translate-proofr, uploader, Widget editors
183
edits

Navigation menu