Разом вони імплікують, тавтології і тільки тавтології є теоремами Логічне числення має властивість правильності, якщо теореми логічного числення є тавтологіями. Див. також Правильність (вимірювання) Література Логічні числення // Правильність та істинність // ФЕС, с.507 Теорія моделей Теорія доведення Поняття в логіці Дедуктивна логіка Аргументи