6.126
É possível calcular se uma proposição pertence à lógica calculando as propriedades lógicas do símbolo.
Continuar
- 6.1261 Na lógica, processo e resultado são equivalentes. (Por isso não há nenhuma surprêsa.)
- 6.1262 A prova na lógica é apenas um expediente mecânico para facilitar o reconhecimento da tautologia…
- 6.1263 Seria, pois, extraordinário poder provar *lògicamente* uma proposição significativa a partir de…
- 6.1264 A proposição significativa asserta algo e sua prova mostra que é assim; na lógica cada proposição…
- 6.1265 Sempre se pode conceber a lógica de tal modo que cada proposição seja sua própria prova.