grapes-entails-grapes: Entailment between implication sets

Description Usage Arguments Value Examples

Description

Entailment between implication sets

Usage

1
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

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

fcaR documentation built on June 29, 2021, 1:06 a.m.