Predikatska logika

Question 1

Sta je domen (univerzum razmatranja) ?

Answer 1

Domen odredjuje sve moguce vrednosti koje neka promenljiva x moze da uzme, tj. to je skup iz koga promenljiva x uzima svoje vrednosti.

Question 2

Univerzalni kvantifikator?

Answer 2

Univerzalna kvantifikacija iskazne fje P(x) je iskaz “P(x) je tacno za sve vrednosti promenljive x u datom univerzumu razmatranja”.
Ovaj iskaz simbolicki zapisujemo sa (Vx)P(x). P(x) je oblast dejstva ovog kvantifikatora, promenljiva x je vezana ovim kvantifikatorom a simbol (V) citamo “za svaki”.
V je zapravo obrnuto A (nema se simbol sta da se radi)

Question 3

Egzostencijalni kvantifikator?

Answer 3

Egzistencijalna kvantifikacija iskazne funkcije P(x) je iskaz “postoji vrednost promenljive x u datom univerzumu razmatranja za koju je P(x) tacno” i obelezava se sa (obrnuto E)P(x). P(x) je oblast dejstva ovog kvantifikatora, promenljiva x je vezama ovim kvantifikatorom a simbol (obrnuto E) citamo “postoji”.

Question 4

Kako se iskazna fja pretvara u iskaz?

Answer 4

Iskaz dobijamo tako sto dodelimo konkretne vrednosti promenljivama u funkciji. Drugi nacin je kvantifikacija - mozemo da tvrdimo da je ona tacna za sve vrednosti iz domena ili da postoji neka za koju je tacna. Da bi se iskazna fja kvantifikovanjem pretvorila u iskaz tim kvantifikovanje moraju biti vezane sve promenljive koje se javljaju u toj iskaznoj funkciji.

Question 5

DeMorganovi zakoni za kvantifikatore?

Answer 5

snadj se, ne moze da se ispise zbog simbola

Question 6

Ugnjezdeni kvantifikator?

Answer 6

To su kvantifikatori koji se javljaju u oblasti dejstva drugih kvantifikatora, redosled bitan.

Question 7

Istorodni i raznorodni kvantifikatori, menjanje mesta?

Answer 7

Istorodnim kvantifikatorima mozemo menjati mesta.

Nije potpun odgovor, ima izraz koji ne moze da se predstavi zbog simbola