پیشنهاد‌های شیرین زمانی مقدم (٢٣٤)

در نسبت تباین، دو کلی هیچ گونه اشتراکی در مصادیق ندارند و بر هیچ مصداق مشترکی صدق نمی کنند. دامنه شمول آن ها کاملاً از هم جدا است. مثال: انسان و سنگ ...

انواع رابطه و نسبی که دو کلی با همدیگه ممکنه داشته باشن. چهار شکل داره و برای این بهش می گیم اربعه. ۱. تباین ۲. تساوی ۳. عموم و خصوص مطلق ۴. عموم و ...

نوعی قضیه محصوره که سور آن جزئی هست و سالبه است. مثال: بعضی از انسان ها شنا بلد نیستند. سور: بعضی سالبه: نیستند.

نوعی قضیه محصوره که سور آن کلی هست و سالبه است. مثال: هیچ انسانی دم ندارد. سور: هیچ ندارد.

نوعی قضیه محصوره که سور آن کلی هست و سالبه است. مثال: هیچ انسانی دم ندارد. سور: هیچ ندارد.

نوعی قضیه محصوره که سور آن جزئی هست و موجبه است. مثال: بعضی از زن ها نازا هستند. سور: بعضی هستند: موجبه

نوعی قضیه محصوره که حکم موجبه هست و سور اون کلی هست. مثال: همه انسان ها عقل دارند. سور: همه ( کلی ) دارند ( مثبت ) : موجبه

قضیه ای که کمیت افراد موضوع تصریح شده. مثال: بعضی از فلزها طلا هستند ( نه همه فلزها ) .

قضیه ای که کمیت افراد موضوع تصریح شده. مثال: بعضی از فلزها طلا هستند ( نه همه فلزها ) .

قضیه کلی که به کمیت افراد موضوع تصریح نشده. مثال: انسان در زیان است.

قضیه ای که موضوعش شخصی باشه. مثال: مریم بعد از امتحان امروز گریه کرد.

قضیه حملیه بین دو مفرد ارتباط برقرار می شه، یا درست است و یا نادرست. مثال: زمین کروی است، بعضی از انسان ها مسلمان نیستند.

نقیض و مثال: من نه غذا خوردم *و* نه آب خوردم. Nor هم می شه نقیض یا مثال: من یا غذا نخوردم یا آب نخوردم.

جدول ارزش که با استفاده از اون درستی هر کدوم از گزاره ها رو مشخص می کنیم.

قاعده اول جایگذاری ( Uniform Substitution ) در منطق گزاره ای به این صورت است: اگر P یک گزاره و x یک متغیر گزاره ای باشد، و φ یک گزاره دیگر باشد، آنگ ...

در استلزام درستی وابسته به گزاره هاست اما در استلزام منطقی درستی مستقل از گزاره هاست.

قانون غلبه ( Domination Law ) در منطق گزاره ای نیز دو قانون دارد: 1. **A ∧ True ≡ True** 2. **A ∨ False ≡ False** این قوانین بیان می کنند که اشتراک ...

قانون وارون ( Inverse Law ) در منطق گزاره ای دو قانون دارد: 1. **A ∧ �A ≡ False** 2. **A ∨ �A ≡ True** این قوانین بیان می کنند که اشتراک یک گزاره با ...

قانون همانی ( Identity Law ) در منطق گزاره ای دو قانون دارد: 1. **A ∧ True ≡ A** 2. **A ∨ False ≡ A** این قوانین بیان می کنند که اشتراک یک گزاره با ...

قانون خودتوانی ( Idempotent Law ) در منطق گزاره ای به این صورت است: 1. **A ∧ A ≡ A** 2. **A ∨ A ≡ A** به عبارت دیگر، اشتراک یا اجتماع یک گزاره با خو ...

قانون شرکت پذیری ( Associative Law ) در منطق گزاره ای نیز دو قانون دارد: 1. ** ( A ∧ B ) ∧ C ≡ A ∧ ( B ∧ C ) ** 2. ** ( A ∨ B ) ∨ C ≡ A ∨ ( B ∨ C ) * ...

قانون شرکت پذیری ( Associative Law ) در منطق گزاره ای نیز دو قانون دارد: 1. ** ( A ∧ B ) ∧ C ≡ A ∧ ( B ∧ C ) ** 2. ** ( A ∨ B ) ∨ C ≡ A ∨ ( B ∨ C ) * ...

قانون تعویض پذیری ( Commutative Law ) در منطق گزاره ای دو قانون است: 1. **A ∧ B ≡ B ∧ A** 2. **A ∨ B ≡ B ∨ A** این قوانین بیان می کنند که ترتیب عملگ ...

قانون تعویض پذیری ( Commutative Law ) در منطق گزاره ای دو قانون است: 1. **A ∧ B ≡ B ∧ A** 2. **A ∨ B ≡ B ∨ A** این قوانین بیان می کنند که ترتیب عملگ ...

قانون پخش پذیری ( Distributive Law ) در منطق گزاره ای دو قانون است: 1. **A ∧ ( B ∨ C ) ≡ ( A ∧ B ) ∨ ( A ∧ C ) ** 2. **A ∨ ( B ∧ C ) ≡ ( A ∨ B ) ∧ ( ...

قانون پخش پذیری ( Distributive Law ) در منطق گزاره ای دو قانون است: 1. **A ∧ ( B ∨ C ) ≡ ( A ∧ B ) ∨ ( A ∧ C ) ** 2. **A ∨ ( B ∧ C ) ≡ ( A ∨ B ) ∧ ( ...

قانون نقیض مضاعف ( Double Negation ) می گوید: ��A ≡ A به این معنی که نقیض نقیض یک گزاره، خود آن گزاره است. به عبارت ساده تر، اگر یک گزاره را دو بار ...

قانون نقیض مضاعف ( Double Negation ) می گوید: ��A ≡ A به این معنی که نقیض نقیض یک گزاره، خود آن گزاره است. به عبارت ساده تر، اگر یک گزاره را دو بار ...

قانون نقیض مضاعف ( Double Negation ) می گوید: ��A ≡ A به این معنی که نقیض نقیض یک گزاره، خود آن گزاره است. به عبارت ساده تر، اگر یک گزاره را دو بار ...

قانون جذب در منطق گزاره ای دو قانون هستند: 1. A ∧ ( A ∨ B ) ≡ A* 2. A ∨ ( A ∧ B ) ≡ A به عبارت دیگر، هر گزاره ای با اجتماع یا اشتراک خود، همان گزار ...

قانون دمورگان دو قانون هستند که در منطق گزاره ای کاربرد دارند: 1. نقیض اجتماع دو گزاره، نقیض هر یک از گزاره ها است: � ( A ∨ B ) ≡ �A ∧ �B 2. نقیض اش ...

قانون دمورگان دو قانون هستند که در منطق گزاره ای کاربرد دارند: 1. نقیض اجتماع دو گزاره، نقیض هر یک از گزاره ها است: � ( A ∨ B ) ≡ �A ∧ �B 2. نقیض اش ...

یای مانع جمع ( Exclusive OR ) یعنی یا این یا آن! ولی نه هردو. مثال: یا مریم زن است یا مرد ولی نه هردو ( همزمان زن و مرد نیست ) .

یای مانع جمع ( Exclusive OR ) یعنی یا این یا آن! ولی نه هردو. مثال: یا مریم زن است یا مرد ولی نه هردو ( همزمان زن و مرد نیست ) .

یای مانع جمع ( Exclusive OR ) یعنی یا این یا آن! ولی نه هردو. مثال: یا مریم زن است یا مرد ولی نه هردو ( همزمان زن و مرد نیست ) .

در منطق ترکیب فصلی به ترکیب دو گزاره با یا گفته می شه. مثال: خورشید نور دارد یا خورشید نور ندارد.

در منطق ترکیب عطفی به ترکیب دو گزاره با و گفته می شه. مثال: خورشید نور دارد و انسان ها فانی هستند.

دامنه گزاره نما مجموعه ای از عبارات هست که می تونیم با استفاده از اون گزاره نما رو تبدیل به گزاره کنیم. مثال: X زن است. این جا X بخشی از دامنه گزاره ...

به عبارتی که بخشی از آن مبهمه و اگر این ابهام برطرف بشه تبدیل به گزاره بشه می گن گزاره نما. مثال: X زن است.

استلزام ( Entailment ) در منطق رابطه ای که در اون درست بودن یک گزاره مستلزم درست بودن گزاره دیگره. یعنی اگر اولی درست باشه، دومی هم حتماً درسته.

توجیه ( Justification ) در منطق دلایل یا شواهدی که یک باور یا عمل رو معتبر یا قابل قبول می کنن. توجیه، دلیل آوردن برای درستی چیزی ست و می تونه متفاوت ...

توجیه ( Justification ) در منطق دلایل یا شواهدی که یک باور یا عمل رو معتبر یا قابل قبول می کنن. توجیه، دلیل آوردن برای درستی چیزی ست و می تونه متفاوت ...

استنتاج ( Inference ) یک نوع خاص از استدلاله که در اون از اطلاعات موجود برای نتیجه گیری درباره چیزی که به طور مستقیم بیان نشده، استفاده می شه. به عبا ...

استنتاج ( Inference ) یک نوع خاص از استدلاله که در اون از اطلاعات موجود برای نتیجه گیری درباره چیزی که به طور مستقیم بیان نشده، استفاده می شه. به عبا ...

برهان خلف ( Proof by Contradiction ) یک روش اثباته که به جای اثبات مستقیم گزاره، فرض می کنیم که گزاره نادرسته و سپس با استفاده از استدلال منطقی به یک ...

برهان خلف ( Proof by Contradiction ) یک روش اثباته که به جای اثبات مستقیم گزاره، فرض می کنیم که گزاره نادرسته و سپس با استفاده از استدلال منطقی به یک ...

Thirdspace ( فضای سوم ) ادوارد سوجا با الهام از لوفور سه نوع فضا تعریف کرد: فضای عینی ( physical space ) فضای ذهنی/تصوری ( imagined space ) Thirdsp ...

Thirdspace ( فضای سوم ) ادوارد سوجا با الهام از لوفور سه نوع فضا تعریف کرد:فضای عینی ( physical space ) فضای ذهنی/تصوری ( imagined space ) Thirdspa ...

فضامندی ( Spatiality ) به ساختار و سازمان دهی تجربه ما از فضا اشاره داره. این مفهوم بررسی می کنه که چگونه ما مکان ها رو درک می کنیم، جهت یابی می کنیم ...

فضامندی ( Spatiality ) به ساختار و سازمان دهی تجربه ما از فضا اشاره داره. این مفهوم بررسی می کنه که چگونه ما مکان ها رو درک می کنیم، جهت یابی می کنیم ...