Propositional logikadagi Gentzenning tabiiy deduksiya aksiomlari - bu tabiiy deduksiya bo'yicha mantiqiy formulalarni manipulyatsiya qilish uchun asos bo'lgan asosiy qoidalardir. Ushbu aksiomalar mantiqiy formulani rasmiy isbotlash uchun asos yaratadi. Axiomalar quyidagicha: 1. Refleksivlik aksiomi: Har qanday formula A uchun A  A ni tasdiqlash mumkin. Ya'ni, har qanday formula o'zidan o'zi isbotlanadi.
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence