TLP - identidade e quantificação

8 Abril 2021, 14:00 Maria Adriana Sequeira da Silva Graça

Eliminação do sinal de identidade e dos quantificadores no Tractatus.

Proposições moleculares são (exclusivamente) constituídas por funções de verdade (conjunção e negação nomeadamente) aplicadas a proposições elementares.