[이산수학] 명제와 논리

용어

propositional 명제

contrapositive 대우

 

Propositional Logic

문장 중에서 참과 거짓을 명확하게 나타낼 수 있는 식을 명제라고 한다.

 

Operators/Connectives

 

 

Negation operator

부호를 반대로 만든다. 모양은 ㄱ

truth table

 

Conjunction operator

둘이 연결되는 수식으로 앞 뒤가 모두 참이어야 참이다. 모양은 ^ (^nd = And)

truth table

 

Disjunction operator

둘이 연결되는 수식으로 둘중 하나라도 참이면 참이다. 모양은 v

truth table

 

Exclusive-OR operator

둘이 연결되는 수식으로 둘이 서로 달라야 참이다. 모양은 O안에 +가 있는 모양

truth table

 

Implication operator

연결되는 수식으로 앞이 p, 뒤가 q라고 했을때

p가 true면 q도 true고 p가 false면 q는 true일 수도 있고 아닐 수도 있다. 모양은 -> 이다

truth table

 

Biconditional operator

p이면 q이고, q이면 p다. 두 명제 모두 참이거나 거짓일때만 참이다.

모양은 <->