틀:Transformation rules

위키백과, 우리 모두의 백과사전.

변환 규칙
명제 논리
추론 규칙
함의 도입 / 소거 (modus ponens) 쌍조건문 도입 / 소거 연언 도입 / 소거 선언 도입 / 소거 선언적 / 가언적 삼단 논법 구성적 / 파괴적 양도 논법 흡수논법 / 부정논법 (modus tollens) / 긍정적 부정식 (modus ponendo tollens) 부정 도입
대치 규칙
결합법칙 교환법칙 분배법칙 이중부정 드 모르간의 법칙 대우법칙 단순함언 수출법칙 항진법칙
술어 논리
추론 규칙
보편일반화 / 보편사례화 존재일반화 / 존재사례화

숨은 분류: