grapes-entails-grapes: Entailment between implication sets
In fcaR: Formal Concept Analysis
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.
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Description Usage Arguments Value Examples
Description
Entailment between implication sets
Usage
1 | imps %entails% imps2
|
Arguments
imps |
( |
imps2 |
( |
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
|
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Embedding an R snippet on your website
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.