کاذب

کاذب (false)

صفت گزارۀ ‌ناصادق (نادرست). از کذب گزاره‌ها برای اثبات به‌روش برهان خلف استفاده می‌کنند. در این حالت، گزاره‌ای را که قرار است صدق آن ثابت شود، کاذب و نقیض آن را صادق فرض می‌کنند و با استنتاجاتی به تناقض می‌رسند. از این تناقض نتیجه می‌شود که نقیض کاذب، و گزاره صادق است.

 

---