اصل امتناع تناقض

از testwiki
پرش به ناوبری پرش به جستجو

در منطق، اصل امتناع تناقض یا اصل عدم تناقض الگو:به انگلیسی بیان می‌کند که گزاره‌های متناقض نمی‌توانند هم‌زمان و به یک معنا، صادق باشند، یعنی از دو گزارهٔ «الف، ب است» و «الف، ب نیست»، فقط یکی می‌تواند صادق باشد. ارسطو معتقد بود اگر اصل عدم تناقض نباشد، ما هیچ‌چیز را نمی‌توانیم بدانیم.[۱] همچنین این اصل به‌شکل صوری می‌تواند به‌صورت همان‌گوی ¬(P¬P) نوشته شود.

منابع

الگو:پانویس الگو:منطق کلاسیک

الگو:منطق-خرد