Gentzenning propositional logika uchun tabiiy deduksiya aksiomlari mantiqiy xulosa chiqarish uchun qoidalar to'plamini o'rnatadi. Ushbu qoidalar asosda aksiomlarni hisobga olgan holda, allaqachon belgilangan premislardan yangi xulosalarni chiqarish uchun qo'llaniladi. Ushbu aksiomalar qo'shish qoidasi, agar siz gapning to'g'riligini tasdiqlasangiz, unda uning to'g'riligi qo'shimcha gap qo'shish orqali saqlanadi; disyunsiya qoidasi, agar gap to'g'ri bo'lsa, unda uning kamida bir qismi to'g'ri; va modus ponens qoidasi, agar gap to'g'ri deb tasdiqlansa va ikkinchi gap birinchi gapdan kelib chiqsa, unda ikkinchi gap ham to'g'ri.
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence