대문
임의의 문서로
근처
로그인
설정
기부
위키백과 소개
면책 조항
검색
수리 논리학: 두 판 사이의 차이
언어
주시
편집
입체적으로 역사 찾아보기
← 이전 편집
다음 편집 →
내용 삭제됨
내용 추가됨
시각
위키텍스트
2019년 8월 19일 (월) 22:54 판
편집
Pk0001
(
토론
|
기여
)
장기인증된 사용자
30,399
편집
→고전 논리학과 기호 논리학의 비교
← 이전 편집
2019년 8월 19일 (월) 22:55 판
편집
편집 취소
Pk0001
(
토론
|
기여
)
장기인증된 사용자
30,399
편집
→고전 논리학과 기호 논리학의 비교
다음 편집 →
52번째 줄:
| 전제 1|| 만약 A가 B라면 C가 아니거나 D이다. || <math> B\supset (-C \or D)</math>|| (-C)
|-
| 전제 2 || A는 E이거나 또는 C이다. ||<math> E \
supset
or
C </math>|| (E)
|-
| 전제 3 || A는 B이다. ||<math> B</math> ||