This can be used to model reasoning ... Venn used his diagrams to illustrate and explore such “symbolic logic” – defending and extending it. Symbolic logic underpins modern computing ...