„Es seien A<sub>1</sub> und A<sub>2</sub> zwei Aussagen. Die ''Implikation'' von A<sub>1</sub> und A<sub>2</sub> ist falsch genau dann, wenn A<sub>1</sub> wahr und A<sub>2</sub> falsch ist.“<ref>{{Literatur | Autor=Prof. Dr. sc. Wolfram Türke | Titel=Grundlegende Begriffe der Mathematik | Verlag=Volk und Wissen Verlag | Ort= Berlin | Jahr=1990 | Auflage=1. | Band=1 | Seiten=105 }}</ref>
''[[Logik]], [[Mathematik]]:'' Verbindung von zwei Aussagen bzw. [[Aussageform]]en durch „wenn – dann“