Автор работы: Пользователь скрыл имя, 18 Декабря 2011 в 16:51, реферат
Числення висловлень, що розглядалось у попереднiх роздiлах, як алгебра висловлень i як формальна (аксiоматична) теорія, є важливою i невiд’ємною складовою частиною всiх числень математичної логiки. Однак воно є занадто бiдним для опису та аналiзу найпростiших логiчних мiркувань науки i практики.