implicator

Импликатор, схема импликации