%entails% {fcaR}

Entailment between implication sets

Description

Entailment between implication sets

Usage

imps %entails% imps2

Arguments

imps

(ImplicationSet) A set of implications.

imps2

(ImplicationSet) A set of implications which is tested to check if it follows semantically from imps.

Value

A logical vector, where element k is TRUE if the k-th implication in imps2 follows from imps.

Examples

fc <- FormalContext$new(planets)
fc$find_implications()
imps <- fc$implications[1:4]$clone()
imps2 <- fc$implications[3:6]$clone()
imps %entails% imps2