برای اثبات نادرستی گزاره ها می توان مثال نقض ارائه داد. مثال: مثلث قائم الزاویه گزاره زیر را نقض می کند: « محل برخورد عمود منصف های اضلاع مثلث همواره درون آن قرار دارد.»