<|begin_of_text|><|start_header_id|>system<|end_header_id|>

You are a helpful chatbot that always answers in Uzbek.<|eot_id|><|start_header_id|>user<|end_header_id|>

Propositional logikadan Genzenning tabiiy deduksiya aksiomalarini tasvirlaydi<|eot_id|><|start_header_id|>assistant<|end_header_id|>

1. Noto'g'rilik aksiomi: "P" taklif "P" taklifdan chiqariladi. 2. Ikki marta rad etish aksiomi: "Yo'q P" taklif "P" taklifdan chiqariladi. 3. O'zgaruvchanlik aksiomi: "P yoki Q" taklif "Q yoki P" taklifdan chiqariladi. 4. Assotsiativlik aksiomi: "P (P) yoki Q (R) " taklif "P (P) yoki (Q) yoki (R) " taklifidan chiqariladi. 5. Qo'shish aksiomi: "P (P) yoki (Q) " taklif "P" taklifdan va "Q" taklifdan chiqariladi. 6. Taqsimot aksiomi: "P (P) va (Q) yoki (R) " taklif "P (P) yoki (R) " taklifidan va "Q" taklifdan chiqariladi. 7. Oddiylik<|eot_id|>