Графические объяснения алгебры логики: Импликация