Формула логики является ОПРОВЕРЖИМОЙ тогда и только тогда, когда она не является тавтологией.

Давайте разберем это понятие более подробно:

• Тавтология — это такая формула логики, которая истина при любых значениях входящих в нее переменных. Например, формула "A или не A" (где A — это некоторая логическая переменная) является тавтологией, потому что она будет истинна независимо от того, какое значение принимает A.
• Опровержимая формула — это такая формула, которая не является тавтологией, то есть существует хотя бы одно значение переменных, при котором формула будет ложной.

Таким образом, если формула не является тавтологией, значит, она может принимать значение "ложь" для некоторых наборов значений переменных, и поэтому она называется опровержимой.