A matematikai logikában mi a különbség A->B és A=>B összetett kijelentések között?

Konkretizáld hogy melyik területén a matematikának.

Elsőre azt mondanám így hogy A tart B-hez, másodikra meg hogy A-ból következik a B.

Hát most hirtelen az általad említett két jelölés mellett még a ⊃ jutott eszembe, de CAB-vel (C és AB esetleg más betűtípusú és/vagy stílusú) is lehet találkozni vele. Még zavart tud okozni ezen a szinten hogy a következmény reláció is hasonlóan viselkedik és arra is van még legalább két jelölés. Egyébként a jelölésrendszert általában az elején szokás tisztázni, sőt ideális esetben bevezetésre kerül egy formális nyelv.

A linkelt művelet (esetleg funktor) tárgyalástól függően kerül definiálásra és ekkor egy jelet is kap, hogy tudjunk rá hivatkozni. Az hogy mivel jelöljük, az mellékes.