귀류법1 명제 #4 - '모든'과 '어떤', 충분조건과 필요조건, 수학적 증명법 - 개요 - 이번에 할 것은 '모든 x에 대하여 p이다.' '어떤 x에 대하여 q이다.' 이런 명제를 다룰거고 두 '조건' 사이에 특별한 관계가 있으면 그걸 충분조건이나 필요조건 같이 부르는데 이것도 다룰것이다. - '모든' 이 있는 명제 - 여기서 다루는 명제는 조건 p 가 있다고 하면, '모든 x에 대하여 p이다.' 이 명제는 참인가? 거짓인가? 를 판별할것이다. 근데 판별하기 전에, 의문점이 있을 수 있다. p는 조건이고, 조건은 명제가 아닌데 어떻게 저 문장은 명제가 될 수 있는가? '모든 x에 대하여~' 이 문구가 들어가있어서 저건 명제가 된다. '모든 x에 대해, 조건 p를 만족하는가?' 를 묻는것이다. 만약 그렇다면 참인거고, 그렇지 못한다면 거짓인거다. 예시를 들어주겠다. 조건 p: x²>.. 2022. 5. 19. 이전 1 다음
