Matematička logika-predavanja
1 Iskazna algebra 3 1.1 Iskazi. Osnovne operacije sa iskazima. . . . . . . . . . . . . . . . . . . . ....
1 Iskazna algebra 3 1.1 Iskazi. Osnovne operacije sa iskazima. . . . . . . . . . . . . . . . . . . . ....
20 Glava 1. Iskazna logika za sve x 1 , . . ., x n ∈{⊤, ⊥} vaˇzi: f ( x 1 , . . ., x n ) =...
NAPOMENA: Vezivanjem prostih iskaza, označenih iskaznim slovima p, q,..., pomoću znakova logičkih operacija dobili smo složenije iskaze. Vezujući ove složene iskaze pomoću znakova logičkih operacija dobijamo još složenije. Svi ovi...
12: •r /\ w Pokazati da је iskazna receнica 1\:p/\w logicka posle dica tЉ recenica. '.!.. f)ate su sledece iskazne recenice: А 1 : р V ( q /\ r)...
Nad iskazima mogu´ce je uvesti slede´ce operacije: (1) Negacija iskaza p, u oznaci ¬p, je istinit iskaz ako i samo ako je iskaz p neistinit. (2) Konjunkcija iskaza p i...
Vrednost I v ( A ) zovemo vrednoˇs´cu iskazne formule A u interpretaciji I v . Ako za valuaciju v vaˇzi I v ( A ) = 1, onda kaˇzemo...
2,3,6,7 ; A B\ 1, B A\ 3,6,7 . - Симетрична разлика скупова A и B је унија скупова A B\ и B A\, тј. A B...
kvantifikatore, onda je A formula B. i Ako je A oblika x ...x yB, n0, uvodi se nov n-arni funkcijski simbol f; u slučaju n=0 f je nova konstanta. Neka...
105 11.3.4 Dinamičke karakteristike Prelaz iz jednog u drugo logičko stanje ne može se kod realnog logičkog kola obaviti beskonačno brzo.
× k, B tipa k × l i C tipa l × n. Tada je AB tipa 2.1 Matrice 37 m × l, a (AB)C je tipa m × n....
Greška pri učitavanju. Pokušajte ponovo.