Template:Individual-TLP-paragraph-pt-br-6.1263

6.1263 Seria, pois, extraordinário poder provar lògicamente uma proposição significativa a partir de outra, e ainda uma proposição lógica. É claro desde logo que a prova lógica de uma proposição significativa e a prova na lógica devem ser coisas inteiramente diferentes.