Grande parte das regras que serão documentadas a seguir, fará se valer da estrutura da tabela-verdade seguinte.

	A	B	C	D	F	H	I	J	L	N	O	U
A
B
C
D
F
H
I
J
L
N
O
U

Essa tabela-verdade combina o produto cartesiano entre os tipos nativos definidos na linguagem TLPP, conforme apresentado na seção Tipos Nativos.
Quando houver compatibilidade entre os tipos, haverá uma marcação com o símbolo , como ilustrado no cruzamento N x U ou U x U.
Não estando marcado, significará que há um erro de tipagem.