Uma prática de metodologia

Consideremos A e B, duas proposições.
Quando temos a relação "Se A então B", significa que toda vez que existir "A", obrigatoriamente também existirá "B".
Essa relação, no entanto, não comporta a relação que seria: se "B" então "A". Uma afirmativa dessas a partir da primeira relação é uma falácia e pode ser tanto comprovada empiricamente como falsa ou verdadeira. Mas apenas empiricamente.
No entanto, podemos afirmar, com certeza, a partir da primeira relação existente, que se não existir "B", não existirá "A".
Desenho:



Agora, então, se substituirmos devidamente, as porposições de forma que:
A seja viver; e
B seja sofrer.
Temos então que, se vivemos, sofremos. Se não há sofrimento não há vida e que pode, sim, existir sofrimento sem ter vida.

A conclusão lógica agora, então é esta:
Não vivemos sem sofrer.

E ainda depois de toda essa construção lógica aprendida na disciplina de metodologia há dois anos, eu tenho a cara de pau de perguntar: Porque?