캐르릉


선언 삼단논법이란 A는 B이다. B는 C이다. 고로 A는 C이다.의 추론이다. 예시를 통해 살펴보자.


1. 배신하면 순애이다.



2. 행복하면 배신이다.




이제 2 -> 1 순서로 적용해보면 다음을 안다.


행복하면 순애이다.


우리 모두 행복한 순애를 하도록 하자.