검색 결과

'''Q.E.D.'''는 [[라틴어]] 문장 "{{lang|la|Quod erat demonstrandum}}"의 약자이다. 이것은 [[유클리드]]와 [[아르키메데스]]가 [[분류:라틴어 낱말]] ...

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

[[논리학]]에서 '''전건 긍정'''(前件肯定, {{llang|en|affirming the antecedent}}) 또는 '''긍정 논법''' * <math>\implies</math>는 [[함의 (논리학)|함의]]이다. ...

[[논리학]]에서, '''불합리합으로의 환원'''({{llang|la|reductio ad absurdum}}, {{llang|en|reducti ...이라고 결론내릴 수 있다. 이 기법은 간접 증명 혹은 [[귀류법]]<ref name=":1" />에 의한 증명으로 알려져 있으며, [[논리학]] 및 수학과 같은 형식적인 분야에서 {{lang|la|reductio ad absurdum}} 논증의 기반을 형성하고 있다. ...

...의 [[자연철학]]자 [[아리스토텔레스]]는 생애 동안 [[물리학]], [[형이상학]], [[시]], [[희극]], [[음악]], [[논리학]], [[정치학]], [[윤리학]]에 걸치는 방대한 양의 글을 남겼다. 대부분의 아리스토텔레스의 글은 [[서양 철학]]의 전반적인 형성 ...요인을 배제한다. 물체 자체의 내재적인 저항(관성질량)과 가속시키는 힘의 존재에 대한 부정에 대한 암시를 그의 저서 《천체에 관해서》(라틴어:''De Caelo'', 영문:''On the heavens'')에서 찾아볼 수 있다.<ref>{{서적 인용 ...