En el sentido de la lógica, uno puede usar la semántica de un modelo teórico para interpretar los diagramas de Euler dentro de un dominio de discurso.