The semantics of a formal language $L$ inside a domain of discourse consists of its interpretation function $I(U,L),$ together with the corresponding valuation $[[]]_I$.
| 
| 
| 
| 
| created: 2018-02-06 22:36:56 | modified: 2020-05-04 19:41:26 | by: bookofproofs
