Equivalence of sets of implications

Equivalence of sets of implications

Usage

imps %~% imps2

Arguments

imps

A ImplicationSet.

imps2

Another ImplicationSet.

Value

TRUE of and only if imps and imps2 are equivalent, that is, if every implication in imps follows from imps2 and viceversa.

Examples

fc <- FormalContext$new(planets)
fc$find_implications()
imps <- fc$implications$clone()
imps2 <- imps$clone()
imps2$apply_rules(c("simp", "rsimp"))
imps %~% imps2
#> [1] TRUE
imps %~% imps2[1:9]
#> [1] FALSE