심장을 가진 동물 신장을 가진 동물 모두 현실세계에선 동치이지만 어떤 가능세계에서는 심장을 가졋으나 신장을 안가질수도 있잖아 그러면 동치를 어떻개정의해야되나ㅇㅅㅇ? - dc official App
현실에서 그런 명제가 동치라는것을 확인한 방법은 귀납적인 방식이고 동치를 진리집합이 같은 명제사이의 관계라고 정의힌다면 이는 연역적인 방식이지
나는 양상논리 모르지만 양상논리와 관련 있어보임