هدف ما بررسی مجموعه ی فاصله های (بین نقاط) یک فضای لهستانی است. به همین منظور، در فصل اول آشنایی کوتاهی با فضاهای لهستانی و انواع خاص فضاهای متریک، مجموعه های افکنشی، آناکاویک و مکمل آناکاویک خواهیم داشت. قبلاً بررسی هایی راجع به مجموعه فاصله فضاهای متریک انجام شده است. در فصل دوم، قضایای پایه ای فضاهای لهستانی و مجموعه های آناکاویک را بررسی می کنیم. فصل سوم نیز، با اصلی ترین قضیه ی این پایان...

رگه هایی از منطق گزاره ‏ها را در آثار ارسطو می توان دید. با این حال، او شیفته آموزه قیاس حملی است و قیاس های شرطی را اگرچه تحویل ناپذیر، ولی نیازمند به آن‏ها می شمارد. پس از ارسطو، شاگردانش کوشیدند نظریه قیاس های شرطی را گسترش دهند با این حال کار چندانی از پیش نبردند. این رواقیان بودند که با نگاه ویژه به منطق گزاره های شرطی، نخستین دستگاه منطق گزاره ‏ها را پایه گذاری کردند. جایگاه بنیادین منطق ...