Descripción
Comprueba si la relación es antitransitiva
{∀a,b,c, aRb∧bRc→¬aRc}
Cadena de entrada
correl_es_antitransitiva
Cadena de salida
CORREL.es_antitransitiva
Uso
correl_es_transitiva(<relacion>)
Valor devuelto
Booleano
Ejemplos
correl_es_antitransitiva(correl_desde_pares(['PIEDRA','PAPEL','TIJERAS'],[['PIEDRA','TIJERAS'],['PAPEL','PIEDRA'],['TIJERAS','PAPEL']]))
Booleano: verdadero
Desde / Última modificación
v0.6.2.4
Véase también…