%entails% | R Documentation |
Entailment between implication sets
imps %entails% imps2
imps |
( |
imps2 |
( |
A logical vector, where element k is TRUE
if the
k-th implication in imps2
follows from imps
.
fc <- FormalContext$new(planets) fc$find_implications() imps <- fc$implications[1:4]$clone() imps2 <- fc$implications[3:6]$clone() imps %entails% imps2
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.