命題論理の形式的体系の派生規則

命題論理の構文論に、形式的体系の派生規則を追加。