En la lógica de primer orden, una sentencia condicional es definida como: