[이산수학] Representation of Implications
Implication - representations
if p then q와 동일한 표현 2탄
<목차>
- (완료) p only if q
- q is necessary for p
- p is sufficient for q
- q unless ¬p
<1. q is necessary for p>
ex) Good food is neccessary to keep us alive.
q : good food
p : alive
good food(q)는 alive(p)에 필수적인 요소이지만,
alive(p)를 설명하는 유일한 factor는 아니다.
= 필요조건!
q가 F이면, p가 F이지만,
q가 T라고, 반드시 p가 T인 것은 아니다.
| p | q | p->q |
| t | t | t |
| t | f | f |
| f | t | t |
| f | f | t |
| p | q | p->q |
| t | t | t |
| t | f | f |
| f | t | t |
| f | f | t |
<2. it is sufficient for p to q>
ex) it is sufficient for you to travel by car in order to reach your destination on time.
truth of A guarantees the truth of B
but we cannot guarantee the falsity of B from the falsity of A
<why p is not necessary for q?>
p 가 q에 필요조건이라 하자.
그러면 q가 T이면, p도 반드시 T여야 한다.
근데 (p->q 경우에서는) 아님.
<why q is not sufficient for p?>
q가 T일 때 p가 T여야 하나,
그렇지 않으므로
q는 p의 충분조건이 아니다.
<3. q unless ¬p>
except if
if p then q
q is true when p is true
q is true except when p is false
q is true except if p is false
q unless ¬p
Logical Operators − Implication (Part 3) - YouTube