grapes-entails-grapes: Entailment between implication sets
In fcaR: Formal Concept Analysis
%entails% R Documentation
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
fcaR documentation built on May 29, 2024, 2:05 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.
| %entails% | R Documentation |
Entailment between implication sets
Description
Entailment between implication sets
Usage
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
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.