Cześć,
pytanie ogólne dotyczące logiki. Czy posiadając dowolne, bardziej złożone zdanie w postaci np.
- (((p => q) => p) => p)
- (p <=> ~ q) → (q → ~ p)
- lub jakiekolwiek inne tego rodzaju
i wykazując, że to zdanie jest tautologią, mogę uznać, że jest ono również wtórną regułą wnioskowania KRZ?
Z dostępnych w internecie źródeł można wyczytać w skrócie, że "regułami wtórnymi są wszystkie reguły oparte o udowodnione schematy logiczne", ale chciałbym się jeszcze upewnić, czy rzeczywiście tak jest w dowolnym zadaniu, czy np. wyłącznie jeśli rozpatrujemy jakiś system SD, do którego taka reguła zostanie dodana?
Będę ogromnie wdzięczny za odpowiedź.