In terms of refutation
The calculus is sound (because it can be simulated by natural deduction) and refutationally complete (because it can simulate resolution), and these facts are proven in detail here..
نسّق شفرة Java وPython وJavaScript وJSON وHTML وغيرها وحسّن مظهرها؛ واضبط المسافات البادئة والتباعد وفواصل الأسطر.
اقتطع التسجيلات أو ادمجها أو قسّمها، وأزل الصمت أو الضجيج، واضبط مستوى الصوت أو السرعة أو طبقة الصوت أو القنوات.
افتح جداول CSV أو Excel وحرّرها، ونسّق النصوص الجدولية، وحوّل CSV إلى Excel أو SQL.
اكتب Markdown وعاينه، واعرض مخططات Mermaid، وحوّل Markdown وHTML والجداول بين الصيغ.
قارن المقاطع النصية، واحسب الكلمات والكلمات المفتاحية، ورتّب الأسطر أو استبدلها، واعرض نص DOCX.
ابحث عن معاني الكلمات الصينية ومرادفاتها وأضدادها، أو عن نطق الكلمات بالأبجدية الصوتية الدولية IPA بلغات متعددة.
حوّل بين MP3 وWAV وFLAC وغيرها، وشغّل الصوت أو PCM الخام، وافحص البيانات الوصفية للصوت أو حرّرها.
افحص JSON وقارنه وتحقق من صحته؛ واختبر تعبيرات JSONPath، أو حوّل البيانات إلى CSV وYAML وXML.
فرّغ الصوت إلى نص، أو ولّد كلامًا من نص، أو سجّل صوتك في المتصفح.
حوّل الفيديو واضغطه، واقتطع المقاطع أو ادمجها، وغيّر أبعاد الإطارات، واستخرج الصوت.
شغّل فيديو محليًا أو متدفقًا، وسجّل شاشتك أو كاميرتك، واستخدم كاميرتك مرآةً عبر الإنترنت.
اضغط ملفات PDF أو ادمجها، وقسّم الصفحات وأعد ترتيبها، وحوّل الصفحات إلى صور، واعرض المستندات أو قارنها.
حوّل صيغ الصور، وغيّر أحجامها أو اقتصها، واضغط الملفات، وقارن الصور، واستخرج النص باستخدام OCR.
التقط لقطات شاشة وحسّن مظهرها، وحوّل النص إلى صور أو ملفات GIF، وارسم على سبورة بيضاء، وأنشئ سحب كلمات أو أيقونات مواقع.
حرّر الترجمة النصية بصيغة SRT أو VTT مع معاينة الفيديو، وعدّل التوقيت، وحوّل الصيغ، وأدر مسارات الترجمة النصية.
افتح ملفات ZIP أو 7Z أو RAR أو TAR، واستخرج محتويات محددة، وأنشئ أرشيفات جديدة مع كلمات مرور اختيارية لـ ZIP/7Z.
رمّز البيانات باستخدام Base64 أو Base32 وفك ترميزها، وطبّق الإفلات على عناوين URL وHTML ونصوص Unicode، وافحص محتويات JWT.
حوّل قواعد الأعداد والقيم بين النظام الثنائي والعشري والسداسي عشري؛ وحوّل الأعداد إلى كلمات أو النص إلى تمثيل ثنائي.
احسب النسب المئوية والكسور، ولخّص الإحصاءات، واحسب الدرجات أو الخصومات أو نسب الأبعاد.
اعرض ساعة عبر الإنترنت، وشغّل عدًا تنازليًا أو ساعة إيقاف، واحسب التواريخ أو الأعمار أو فروق المناطق الزمنية.
تحقق من عنوان IP واتصالك عبر IPv6، وافحص طلبات HTTP أو ملفات HAR، واحسب نطاقات عناوين CIDR.
حوّل وحدات الطول والوزن ودرجة الحرارة وتخزين البيانات وغيرها.
حوّل قيم HEX وRGB وHSL، واستخرج الألوان من صورة، وتحقق من التباين، أو اختبر شاشتك بألوان موحّدة.
ولّد رموز QR أو الرموز الشريطية وامسحها، بما في ذلك رموز QR للروابط وشبكات Wi-Fi.
ولّد قيم التجزئة ومعرّفات UUID وكلمات المرور، واختبر التعبيرات النمطية، وأنشئ مقاطع أسماء لعناوين URL، وتحقق من أذونات الملفات.
تحقق من دقة الشاشة ومعدل تحديثها، وقِس باستخدام مسطرة الشاشة، واختبر المفاتيح، أو اقرأ من ملقّن نصوص.
2048، كاسحة الألغام، سودوكو، غوموكو، معركة الدبابات