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

  Повний текст PDF - 260.356 Kb    Зміст випуску     Цитування публікації

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