Tipo y precedencia
BINARIO (0)
Descripción
Implicación lógica.
Nota: la evaluación de la condición no se realizará en cortocircuito para el segundo operando
Cadena de entrada
->
Cadena de salida
->
Uso
<condición>-><condición>
Ejemplos
tverdad(p->q,p,q)
VectorEvaluado: | falso falso verdadero | | falso verdadero verdadero | | verdadero falso falso | | verdadero verdadero verdadero |
Véase también…