Дуцяк І. З. Теоретичні засади логіки / І. З. Дуцяк; Львів. нац. ун-т ім. І.Франка. - Л.: Палітра друку, 2002. - 233 c. - укp.Запропоновано формально-логічну систему (в якій вислови природної мови поставлені у відповідність до виразів булевої алгебри) з метою виділення різних видів загальних, часткових, кількісно невизначених висловів, а також формулювання для них правил виведення. Розглянуто види простих висловів, розкрито їх суть. Проаналізовано формально-логічні системи традиційної та математичної логіки. Викладено правила виведення знань з одного висновку, а також однозначних і неоднозначних висновків із двох засновків. Предложена формально-логическая система (в которой высказывания природного языка поставлены в соответствие к выражениям булевой алгебры) с целью выделения различных видов общих, частичных, количественно неопределенных выражений, а также формулирования для них правил вывода. Рассмотрены виды простых высказываний, раскрыта их сущность. Проанализированы формально-логические системы традиционной и математической логики. Изложены правила вывода знаний из одного вывода, а также однозначных и неоднозначных выводов из двух предпосылок. Індекс рубрикатора НБУВ: Ю4в016 + Ю432
Рубрики:
Шифр НБУВ: ВА632593 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|