DELIMITADORES ), ( e ,
Os delimitadores podem ser utilizados para indicar a junção de elementos, escrever (xy) faz com que estejamos nos referindo à união de x com y, portanto “xy.z” deve ser lido como “x e y tem z” enquanto que “(xy).z” significa que xy tem z. Muitas vezes o contexto é claro e a aplicação dos parênteses é negligenciada, o mesmo ocorre para as vírgulas, mas, dependendo da situação, elas são úteis para a organização de expressões mais complexas, “xy” indica “x e y” da mesma forma que “x,y”.
A expressão (x, °.y) “x, não tem y” significa “x e não tem y”, sem a vírgula ficaria (x°.y) “x não tem y” o que mudaria completamente o significado da expressão. A TNL não impõe nenhuma limitação para a organização dos delimitadores, pois entende que isto amplia a expressividade da linguagem e impede o cerceamento de questões que podem surgir. A linguagem da lógica de primeira ordem não admite que escrevamos (x.,) “x tem vírgula” ou )( “parênteses direito e parênteses esquerdo”, isto limita um aprofundamento na metalinguagem e consequente superficialidade no domínio dos fundamentos metamatemáticos.
O livro sobre a TNL discute, com detalhes, as possíveis combinações e interpretações dos elementos do núcleo da linguagem, por exemplo: “x..” pode ser lido como “x tem o ter” ou “x tem ter”, no segundo caso temos a posse de uma posse o que poderia ser entendido que x tem algo, logo “x..= x.”, ele tem o ter algo equivale a dizer que ele tem este algo. Outra possibilidade de entendimento seria dizer que o próprio conceito fundamental de pertinência pertence à x, a TNL aborda estas questões que são negligenciadas pela lógica.
De qualquer forma, os delimitadores não devem ser vistos como elementos primitivos da linguagem, a vírgula pode ser substituída por uma combinação de parênteses ou pela menção dos elementos lado a lado:
x, y e wz = x, y, wz = (x)(y)(wz)
Até os próprios parênteses podem ser fragmentados pela TNL, a lógica os utiliza de forma indiscriminada sem compreender totalmente sua natureza, de fato, temos visto até aqui que todo o embasamento da lógica e da matemática pode ser diluído pelo poder expressivo da TNL, vejamos o caso dos parênteses:
(xy).x
(xy).y
>(xy)°.x
>(xy)°.y
>(xy)°.(xy)
