>>85
>真が同等とかの意味がよく分からん
ここで書いた同等とはP→QとQ→Pがどちらも成立すること
>>86
排中律を仮定しない直感主義論理の場合でも¬(A∧¬A)は真のはず
Aが変わっても同等なのでは？
しかしA∧¬Aが区別されお互い同等でないなら¬(A∧¬A)も同等でなくなるのかなって疑問