Pitanje: Sto je "preneksna normalna forma"?

[Crazylamb1]

Znaci, zanima me sto je to i ako moguce kako se to radi jer imam ispit iz predmeta Matematicka logika i teorija skupova (ne tu na PMF-u, nisam u ZG). Znam da mi to treba za ispit a nigdje da nadjem kako to da radim.

Npr. ima zadatak pise "odrediti preneksnu normalnu formu dane formule" i onda ima formula, npr.
POSTOJI z f(z) i POSTOJI y f(y) : ZA SVAKI g(x) => POSTOJI w (f(w) i g(w)).

Kako se to radi?

Hvala unaprijed!

[vsego]

"Povadi" sve kvantifikatore (za svaki i postoji) ispred formule. Vise o tome (solidno sazeto):
http://en.wikipedia.org/wiki/Prenex_normal_form
http://mathworld.wolfram.com/PrenexNormalForm.html

_________________
U pravilu ignoriram pitanja u krivim topicima i kodove koji nisu u [code]...[/code] blokovima.
Takodjer, OBJASNITE sto vas muci! "Sto mi je krivo?", bez opisa u cemu je problem, rijetko ce zadobiti moju paznju.

[mdoko]

http://en.wikipedia.org/wiki/Prenex

_________________
Extraordinary claims require extraordinary evidence. – Carl Sagan

[mdoko]

vsego me pretekao

_________________
Extraordinary claims require extraordinary evidence. – Carl Sagan

[Crazylamb1]

Pogledala sam upravo to..ali jedno mi nije jasno..

Kako pise na Wikipediji, nekad se mijenjaju kvantifikatori a nekad ne (u prvom primjeru za svaki je postao postoji a u drugom primjeru ostaje samo za svaki).

Konkretno me interesuje jedan zadatak, malo sam ga pogresno napisala gore. Ja cu stavljati E za postoji i A za za svaki, i ^ za "i" da olaksam notaciju.

( Ez f(z) ^ ( Ey f(y) => Ax g(x) ) ) => Ew ( f(w) ^ g(w) )

MOLIM vas ako ikako znate kako bi se to rijesilo, to bi mi puno pomoglo. Jer nije mi jasno kad ce E postati A (ili obratno) a kad ce zadrzati svoj prvobitni oblik.

HVALA NA LINKOVIMA!

[venovako]

Skripta "Matematicka logika 1" od prof. Vukovica bila bi dobar start, kad bi je mogla nekako nabaviti...
Ako imas koga u ZG da ti je posalje (ili skenira + maila nekoliko relevantnih stranica), super, ako ne, ukljuci mastu sapienti sat

[vsego]

Iskreno, malo sam to pozaboravljao, pa se ne usudim na pamet. Evo ti receptura s primjerom ovdje (PDF, 20kB).

_________________
U pravilu ignoriram pitanja u krivim topicima i kodove koji nisu u [code]...[/code] blokovima.
Takodjer, OBJASNITE sto vas muci! "Sto mi je krivo?", bez opisa u cemu je problem, rijetko ce zadobiti moju paznju.