Dodaj tę stronę do książki
Pokaż książkę (0 stron)
Proponowane stronyPojęcie używane w logice matematycznej; mówiąc o twierdzeniu przeciwnym, przeciwstawnym czy odwrotnym do wyjściowego, to wyjściowe nazwać można prostym. Np. "twierdzenia: przeciwstawne i proste są sobie zawsze równoważne".
