Stavek

Iz MaFiRaWiki

Stavek je logična izjava, ki ne vsebuje prostih spremenljivk.

Zgledi

  • Izjava 2 + 2 = 5 je stavek.
  • Izjava \forall x . (x < 1 \lor x > 0) je stavek.
  • Izjava \exists x . (x < y \lor x > 0) ni stavek, ker vsebuje prosto spremenljivko y.
Osebna orodja