a는 b이다.
b는 c이다.
그러면 a는 c이다.
그런데 a는 c가 아닌 케이스가 있다.
a는 b가 아니거나
b는 c가 아니거나
근데 a는 b이라는 공식이 다른곳에서 사용이 됨
P이고 Q이면 R이라는 큰 틀 자체가 아니겠지

- dc official App