Логическое следование — это отношение, связывающее посылку и заключение. 7 Отличительной чертой логического следования является то, что оно ведёт от истинных высказываний только к истинным. 9

От других видов логического вывода логическое следование отличается тем, что при логической истинности посылок невозможно, чтобы заключение оказалось ложным. 5

Некоторые другие виды логического вывода и их отличия:

• Дедукция. 26 Умозаключение от более общего знания к менее общему. 2 Если посылки дедукции истинны, то при соблюдении правильной формы рассуждения истинны и её следствия (заключения). 1
• Индукция. 26 Умозаключение от менее общего знания к более общему. 2 Посылки могут подтверждать или подразумевать истину, но не гарантируют её получения. 1
• Абдукция. 6 Вид редуктивного вывода (от заключения к посылке), при котором из посылки, которая является условным высказыванием, и заключения вытекает вторая посылка. 6