ایا مجموعه { ~ } نقیض *
یک مجموعه کامل مینیمال است؟ اگر هست چطور میتواند ترکیب شرطی را بسازد؟p→q
( استاد سید جوادی گفتند مینیمال هست)
نقیض خالی که نمیشه.
نقیض با and کامله.
نقیض با or کامله.
باز اساتید نظر بدن اما من فکر میکنم که نمیشه.
چون برای اثبات کامل بودن باید این سه تا رو ساخت:
NOT , AND , OR
تقریبا بدیهی هستش که با فقط نقیض نمیشه عملگرهای دیگه رو ساخت.مجموعه های معروف که هم کامل و هم مینیمال باشن همونایی هستن که تو پست دوم اشاره شده