نتایج جستجو
پرش به ناوبری
پرش به جستجو
- در [[منطق ریاضی]] و [[فرامنطق]]، یک [[سیستم صوری]] را نسبت به یک خاصیت '''تام '''یا '''کامل''' گویند، اگر {{فرامنطق}} ...۵ کیلوبایت (۸۰ واژه) - ۷ اوت ۲۰۲۴، ساعت ۰۹:۵۲
- * [[فرامنطق]] ...۲ کیلوبایت (۹۰ واژه) - ۱۰ دسامبر ۲۰۲۲، ساعت ۱۱:۵۴
- و همچنین <math>\vdash</math> یک نماد [[فرامنطق]] است که به این معنی است که <math>P</math> نتیجهٔ منطقی <math>P \land Q</ma ...۳ کیلوبایت (۲۰۱ واژه) - ۱۲ ژانویهٔ ۲۰۲۳، ساعت ۱۴:۱۱
- [[رده:فرامنطق]] ...۴ کیلوبایت (۸۴ واژه) - ۸ اوت ۲۰۲۴، ساعت ۱۵:۵۱
- * [[اگر و تنها اگر|<math>\iff</math>]] نماد [[فرامنطق|فرامنطقی]] است که معنای آن اینگونه است: «میتوان آن را در یک اثبات صوری جای ...۴ کیلوبایت (۲۰۱ واژه) - ۱۴ ژانویهٔ ۲۰۲۴، ساعت ۰۷:۳۲
- [[رده:فرامنطق]] ...۶ کیلوبایت (۲۹۰ واژه) - ۳ فوریهٔ ۲۰۲۴، ساعت ۱۰:۱۵
- {{فرامنطق}} [[رده:فرامنطق]] ...۱۸ کیلوبایت (۳۷۱ واژه) - ۱۱ اکتبر ۲۰۲۳، ساعت ۱۳:۵۰
- [[رده:فرامنطق]] ...۷ کیلوبایت (۳۹۹ واژه) - ۱۱ نوامبر ۲۰۲۴، ساعت ۰۰:۵۱
- {{فرامنطق}} ...۱۲ کیلوبایت (۳۸۰ واژه) - ۱۸ نوامبر ۲۰۲۲، ساعت ۲۳:۲۴