추론 규칙: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
WikitanvirBot (토론 | 기여) 잔글 r2.7.1) (로봇이 바꿈: fa:قواعد استنتاج |
|||
5번째 줄:
아래는 대표적인 추론 규칙이다.(‘¬'는 부정, ‘→'은 내포, 나머지는 논리식)
* [[전건 긍정의 형식]] [P, P→Q]→Q
* [[후건 부정의 형식]] [¬Q, P→Q]→¬P
* [[보편 사례화의 규칙]](전체 한정사 사례화) ∀xF(x)→F(y)
* [[존재 일반화의 규칙]](존재 한정사 일반화) F(y)→∃xF(x)
* 그외 기타
[[분류:논리학]]
|