01 - Iskazi i logički veznici

Logički veznici
Od iskaza gradimo nove iskaze povezujući ih rečima ”i”, ”ili”, ”nije”, ”ako. . . onda”, ”ako i samo ako”, koje nazivamo
logički veznici.
Od iskaza gradimo nove iskaze povezujući ih rečima ”i“, ”ili“, ”nije“, ”ako. . . onda“, ”ako i samo ako“, koje nazivamo č Tačnost novog iskaza određujemo na osnovu
tačnosti iskaza od kojih je sagrađen i značenja logičkih veznika u prirodnom jeziku.

Iskaz ” “ naziva se iskaza i u oznaci Disjunkcija ovih iskaza je netačna ako i samo ako su oba iskaza netačna. U ostalim slučajevima je
tačna.

Iskaz ” “ naziva se iskaza i u oznaci Konjunkcija ovih iskaza je tačna ako i samo ako su oba iskaza tačna. U ostalim slučajevima je
netačna.

Iskaz ” “ naziva se iskaza i u oznaci Implikacija ovih iskaza je netačna ako i samo ako je iskaz tačan, a iskaz nije. U ostalim
slučajevima je tačna.

Umesto rečenice ” “ mogu se koristiti i rečenice ” sledi “, ” implicira “, ” je dovoljan uslov za “, ” je potreban uslov za “.

Iskaz ” “ naziva se iskaza i u oznaci Ekvivalencija ovih iskaza je tačna ako i samo ako su oba iskaza i tačna ili ako su
oba netačna. U ostalim slučajevima je netačna.

Umesto rečenice ” “ mogu se koristiti i rečenice “ je onda i samo onda kada je ”, “ je potreban i dovoljan uslov za ”.

Iskaz ” “ naziva se iskaza i označava se sa

Negacija tačnog iskaza je netačan iskaz, a negacija netačnog iskaza je tačan iskaz. Umesto rečenica ” “, može se koristiti i rečenica ” “.

 
© UNIVERZITET METROPOLITAN, Beograd / Kopiranje i umnožavanje nije dozvoljeno / Sva prava su zadržana.