연역논증_부정명제

명제의 종류

 

명제의 종류에는 부정명제, 연언명제, 선언명제, 조건명제가 있다.

 

	기호	의미
부정명제	~p	p가 아니다
연언명제	p∧q	p이고 q이다
선언명제	p∨q	p이거나 q이다
조건명제	p→q	만약 p라면 q이다

 

 

명제

 

명제는 p로 표시한다

 

라이언은 사자이다 = p

 

 

부정명제

 

부정명제는 ‘~가 아니다’로 표현되는 명제이다.

부정명제는 ~p로 표시한다

 

라이언은 사자가 아니다 = ~p

 

 

부정명제의 참과 거짓

 

명제 p가 참이라면 명제 ~p는 거짓이다

명제 p가 거짓이라면 명제 ~p는 참이다