검색 결과

...conditional introduction}})은 두 명제가 서로 [[함의 (논리학)|함의]]한다는 것으로부터 두 명제의 [[동치 (논리학)|동치]]를 유도하는 [[추론 규칙]]이다. == 정의 == ...

...g|en|biconditional elimination}})는 두 명제의 [[동치 (논리학)|동치]]로부터 두 명제의 서로 [[함의 (논리학)|함의]]를 유도하는 [[추론 규칙]]이다. == 정의 == ...

...부정 논법'''(否定論法, {{llang|la|modus tollens|모두스 톨렌스}})은 [[가언 명제]]와 그 결론의 [[부정 (논리학)|부정]]으로부터 그 전제의 부정을 유도하는 [[추론 규칙]]이다. 즉, “만약 ''P''라면, ''Q''이다. 그런데 ''Q''가 아 == 정의 == ...

...llang|en|disjunctive syllogism}})은 [[선언 명제]]와 이를 이루는 두 명제 가운데 하나에 대한 [[부정 (논리학)|부정]]으로부터 다른 한 명제를 유도하는 [[삼단 논법]]이다. 즉, “''P''가 참이거나 ''Q''가 참이다. 그런데 ''P''는 == 정의 == ...

[[논리학]]에서, '''구성적 양도 논법'''(構成的兩刀論法) 또는 '''구성적 딜레마'''(構成的dilemma, {{llang|en|const == 정의 == ...

[[논리학]]에서, '''가언적 삼단 논법'''(假言的三段論法, {{llang|en|hypothetical syllogism}}) 또는 '''연쇄 == 정의 == ...

[[논리학]]에서 '''전건 긍정'''(前件肯定, {{llang|en|affirming the antecedent}}) 또는 '''긍정 논법''' == 정의 == ...

[[논리학]]에서, '''선언 소거'''(選言消去, {{llang|en|disjunction elimination}})는 [[선언 명제]]와 그 == 정의 == ...

[[논리학]]에서 '''연언 소거'''(連言消去, {{llang|en|conjunction elimination}})은 [[연언 명제]]로부터 그 == 정의 == ...

[[논리학]]에서 '''초직관 논리'''(超直觀論理, {{llang|en|superintuitionistic logic}}) 또는 '''중간 논리 == 정의 == ...

[[모형 이론]]에서 '''절대 논리식'''(絶對論理式, {{llang|en|absolute formula}})은 모든 [[모형 (논리학)|모형]]에서 참인 [[논리식]]이다. == 정의 == ...

== 정의 == * (만족 가능성) <math>M\models T</math>인 <math>\sigma</math>-[[구조 (논리학)|구조]] <math>M</math>이 존재한다. ...

[[논리학]]에서 '''완전성'''(完全性, {{llang|en|completeness}})이란, [[형식 체계]] 내에서 모든 참인 문장이 증명 == 정의 == ...

'''피치의 인식 가능성의 역설'''(Fitch's paradox of knowability, -逆說)은 [[논리학]]의 [[역설]] 중 하나로, [[미국]]의 논리학자 [[프레더릭 피치]](Frederic Fitch)가 [[1963년]] 논문 "가치 피치의 역설은 [[인식 논리학]] 및 [[양상 논리학]]에서 받아들이는 다음과 같은 명제들에서 증명 가능하다. 이하에서 'Kp'는 'p를 안다.'라는 뜻이다. ...

...duct|울트라프로덕트}})은 여러 [[구조 (논리학)|구조]]들의 [[곱집합]]의 [[동치류]] 집합 위에 정의된 더 큰 [[구조 (논리학)|구조]]이다. == 정의 == ...

== 정의 == .../math>이자 <math>M'\models\mathcal T'</math>인 <math>\mathcal L'</math>-[[구조 (논리학)|구조]] <math>M'</math>이 항상 존재한다. (그러나 이는 유일할 필요는 없다.) ...

[[논리학]]에서 '''선언 도입'''(選言導入, {{llang|en|disjunction introduction}})은 주어진 명제로부터 이를 == 정의 == ...

[[모형 이론]]에서 '''기본 동치'''(基本同値, {{llang|en|elementary equivalence}})는 두 [[구조 (논리학)|구조]]가 같은 [[1차 논리]] 문장들을 만족시키는 관계이다. == 정의 == ...

...命題論理, {{llang|en|propositional logic}})는 내부 구조가 없는 [[명제]]에 [[논리합]]이나 [[부정 (논리학)|부정]] 따위의 [[논리 연산]]을 가하여 구성한 명제들을 다루는 논리 체계이다.<ref name="Srivastava">{{서적 인 == 정의 == ...

[[논리학]]에서 '''건전성'''({{llang|en|soundness}})이란, 형식 체계 내에서 증명가능한 명제(즉 정리)가 의미론 상으로도 == 정의 == ...