...amikor hitelveik megcáfolására 'formállogikával... 

Kimaradt a középső két szó, elnézést.