refutable formula

Опровержимая (логическая) формула