Este requisito de verdad intuitiva puede hacerse más riguroso si el sistema lógico cuenta con una semántica formal.