명제: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
88번째 줄:
 
=== '모든'이나 '어떤'이 들어있는 명제의 부정 ===
~(모든 x에 대하여 p(x)) --<math> \to </math> 어떤 x에 대하여 ~p(x) -'''전칭 부정 명제''' <br />
~(어떤 x에 대하여 p(x)) --<math> \to </math> 모든 x에 대하여 ~p(x) -'''특칭 부정 명제'''
 
== 같이 보기 ==