FN: provar que uma proposição é falsa por um conjunto de raciocínio