Quartz 5

Model (Propositional Logic)

1 min read

For , valuation , say is a model of if for all

Graph View

Backlinks