추론 규칙을 1번 사용 할때 전제 1개에서만 나오는 것이 불가능한 문장문자

예를 들어 선언 제거에서
Aor B 와 -B가 있다면 여기서 전제 1개에서만 나오는 것이 불가능한 B같은 문장문자를

주 문장문자 라고하고

추론 규칙을 1번 사용 할때 전제 1개에서만 나오는 것이 가능한 문장문자

예를 들어 선언 제거에서
Aor B 와 -B가 있다면 여기서 전제 1개에서만 나오는 것이 가능한 A같은 문장문자를

보조 문장문자 라고할때

어떤 타당한 논증의 형식 증명에서 모든 문장문자는  단 한번만 보조 문장문자가 될수 있다면 그리고 결론이 일관성을가진다면

형식 증명 도중에  도출된 중간 전제와  형식 증명이전에 원래 있었던  전제들 모두는 일관성이 있다고 단정지을수 있을까?

- dc official App