Tractatus

5.141

Si se sigue p de q y q de p, entonces son una y la misma proposición.