This Venn diagram is meant to represent a relation between two sets in set theory, or two statements in propositional logic respectively. The relation...
B\subseteq A} in set theory, or the entailment relation B ⇒ A {\displaystyle B\Rightarrow A} in propositional logic respectively. See File:Relation1011.svg...
matrix - negative statements combined by AND.svg Relations like the subset relation (File:Relation1011.svg) ordered in a matrix The negations of these...
