São predicados e relações "nomes" no TLP? Respostas avançadas na literatura. 

Função teórica das tabelas de verdade no TLP: esgotar o espaço lógico, identificando, para cada linha da tabela (um mundo possível), o valor de verdade da proposição molecular --composta a partir de proposições elementares por meio de funções de verdade-- em causa.