Лещинский В. А. О формульной записи сложных высказываний / В. А. Лещинский, И. А. Лещинская // Зб. наук. пр. Харків. ун-ту Повітр. сил. - 2016. - Вип. 2. - С. 105-107. - Библиогр.: 3 назв. - рус.Рассмотрен логический подход к формульному описанию произвольных сложных высказываний, выражающему его функцию истинности. Показано, что содержание сложного высказывания зависит только от содержания простых высказываний, входящих в его состав, а также от вида его функции истинности. Показано, каким образом можно описывать сложные высказывания, переходя от текстовой интерпретации высказываний к формулам. На примере задачи Кейслера рассмотрена, как, оперируя формулами высказываний, можно формальными методами решать некоторые логические задачи. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж70455 Пошук видання у каталогах НБУВ Повний текст Наукова періодика України
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|