Diagramm (Logik)

In der mathematischen Logik bezeichnet ein Diagramm eine bestimmte Menge von Aussagen, mit der sich Beziehungen zwischen Modellen ausdrücken lassen. Die Verwendung solcher Diagramme bezeichnet man als Diagrammmethode. Sie wurde unabhängig von A. I. Malzew und A. Robinson eingeführt.