Symbolic Logic Diagrams