- #1
gnome
- 1,041
- 1
Please help me understand this:
F [tex]\models \omega \:\text{(where}\: \omega\: \text{is any wff!)}[/tex]
(That comes from Nilsson's "Artificial Intelligence, A New Synthesis", pg 225)
How does that make any sense? There is no interpretation for which F is true.
F [tex]\models \omega \:\text{(where}\: \omega\: \text{is any wff!)}[/tex]
(That comes from Nilsson's "Artificial Intelligence, A New Synthesis", pg 225)
How does that make any sense? There is no interpretation for which F is true.