Semantic computation of truth based on associations already learned