کذب - ویکی‌پدیا، دانشنامهٔ آزاد

کذب یا نادرست (به انگلیسی: False) یک ارزش صدق در منطق است.^[۱]

باطل (False) نقیض حق، و مرادف خطا، کذب، فساد و است. اگر گفته شود چیزی باطل شد، معنی آن، این است که تباه و زیانمند شد و از اعتبار افتاد.ابطال کردن به معنی تکذیب کردن است.^[۲]

منابع

↑ پارادوکس‌های منطقی
↑ جمیل صلیبا-منوچهر صانعی دره بیدی، فرهنگ فلسفی، انتشارات حکمت - تهران، چاپ: اول، ۱۳۶۶. ص ۱۸۷

این یک مقالهٔ خرد منطق است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید.

[1] پارادوکس‌های منطقی

[2] جمیل صلیبا-منوچهر صانعی دره بیدی، فرهنگ فلسفی، انتشارات حکمت - تهران، چاپ: اول، ۱۳۶۶. ص ۱۸۷

[۱]

[۲]

ن ب و رابط‌های منطقی
همان‌گویی (منطق)/True $\top$
خط شفر (دروازه نقیض و) $\uparrow$ شرطی معکوس $\leftarrow$ شرطی مادی (دروازه شرطی) $\rightarrow$ فصل منطقی (دروازه یا) $\lor$
نقیض (دروازه وارونگر) $\neg$ یای انحصاری (دروازه یای انحصاری) $\oplus$ دوشرطی منطقی (دروازه نقیض یای انحصاری) $\leftrightarrow$ Statement
نقیض یا (دروازه نقیض یا) $\downarrow$ نقیض شرطی $\nrightarrow$ Converse nonimplication $\nleftarrow$ عطف منطقی (دروازه و) $\land$
تناقض/کذب $\bot$
Logic portal

ن ب و ‌حقیقت منطقی ⊤
کارکردی:	ارزش درستی truth function ⊨ همان‌گویی (منطق)
رسمی:	نگره (منطق ریاضی) formal proof قضیه
سلبی	⊥ کذب تناقض سازگاری (منطق ریاضی)