Ítéletlogika: Ha A ítéletből következik B, és B ítéletből következik C, akkor A-ból következik C?

Ez pontosan így van; nézz annak utána, hogy ekvivalencia reláció, az majdnem ugyanez.

Annyi a különbség, hogy ekvivalencia relációknál ha A-ból megvan B, akkor B-ből is megvan A, de ítéletlogikában a következtetésnél ez nincs, tehát a következtetés nem szimmetrikus. Viszont a tranzitivitás (amit írsz) és a reflexivitás (A-ból következik A) teljesül.