命題変数Aとか
A→B（BはAとは異なる命題変数）とか

要するに、付値の与え方によって偽にもなり得るから
トートロジーじゃないけど、真になるような付値もあるような、
恒真、恒偽以外のごく普通の式だったら何でも良い