logische Bedingung

Sustantivo
  1. Condición que debe cumplirse para que una proposición sea verdadera en lógica.
    La condición lógica determina si el argumento es válido.