Diff for "Model" - Dr. A's Wiki

Differences between revisions 5 and 7 (spanning 2 versions)

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:

\noindent A {\bf model} for a set $X$ of formulas is an interpretation $M$ for $X$ such that every formula of $X$ is true in $M$.\bigskip

\noindent A {\em domain} $D$ is any nonempty set. An {\em interpretation} for a set of formulas $X$, is a domain $D$ togther with a rule that 
\begin{enumerate}
\item assigns to each $n$-place predicate symbol (that occurs in a formula) of $X$ an $n$-place predicate in $D$;
\item assigns to each $n$-place operation symbol of $X$ an $n$-place operation in $D$;
\item assigns to each constant symbol of $X$ an element of $D$; and
\item assigns to $=$ the identity predicate $=$ in $D$, defined by: $a=b$ iff $a$ and $b$ are the same.
\end{enumerate}

Back to ComputerTerms

-  ⇤ ← Revision 5 as of 2007-02-16 01:14:42 → 
  Size: 908
  Editor: yakko
  Comment:
+   ← Revision 7 as of 2007-02-16 01:15:52 → ⇥
  Size: 936
  Editor: yakko
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 10:
-A {\em domain} $D$ is any nonempty set. An {\em interpretation} for a set of formulas $X$, is a domain $D$ togther with a rule that
+\noindent A {\bf model} for a set $X$ of formulas is an interpretation $M$ for $X$ such that every formula of $X$ is true in $M$.\bigskip

\noindent A {\em domain} $D$ is any nonempty set. An {\em interpretation} for a set of formulas $X$, is a domain $D$ togther with a rule that
-Line 17:
+Line 19:
-A {\bf model} for a set $X$ of formulas is an interpretation $M$ for $X$ such that every formula of $X$ is true in $M$.