Запропоновано формально-логічну систему (в якій вислови природної мови поставлені у відповідність до виразів булевої алгебри) з метою виділення різних видів загальних, часткових, кількісно невизначених висловів, а також формулювання для них правил виведення. Розглянуто види простих висловів, розкрито їх суть. Проаналізовано формально-логічні системи традиційної та математичної логіки. Викладено правила виведення знань з одного висновку, а також однозначних і неоднозначних висновків із двох засновків.

Предложена формально-логическая система (в которой высказывания природного языка поставлены в соответствие к выражениям булевой алгебры) с целью выделения различных видов общих, частичных, количественно неопределенных выражений, а также формулирования для них правил вывода. Рассмотрены виды простых высказываний, раскрыта их сущность. Проанализированы формально-логические системы традиционной и математической логики. Изложены правила вывода знаний из одного вывода, а также однозначных и неоднозначных выводов из двух предпосылок.

• Дуцяк Ігор Зенонович (філософські науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"