Entailment between implication sets
imps %entails% imps2
A logical vector, where element k is
TRUE if the
k-th implication in
imps2 follows from
1 2 3 4 5
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.