El mensaje de error es más o menos así:
javax.mail.SendFailedException: 550 5.7.1 Relaying denied. IP name possibly forged [192.168.1.10]
(Una posible) Solución: agregar la dirección IP, en este caso 192.168.1.10, a la lista de confianza (trusted list) del servidor de correo.
Porque hay varias formas de perder la cabeza.
|- (p -> q) \/ (q -> r) usando LEM
| 1. q \/ ¬q | LEM |
| 2. q | premisa temporal |
| 3. p | premisa temporal |
| 4. q | copy 2 |
| 5. p -> q | ->i(3-4) |
| 6. (p -> q) \/ (q -> r) | \/i1(5) |
| 7. ¬q | premisa temporal |
| 8. q | premisa temporal |
| 9. _|_ | ¬e(8,7) |
| 10. r | _|_e(9) |
| 11. q -> r | ->i(8-10) |
| 12. (p -> q) \/ (q -> r) | \/i2(11) |
| 13. (p -> q) \/ (q -> r) | \/e(1,2-6,7-12) |
qed
