A ˆ A ≡ A, A ˅ A ≡ A (idempotentnost) 5. A ˅ (A ˆ B) ≡ A, A ˆ (A ˅ B) ≡ A (apsorpcija) Dvije različite formule...
To se može desiti u slučaju da je Na osnovu toga dobijamo da je 24 Ovaj izraz može biti netačan samo u jednom slučaju, a to je kada je τ...
A = m 1 ∨ m 3 ∨ m 5 ∨ m 6 ∨ m 7 = = ( ¬p ∧¬q ∧ r ) ∨ ( ¬p ∧ q ∧...
PRIMJER: Formula ((P⇒Q) ∧ P)⇒Q je jedna tautologija. Ovo se neposredno provjerava ispisivanjem sve četiri različite interpretacije iskaznih slova P i Q, računanjem istinitosnih vrijednosti podformula formule i, konačno, računanjem...
- metoda tablice - metoda diskusije po slovu - metoda svođenja na apsurd (reductio ad absurdum) Metoda tablice: Ona se sastoji u kreiranju tablice istinitosti za formulu za koju želimo...
poslova. Problem se svodi da se sadržaj običnog jezika svede na tačan i nedvosimislen logički zapis koji može da bude predmet daljeg proučavanja. Primjer: Automatski, odgovor ne može biti poslan...
KOMUNIKOLOGIJA Komunikologija 1
1 Morphology is the study of language which deals with words, word formation and word classification. The term morphology comes from Greek word ‘moarphe’ meaning form and ‘logia’ meaning learning...
T F ako i samo ako je F istinita u svim modelima od T. Posebno vrijedi: ⊢ RP F ako i samo ako je F valjana formula. Korolar 2.81. Neka...
Kao i u iskaznoj logici, centralni problemi u predikatskoj logici su ispitivanje da li je data formula valjana i da li je data formula zadovoljiva. Za razliku od iskazne logike,...
Greška pri učitavanju. Pokušajte ponovo.