Пусть A
– произвольное высказывание; T
– любое истинное высказывание; F
– любое ложное высказывание.

Какая из формул тавтология, если здесь пропозициональная переменная только A
?

(T⊃A)~A

(T⊃A)~¬F

(T⊃A)~F

(T⊃A)~T