4. PARADIGME - PREDIK.RAČUN , UNIFIKACIJA I REZOLUCIJA (ponav.)

Upari osnovne operacije predikatskog računa sa izrazima koji ih oslikavaju:

• ¬(∃x,P(x))

• Negacija i egsitencijalni kvantifikator

• ∀x,(P(x)∧Q(x))

• Disjunkcija i konstanta

• ∀x,(P(x)→Q(x))

• Konjukcija i univerzalni kvantifikator

• ∃x,(P(x) ↔Q(x))

• Implikacija i univerzalni kvantifikator

• P(x) ∨ Q(x)

• Ekvivalencija i egzistencijalni kvantifikator

Upari rečenicu i njen formalni izraz:

• „Neki će gosti pevati ili plesati."

• ∀x,(P(x)∧Q(x))

• "Svaka osoba peva i pleše."

• ∃x,(P(x)↔¬Q(x))

• "Nije tačno da Milan zna da peva."

• ∃x,(P(x)∨Q(x))

• "Postoji osoba koja je vesela ako i samo

• ¬P(M)

• "Svaka ptica leti ako i samo ako ima kri

• ∀x,(P(x)↔Q(x))

Za sledeću rečenicu koji je iskaz tačan?
"Neko ne voli čokoladu."

• ∀x (¬Osoba(x) ∧ ¬VoliČokoladu(x))

• ∀x (Osoba(x) ∧ ¬VoliČokoladu(x))

• ∃x (Osoba(x) ∧ ¬VoliČokoladu(x))

• ∃x (Osoba(x) ∧ →VoliČokoladu(x))

Upari nazive zakona sa njegovim formalnim izrazom:

• Distributivni zakoni

• P→Q≡¬P∨Q

• Dvostruka negacija

• ¬(¬P)≡P

• Idempotencija

• P∧(Q∨R)≡(P∧Q)∨(P∧R) i P∨(Q∧R)≡(P∨Q)∧(P∨R)

• Impikativni zakoni

• P∧P≡P i P∨P≡P

• De Morganovi zakoni

• ¬(P∧Q)≡(¬P∨¬Q) i ¬(P∨Q)≡(¬P∧¬Q)

Upari izjavu sa zakon koji oslikava:

• Zakoni idempotencije

• "Volim čokoladu i volim čokoladu" jeste isto što i "Volim čokoladu".

• De Morganovi zakoni

• Ako kažete "Nije tačno da nije hladno", to znači da je hladno.

• Dvostruka negacija

• "Nisam ni gladan ni žedan", to je isto kao da kažete "Nisam gladan ili nisam žedan".

Kako se zove postupak kojim promenjive zamenjujemo nekim konstantama čime se oslobađamo univeralnih kvantifikatora?
(jedna reč malim slovima latinice)

(a)  

Upari pojam sa njegovim opisom:

• Logički zakon

• Osnovna, opšte prihvaćena tvrdnja koju ne treba dokazivati.

• Dokaz

• Ovo je iskaz ili matematička rečenica koju želimo da dokažemo.

• Aksioma

• Pravilo koje definiše kako se različiti logički iskazi kombinuju i manipulišu.

• Tvrdnja

• Niz logičkih koraka koji vode do tvrdnje koju želimo da dokažemo.

Kako se zove proces u kojem pokušavamo da pronađemo zajednički izraz za dva data izraza tako što vršimo zamenu promenljivih. Cilj je da obe izjave postanu identične nakon što izvršimo ove zamene.
(jedna reč malim slovima latinice)

(a)  

Kako se zove tehnika koja se koristi u logičkom zaključivanju sa ciljem da se pronađe kontradikcija unutar postavljenih tvrdnji i hipoteza. Pomoću nje, transformišemo logičke iskaze u formu koja nam omogućava da pronađemo suprotnosti i tako dokažemo određene zaključke.

• Rezolucija

• Unifikacija

• Skolemizacija

• Aksiomizacija

Upari izraz koji oslikava pojam:

• Konjuktivna normalna forma

• (p∨r)∧(q∨r)

• Rezolucija

• eliminacija suprotnih literala (¬S(Marko) i S(Marko))

• Unifikacija

• {x/a}