googleAdsense_widever


태그 : NSLS 요약보기전체보기목록닫기

1

'동치관계'와 '상호인과관계'의 동일성 판단

(=) = (⇔) : ?(⇔) = ( (→) and (←) )((=) = (⇔)) = ( ((=) = (→)) and ((=) = (←)) ) = false((=) → (⇔)) = ( ((=) → (→)) and ((=) → (←)) ) = true∴ (=) → (⇔) → ((→) or (←))

모순고찰

비특수논리체계(NSLS)에서는 이중부정상쇄(~~S = S)를 부정했었다.하지만 계층구조를 명확히 하고, T^n은 단 두 개만의 E^(n-1)로 이루어지는 이진논리텐서체계(BLTS)에서는 이를 인정하여도 문제가 없다.NSLS에서 정의한 x와 un은 다음과 같다.xS = S ∧ ~SunS = ~(S ∨ ~S) = ~S ∧ ~~S(*주 : x는 모순...

Non Special Logic System - 01

NSLS는 한 문장(명제가 아니다.)의 진리값이 '참'과 '거짓' 뿐만 아니라 '모순'과 '결정불능'의 추가적인 값을 가질 수 있다고 전제하는 체계이다.위에서 아래로 각각 '참', '거짓', '모순', '결정불능' 이다.(결정불능을 나타내는 기호는 원래 infinity 기호가 아니라 un을 붙힌 모양이지만입력하기가 여의치 않다.)또한, 이 체계...
1


공지

어서오십시오.
트위터 : @FCliver
기저심리학 : 네이버카페
카카오톡 : FCliver
페이스북 : Fredric Cliver

통계 위젯 (화이트)

220
104
285269

접속자 위치