추론 규칙: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 토막글 변수 추가 |
편집 요약 없음 |
||
5번째 줄:
아래는 대표적인 추론 규칙이다.(‘¬'는 부정, ‘→'은 내포, 나머지는 논리식)
* [[전건 긍정|전건 긍정의 형식]] [P, P→Q]→Q
* [[후건 부정|후건 부정의 형식]] [¬Q, P→Q]→¬P
* [[보편 사례화의 규칙]](전체 한정사 사례화) ∀xF(x)→F(y)
* [[존재 일반화의 규칙]](존재 한정사 일반화) F(y)→∃xF(x)
|