zweistellige extensionale Aussagenoperation, die mit „wenn – so“ gekennzeichnet wird (Aussagenlogik). Durch Anwendung der Implikation auf die Aussagen A, B entsteht die Aussage „wenn A, ...