대문
임의의 문서로
근처
로그인
설정
기부
위키백과 소개
면책 조항
검색
분류
:
직관 논리
언어
주시
편집
"직관 논리" 분류에 속하는 문서
다음은 이 분류에 속하는 문서 13개 가운데 13개입니다.
직관 논리
ㄱ
가언적 삼단 논법
구성적 양도 논법
ㅂ
에밀 보렐
ㅅ
선언 도입
선언 소거
선언적 삼단 논법
쌍조건문 도입
쌍조건문 소거
ㅇ
연언 도입
연언 소거
ㅈ
전건 긍정
ㅎ
후건 부정