• 공식,formula
       [[명제,proposition]]와 mklink
       tbw: '''formula'''는 [[식,expression]] / [[명제,proposition]] / [[항,term]] / [[문장,sentence]] / .... 과 어떤 관련과 차이가?
       [[propositional_formula]] - 작성중, [[명제,proposition]] [[명제논리,propositional_logic]]
• 귀류법,proof_by_contradiction
       [[참,true]]/[[진리,truth]] 인 [[명제,proposition]]를 [[부정,negation]]하면 [[모순,contradiction]]이 도출됨을 이용? CHK
• 논리,logic
       명제논리 [[명제논리,propositional_logic]] - [[명제,proposition]] = [[RR:명제proposition]]
       [[명제,proposition]]논리, [[술어,predicate]]논리:
        가정([[명제,proposition]]), 함의를 뜻하는 기호(보통 ⇒), 결론(명제).
       [[명제,proposition]]
• 동치,equivalence
       [[명제,proposition]]들 사이의 동치 - topic.
• 명제,proposition
        chk: 여러 단순명제들이 논리연산자 또는 연결사(logical_operator or connective = [[연결사,connective]] = [[논리연결사,logical_connective]])로 연결되어 만들어진 [[명제,proposition]].
        Up: [[명제,proposition]]
       [[술어,predicate]]의 [[변수,variable]]에 [[값,value]]이 [[대입,assignment]]되면 '''명제,proposition'''? chk
• 명제논리,propositional_logic
       [[명제,proposition]] [[논리,logic]]
       [[묶인변수,bound_variable]]가 없는 [[명제,proposition]]만 다루는 논리.
       그렇다면 [[명제,proposition]](정확히는 ℒ-명제)를 다음과 같이 정의한다.
       [[명제함수,propositional_function]] (Curr. Sub of [[명제,proposition]])
• 불_대수,Boolean_algebra
       [[명제,proposition]]에 대해.
• 수리논리,mathematical_logic
       [[명제,proposition]] [[명제논리,propositional_logic]] [[영차논리,zeroth-order_logic]]
• 수학,math
       [[명제,proposition]]
        추측,conjecture - 옳다고 여겨지지만, 증명되거나 반증되지 않은 [[명제,proposition]].
• 수학적귀납법,mathematical_induction
       전제: 자연수 n에 관한 [[명제,proposition]] p(n)이 있다.
• 술어,predicate
       A '''predicate''' can be understood as a [[명제,proposition]] whose truth depends on the [[값,value]] of one or more [[변수,variable]]s.
       ''즉 '''술어'''의 변수에 값이 대입되면 [[명제,proposition]](참인 명제 or 거짓인 명제)가 됨''
• 술어논리,predicate_logic
       [[명제,proposition]]와 달리, [[술어,predicate]]는 일반적이다(generic): it applies to a whole range of things. By filling in concrete examples of these things, a predicate becomes a proposition.
       '''술어논리'''에서는 한 [[명제,proposition]]를 [[술어,predicate]]와 [[객체]]로 분리하여 표현함.
• 언어,language
        [[명제,proposition]]는 문장의 일종?
• 연역,deduction
       [[명제,proposition]]
• 이산수학,discrete_math
       [[명제,proposition]]
• 정리,theorem
       [[명제,proposition]] // ''정리와의 관계는 [[증명,proof]]페이지를 보면: ‘증명된 명제 중 자주 사용되며 기본이 되는 것들이 정리.’''
       [[이론,theory]] // 영단어가 비슷, 뜻도 관련, 혹시 둘의 [[어원,etymology]]은 관련이 있나? 암튼 둘 다 (현재까지 밝혀진 바로는/현재의 [[과학,science]] [[패러다임,paradigm]] 아래서/....) [[사실,fact]]/[[진리,truth]]로 간주되는 그런 건데, ● '''정리'''는 좀 일화적이고 짧은 것이고 하나의 [[진술,statement]]/[[문장,sentence]]/[[명제,proposition]]에 [[대응,correspondence]]되며(물론 그 [[증명,proof]]은 매우 길 수 있다), ● 이론은 보통 종합적인 학문 분야(study? discipline?)의 일부분, 여러 정리들을 포함한, 정도의 뜻인데(chk, 내생각)... TODO cmp.
        "'''정리'''는 수학적으로 참인 [[명제,proposition]]를 뜻한다."
• 증명,proof
       어떤 [[명제,proposition]]가 참([[진리,truth]])임을 명백하고 모호하지 않게(unequivocally) 입증하는(demonstrate) 엄밀한 수학적 주장([[논증,argument]]). 증명된 수학적 [[진술,statement]]은 [[정리,theorem]]라고 한다. (MW)
       '''증명'''된 [[명제,proposition]] 중 자주 사용되며 기본이 되는 것들을 [[정리,theorem]]라고 한다.
       [[명제,proposition]]를 '''증명'''하는(prove) 것 ('''증명,proof'''을 작성하는 것)의 차이를 비교서술...
       [[명제,proposition]]가 [[참,true]]인지 [[거짓,false]]인지 알 수 없을 때 '''증명'''을 해서 알아낸다.
        proof란 수학의 [[명제,proposition]]가 참인지 거짓인지를 demonstrate하는 것?? chk
• 진리값,truth_value
       어떤 [[명제,proposition]]의 내용이 [[참,true]]인지 [[거짓,false]]인지를 나타내는 [[값,value]].
• 집합,set
        논리학에선: [[명제,proposition]]의 [[부정,negation]]
• 하텍_Notes
       우리는 "BB(n)이 계산 불가능하다"는 [[명제,proposition]]를 직접 증명하지 않고 아래 명제 p가 참인 것을 증명함 - 그러면 명제 q도 참이 되고 BB(n)은 계산 불가능하다는 것이 증명됨

You can also click here to search title.