Metadata
Author: Literature
Data
English[en]
In propositional logic, of course, we have to write out all the ground instances of each state constraint.
Hungarian[hu]
Az ítéletlogikában természetesen meg kell adnunk minden egyes állapotkorlátozás összes alappéldányát.