Пусть AAA – произвольное высказывание; TTT – любое истинное высказывание; FFF – любое ложное высказывание.
Какие из формул тавтология, если здесь пропозициональная переменная только AAA?
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.