Tractatus

5.141

Se p segue-se de q e q de p, ambas são pois uma única e mesma proposição.