Template:Individual-TLP-paragraph-pt-br-6.01
6.01 A forma geral da operação é pois: .
Esta é a forma mais geral da transposição de uma proposição para outra.
6.01 A forma geral da operação 
![{\displaystyle [{\bar {\xi }},N({\bar {\xi }})]'({\bar {\eta }})(=[{\bar {\eta }},{\bar {\xi }},N({\bar {\xi }})])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19f2e78167dfb205319e02f119533bdf7e948565)
Esta é a forma mais geral da transposição de uma proposição para outra.