¿Cómo se prueba [matemáticas] A \ a B \ vdash \ neg A \ vee B [/ matemáticas] usando las reglas Int / Elim?

Dejar

[matemáticas] \ vee \ equiv \ mathrm {“o”} [/ matemáticas]

[matemáticas] \ a \ equiv \ mathrm {“flecha”} [/ matemáticas]

• ¿Qué es 3 R?
• ¿Cuál es la diferencia entre 2 metros cuadrados y 2 metros cuadrados?
• ¿Cuál de los siguientes para un doctorado matemático puro: topología aritmética, topología estocástica, teoría de números probabilísticos o física matemática?
• ¿Cuál es la diferencia entre un espacio de Banach y uno de Hilbert?
• Cómo estudiar como estudiante de matemáticas en la universidad con ADD

[math] \ bot \ equiv \ mathrm {“contradicción”} [/ math].

[matemáticas] \ neg \ equiv \ mathrm {“no”} [/ matemáticas]

1. Premisa [matemática] A \ a B [/ matemática]
2. Suponga que [matemáticas] \ neg (\ neg A \ vee B) [/ matemáticas]
3. Asumir [matemáticas] \ neg A [/ matemáticas]
4. [matemáticas] \ neg A \ vee B [/ matemáticas] [[matemáticas] \ vee [/ matemáticas] Introducción 3]
5. [matemáticas] \ bot [/ matemáticas] [[matemáticas] \ bot [/ matemáticas] Introducción 2,4]
6. [matemática] \ neg \ neg A [/ matemática] [[matemática] \ neg [/ matemática] Introducción 3–5]
7. [matemáticas] A [/ matemáticas] [[matemáticas] \ neg [/ matemáticas] Elim 6]
8. Suponga que [matemáticas] B [/ matemáticas]
9. [matemáticas] \ neg A \ vee B [/ matemáticas] [[matemáticas] \ vee [/ matemáticas] Introducción 8]
10. [matemáticas] \ bot [/ matemáticas] [[matemáticas] \ bot [/ matemáticas] Introducción 2,9]
11. [matemáticas] \ neg B [/ matemáticas] [[matemáticas] \ neg [/ matemáticas] Introducción 8–10]
12. [matemáticas] B [/ matemáticas] [[matemáticas] \ a [/ matemáticas] Elim 1,7]
13. [matemáticas] \ bot [/ matemáticas] [[matemáticas] \ bot [/ matemáticas] Introducción 11,12]
14. Conclusión [matemáticas] (\ neg A \ vee B) [/ matemáticas] [[matemáticas] \ neg [/ matemáticas] Introducción 2–13].