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