Справочник![]() |
Сборник статей
Статьи тематикам:
|
Справочник![]() Полный список слов справочника
ЛОГИКА ВЫСКАЗЫВАНИЙраздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.Случайная справкаБЕНЕФИЦИЙ (от лат . beneficium - благодеяние)ВИТИ-ЛЕВУ (Viti Levu) АНУРИЯ (от греч . an- - отрицательная приставка и uron - моча) ГАЙКОВЕРТ АСЕЕВ Николай Николаевич (1889-1963) |
|