Uso de tabla de verdad como justificación semántica