Metadata
Author: Literature
Data
English[en]
In propositional logic, a model simply fixes the truth value—true or false—for every proposition symbol.
Hungarian[hu]
Az ítéletkalkulusban a modell egyszerűen az igazságértéket – igaz vagy hamis – rögzíti minden ítéletszimbólumra.