이산 수학 1

Proposition ( 명제 )

: 참과 거짓을 가를 수 있는 선언문.  ( * 참이어야 할 필요없음 )
Ex) 1+1은 0이다 (거짓) /

 

• Navigator (부정)  =  ¬ 
  : 특 ) binary operator 이다. 
  
  

• Conjunction (결합) = ∧
  : and 와 같은 역할을 한다.
  
  
• Disjunction  ( 분해 ) = ∨
  : or 와 같은 역할을 한다.
  
  
• Exclusive or = ⊕
  : xor 다른 경우에 T , 같으면 F 
  
  
• Implication ( 영향 ) = →
  : 조건이라고 생각하면 간단할 것 같다.
  ex) P → Q  :  P이면, Q이다 / P일 때 , Q이다 

 

 

쉽게 외우는 법
: 조건이 참이면 뒤에 결과를 따라감.
  조건이 거짓이면 결과는 참  ex) 만나면 밥 사줌 = 안 만나면 절대 사줄 일 없음

 

• Biconditional ( 필요 충분조건 )
  : 두 개가 같을 때만 T 
  

' P → Q   (A) 가 있을 때 '

1.  Q →  P 는 A의 역 (converse)   : 순서만 뒤집음
2.  ~Q →  ~P 는 A의 대우 (contrapositive) : 순서 뒤집 + 부정으로 바꿈
3. ~P → ~Q 는 A의 이(inverse) : 부정으로만 바꿈

추가로, 대우는 기본 명제와 동일한 진리값을 가진다.

참고 : 한동대학교 최희열 교수님 - 이산수학

 

 

+

https://itjaeseong.tistory.com/category/%EC%88%98%ED%95%99/%EC%9D%B4%EC%82%B0%EC%88%98%ED%95%99