بنابراین دلیل قرارداد "نادرست به معنای درست است" این است که عباراتی مانند x<10→x<100 را برای همه مقادیر x درست می کند، همانطور که انتظار می رود شما می خواهید "زندگی واقعی"، نه؟ اگر پلیس شما را در حال سرعت زیاد ببیند، باید جریمه بپردازید. این درست است.
چرا p به معنای q درست است وقتی p نادرست است؟
استلزام p → q (بخوانید: p دلالت بر q دارد، یا اگر p پس q باشد) عبارتی است که ادعا می کند اگر p درست باشد، q نیز صادق است. ما موافقیم که p → q درست است وقتی p نادرست باشد گزاره p فرضیه استلزام نامیده می شود و گزاره q نتیجه استلزام نامیده می شود.
آیا دو نادرست یک درست را می سازد؟
خیر. منطق صوری (استدلال معتبر) تنها تضمین می‌کند که از گزاره‌های درست، نتیجه‌گیری نادرست (گزاره) را نمی‌تواناستنتاج کرد. استدلال معتبر حقیقت مقدمات را حفظ می کند.
آیا 1 درست از نادرست است؟
اما زبان درست و نادرست را به روشی غیرعادی استخراج می کند. اساساً هیچ مقدار بولی وجود ندارد. عدد 0 نادرست و بقیه اعداد صحیح در نظر گرفته می شوند. … 1 درست در نظر گرفته می شود زیرا غیرصفر است.
آیا درست و نادرست درست است؟
درست نوشته شده است: درست است; نادرست نوشته شده است: نادرست; Not به طرق مختلف نوشته شده است. در Matlab آن tilde (~) است.
