대문
임의의 문서로
근처
로그인
설정
기부
위키백과 소개
면책 조항
검색
추론 규칙: 두 판 사이의 차이
언어
주시
편집
입체적으로 역사 찾아보기
← 이전 편집
다음 편집 →
내용 삭제됨
내용 추가됨
시각
위키텍스트
2019년 8월 19일 (월) 23:22 판
편집
Pk0001
(
토론
|
기여
)
장기인증된 사용자
30,399
편집
→추론 형식
← 이전 편집
2019년 8월 19일 (월) 23:48 판
편집
편집 취소
Pk0001
(
토론
|
기여
)
장기인증된 사용자
30,399
편집
→논리 기호
다음 편집 →
31번째 줄:
|-
| 아니다 || <math>-,\neg</math> || 부정 명제
|-
| A 는 B 이다 (동치) || <math>A\leftrightarrow B</math> || 정언 명제
|}