含意付き帰結関係

Consequence Relation with an Implication