Необхідно визначити формальну правильність того або іншого логічного висновку на основі певного твердження (або декількох тверджень). Реальна дійсність не грає при цьому ніякої ролі (це трохи ускладнює тест.)