Kurs iz matematike I – Teorija i rešeni zadaci
Definicija 9. Ured¯enu ˇsestorku ({⊤, ⊥}, ∨, ∧, ⇒, ⇔, ¬ ) kod koje je prva komponenta dvoˇclan skup {⊤, ⊥}, ostale osim poslednje, binarne operacije skupa {⊤, ⊥}, a...
Definicija 9. Ured¯enu ˇsestorku ({⊤, ⊥}, ∨, ∧, ⇒, ⇔, ¬ ) kod koje je prva komponenta dvoˇclan skup {⊤, ⊥}, ostale osim poslednje, binarne operacije skupa {⊤, ⊥}, a...
Koriˇs´cenjem izvesnih operacija nad iskazima mogu´ca je konstrukcija i sloˇzenijih iskaza. Ovim se bavi poseban deo matematiˇcke logike koji se naziva iskazni raˇcun ili iskazna algebra. Nad iskazima mogu´ce je...
τ ( p ) τ ( ¬p ) ⊤ ⊥ ⊥ ⊤ . Definicija 1.7. Ured¯ena ˇsestorka ( {⊤, ⊥}, ¬, ∧, ∨, ⇒, ⇔ ) je iskazna algebra ako...
Za definiciju semantike Iskazne logike koristi´cemo jednu veoma jednostavnu, dvoelementnu algebru, ˇcije elemente moˇzemo oznaˇciti na primer sa 0 i 1, ili T i F, ili kao ˇsto ´cemo mi,...
Prikazani su svi rezultati za ovaj upit.