quantification (Q592911)

From Wikidata
Jump to: navigation, search
type of logical operator stating the existence of an object with a property (there exists) or that all objects verifies a property (forall)
    No aliases defined
[edit]
Language Label Description Also known as
English
quantification
type of logical operator stating the existence of an object with a property (there exists) or that all objects verifies a property (forall)

    Statements

    [edit]
    [edit]
    [edit]
    [edit]
    [edit]
    [edit]