Back to ComputerTerms
Propositional Logic:
In terms of a logic formula, a ["Model"] is some assignment of variables that causes the formula to be true.
First Order Logic:
Model
Revision 3 as of 2007-02-16 01:12:56
Clear message
Back to ComputerTerms
Propositional Logic:
In terms of a logic formula, a ["Model"] is some assignment of variables that causes the formula to be true.
First Order Logic: