نتایج جستجو

{{مغالطه‌های ساختاری}} [[رده:مغالطه‌های قیاسی]] ...

{{مغالطه‌های ساختاری}} [[رده:قضیه‌ها در حساب گزاره‌ای]] ...

...باشند، دو قضیهٔ هم‌ستیز می‌نامند. در [[منطق صوری]]، هم‌ستیزی خود یک فرمول گزاره‌ای است که همواره نادرست می‌باشد و با علامت <math>\bot</math> نشان داده می‌شود. [[رده:مغالطه‌های منطقی]] ...

...می‌شود که در مورد یک [[مجموعهٔ تهی]] بیان شده‌اند. می‌توان نشان داد که هر گزاره‌ای که دربارهٔ یک مجموعهٔ تهی بیان شده باشد، از دید منطقی درست است.<ref>{{پک | [[رده:مغالطه‌های ناساختاری]] ...

...onal calculus) سامانه‌ای است صوری (Formal) که به نمایش مواد و اصول '''منطق گزاره‌ای''' می‌پردازد. [[گزاره (منطق)|گزاره‌ها]] و ترکیب آن با ادوات منطقی شکل می‌گی ...یاسی]] سنتی که مبتنی بر روابط است متفاوت بود. با این وجود با گذر زمان منطق گزاره‌ای توسعه یافته توسط رواقیون دیگر مورد فهم نبود و در نتیجه این سیستم توسط [[پیت ...