El principio del tercero excluido, la reducción al absurdo y las demostraciones de la inexistencia de dios