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. [add]

Statements

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