Justificar derivaciones SD+

Justificar derivaciones proposicionales con reglas adicionales (SD+)

Nuevas reglas proposicionales

Reglas proposicionales adicionales
  1. Derivación A
  2. Derivación B
  3. Derivación C
  4. Derivación D
  5. Derivación E
  6. Derivación F
  7. Derivación G
  8. Derivación H
  9. Derivación I
  10. Derivación J
  11. Derivación K
  12. Derivación L
  13. Derivación M
Si no se indica lo contrario, el contenido de esta página se ofrece bajo Creative Commons Attribution-Noncommercial-Share Alike 2.5 License.