تالار گفتمان مانشت
محاسبه نقیض یک عبارت - نسخه‌ی قابل چاپ

محاسبه نقیض یک عبارت - shbeheshti - 21 فروردین ۱۳۹۵ ۰۵:۵۲ ب.ظ

ما وقتی میخوایم نقیض یه عبارت رو که سور وجودی داخل سور عمومی داره رو حساب کنیم اول اسکلم می کنیم یا اول نقیض رو تاثیر میدیم؟

RE: محاسبه نقیض یک عبارت - shirin0101 - 24 فروردین ۱۳۹۵ ۰۱:۴۳ ب.ظ

(۲۱ فروردین ۱۳۹۵ ۰۵:۵۲ ب.ظ)shbeheshti نوشته شده توسط:  ما وقتی میخوایم نقیض یه عبارت رو که سور وجودی داخل سور عمومی داره رو حساب کنیم اول اسکلم می کنیم یا اول نقیض رو تاثیر میدیم؟

اول نقیض اعمال میکنیم..بعد اسکولم و اینا