działań grup na zbiorach, modułów nad pierścieniami (przestrzeni liniowych nad ciałami; w tym modułów/przestrzeni sprzężonych), czy grup z operatorami.
Rachunek kwantyfikatorów Ścisłe rozdzielności Pewne własności kwantyfikatorów nazywa się rozdzielnością, np.: kwantyfikatora dużego względem koniunkcji:
kwantyfikatora małego względem alternatywy:
Słabsze wynikania Kwantyfikator duży nie jest rozdzielny względem alternatywy, jednak zachodzi słabsza implikacja, w jedną stronę:
Kwantyfikator mały nie jest rozdzielny względem koniunkcji, jednak zachodzi słabsza implikacja, w jedną stronę:
Kwantyfikator duży nie jest rozdzielny względem implikacji, jednak zachodzi słabsze wynikanie, w jedną stronę, nazywane prawem rozkładania:
Kwantyfikator mały nie jest rozdzielny względem implikacji i nie zachodzą analogiczne reguły z implikacją w jedną stronę. Jest jednak podobne prawo, również nazywane prawem rozkładania:
Tabela Powyższe informacje można podsumować tabelą: +kwantyfikatorspójnik logicznykoniunkcja alternatywa implikacja duży taknieniemały nietaknie
Zobacz też modularność
Uwagi
Przypisy
Bibliografia
Literatura dodatkowa
Linki zewnętrzne Arytmetyka – rozdzielność mnożenia, Khan Academy, kanał „KhanAcademyPoPolsku” na YouTube [dostęp 2025-10-27].
Kategoria:Własności działań Kategoria:Dwuczłonowe relacje matematyczne Kategoria:Logika matematyczna