0783名無し検定1級さん (ワッチョイ 46ed-5Nuq)
2022/07/07(木) 10:26:35.05ID:P3cwmD4D0これが擬推移律の一種なのかどうかを気にしているのか
擬推移律というのは別に本質的な原理でもなんでもなく普通に考えれば分かる論理式にもっともらしく名前をつけてるだけ
これを擬推移律と呼ぶかどうかどうかはどうでもいいから擬推移律のことは一旦忘れて
{a,b}->cかつ{b,c}->dであれば{a,b}->dという式だけを見てそれが成り立つということが納得できればよい