tTSímbolo que vale T: el valor «verdadero» de las pruebas. Lo devuelven los predicados que se cumplen.(= 1 1) ; T