izjavna logika (izjavni račun), del formalne logike, raziskuje zveze med izjavami. Veljavnost, protislovnost itd. sestavljenih izjav temelji na potrditvi ali zanikanju veljavnosti izjav ob upoštevanju pomena logičnih operacij (‘in’, ‘ali’, ‘če–tedaj’ itd.).
Dostopnost