Definition, synonyms and related words
An existential diagram consisting of a Euler diagram or a Venn diagram annotated with logical operators.