In logic, we call the things in the universal model valuations; they are Boolean-values functions defined on the set of predicates.In computer science we often call these states, because, as we will…
Course Code
INFR08025
Licence Type
All rights reserved The University of Edinburgh
Language
English