џндекс.Њетрика
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Правило вывода

пра́вило вы́вода, правило, определяющее переход от посылок к следствиям; более точно — правило, устанавливающее определенное соответствие между некоторой совокупностью высказываний (формул), называемых посылками, и одним определенным высказыванием (формулой), называемым логическим следствием из этих посылок.
 
Рейтинг@Mail.ru