>>103
最小論理だと人とA∧¬Aは同等でなくAとBが異なる命題変数なら
A∧¬AとB∧¬Bも同等じゃない
それは上記のモデルで両者の真理値はAとBの心理値に一致するので
それぞれ異なる真理値なら同等であり得ないから