نشان دادن کذب گزاره‌ای به‌شکل منطقی برای نخستین بار (اثبات کذب کردن)