6.1264

A proposição significativa asserta algo e sua prova mostra que é assim; na lógica cada proposição está sob a forma de uma prova.