1. Axioma de Identidad: La proposición "P" se deduce de la proposición "P".

2. Axioma de Doble Negación: La proposición "No No P" se deduce de la proposición "P".

3. Axioma de Conmutatividad: La proposición "P o Q" se deduce de la proposición "Q o P".

4. Axioma de Asociatividad: La proposición "(P o Q) o R" se deduce de la proposición "P o (Q o R)".

5. Axioma de Adición: La proposición "P o Q" se deduce de la proposición "P" y de la proposición "Q".

6. Axioma de Distribución: La proposición "(P y Q) o R" se deduce de la proposición "P o R" y de la proposición "Q o R".

7. Axioma de Simplicidad: La proposición "P y F" se deduce de la proposición "P".

8. Axioma de Reducción: La proposición "P o F" se deduce de la proposición "P".
1. สัจพจน์ของอัตลักษณ์: ข้อเสนอ "P" อนุมานได้จากข้อเสนอ "P" 2. สัจพจน์ของการปฏิเสธสองครั้ง: ข้อเสนอ "No Not P" อนุมานได้จากข้อเสนอ "P" 3. สัจพจน์ของการสับเปลี่ยน: ข้อเสนอ "P หรือ Q" อนุมานได้จากข้อเสนอ "Q หรือ P" 4. สัจพจน์ของการเชื่อมโยง: ข้อเสนอ "(P หรือ Q) หรือ R" อนุมานได้จากข้อเสนอ "P หรือ (Q หรือ R)" 5. สัจพจน์ของการบวก: ข้อเสนอ "P หรือ Q" อนุมานได้จากข้อเสนอ "P" และข้อเสนอ "Q" 6. สัจพจน์ของการแจกแจง: ข้อเสนอ "(P และ Q) หรือ R" อนุมานได้จากข้อเสนอ "P หรือ R" และข้อเสนอ "Q หรือ R" 7. สัจพจน์ของความเรียบง่าย: ข้อเสนอ "P และ F" อนุมานได้จากข้อเสนอ "P" 8. สัจพจน์ของการลดลง: ข้อเสนอ "P หรือ F" อนุมานได้จากข้อเสนอ "P"
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence