Q523607

From Wikidata
Jump to: navigation, search

Interpretation (Q523607) [edit]

function giving a value, generally a truth value, to the formulas of a logical system [edit]

No aliases defined.
    [edit]

    Statements

    /m/03d5xd8
    1 reference
    0 references
    0 references
    [edit]
    [edit]
    [edit]
    [edit]
    [edit]