O diagramă Euler este un mijloc schematic de reprezentare a unor mulțimi și a relațiilor dintre acestea. Ele sunt deosebit de utile pentru explicarea ierarhiilor complexe și a definițiilor care se suprapun. Sunt similare cu diagramele Venn (care se mai numesc Euler-Venn).
Diagrama Euler este folosită în matematică, logică, management și alte domenii aplicate.
Diagramele Euler se mai numesc cercuri Euler. „Cercuri” este un termen convențional; în loc de cercuri, pot exista alte forme.
Pentru a rezolva o serie de probleme, Leonard Euler a folosit ideea de a descrie mulțimi folosind cercuri. Cu toate acestea, această metodă a fost folosită de remarcabilul filosof și matematician german Gottfried Wilhelm Leibniz înaintea lui Euler. Leibniz le-a folosit pentru a interpreta geometric conexiunile logice dintre concepte, dar a preferat totuși să utilizeze scheme liniare.
Sir William Hamilton 1860 Lectures on Metaphysics and Logic edited by Henry Longueville Mansel and John Veitch, William Blackwood and Sons, Edinburgh and London.
W. Stanley Jevons 1880 Elementary Lessons in Logic: Deductive and Inductive. With Copious Questions and Examples, and a Vocabulary of Logical Terms, M. A. MacMillan and Co., London and New York.
Louis Couturat 1914 The Algebra of Logic: Authorized English Translation by Lydia Gillingham Robinson with a Preface by Philip E. B. Jourdain, The Open Court Publishing Company, Chicago and London.
Emil Post 1921 "Introduction to a general theory of elementary propositions" reprinted with commentary by Jean van Heijenoort in Jean van Heijenoort, editor 1967 From Frege to Gödel: A Source Book of Mathematical Logic, 1879–1931, Harvard University Press, Cambridge, MA, ISBN: 0-674-32449-8 (pbk.)
Claude E. Shannon 1938 "A Symbolic Analysis of Relay and Switching Circuits", Transactions American Institute of Electrical Engineers vol 57, pp.471–495. Derived from Claude Elwood Shannon: Collected Papers edited by N.J.A. Solane and Aaron D. Wyner, IEEE Press, New York.
Hans Reichenbach 1947 Elements of Symbolic Logic republished 1980 by Dover Publications, Inc., NY, ISBN: 0-486-24004-5.
Veitch, Edward Westbrook () [1952-05-02]. „A Chart Method for Simplifying Truth Functions”. Transactions of the 1952 ACM Annual Meeting. ACM Annual Conference/Annual Meeting: Proceedings of the 1952 ACM Annual Meeting (Pittsburgh, Pennsylvania, USA). New York, USA: Association for Computing Machinery (ACM): 127–133. doi:10.1145/609784.609801.