Stockhub

universal closure English (Q9209930)

Item Discussion
formula without free variables obtained by adding a universal quantifier for every free variable English
edit
Language Label Description Also known as
British English
No label defined
No description defined

    Statements

    ProofWiki ID English
    Definition:Universal_Closure_of_Well-Formed_Formula
    0 references
    subclass of
    sentence English
    0 references
    instance of
    closure
    0 references
    uses
    Q126695 (Deleted Item)
    0 references
    Google Knowledge Graph identifier
    /g/1216xczs
    0 references
     
    Retrieved from ‘https://stockhub.co/index.php?title=Item:Q9209930&oldid=6984282’