Prawa obwersji
SaP ↔ S e nie-P
SeP ↔ S a nie-P
SiP ↔ S o nie-P
SoP ↔ S i nie-P
Prawa kontrapozycji
SaP ↔ nie-P a nie-S
SoP ↔ nie-P o nie-S
SaP → nie-P i nie-S
SeP → nie-P o nie-S
(p→q) ↔(-pvq)
(piq) ↔-(p→-q)
(pvq) ↔(-p→q)
(p→q) ↔-(pi-q)
1.są ogólne, generalne, proste - krzesło, stół, kot, pies, prawnik, kodeks karny (np. ponieważ w różnych krajach obowiązuje inny) 2. są jednostkowe, generalne, złożone - najwyższa góra świata, najmniejsza liczba naturalna, obecny Sejm RP, obecny prezydent RP, zwycięzca męskiego sprintu na ostatniej letniej olimpiadzie 3. są abstrakcyjne, ogólne - płacz, zmęczenie, smutek, radość, bieg 5. są abstrakcyjne, jednostkowe, złożone - zbiór liczb naturalnych, radość reprezentancji Polski w piłce nożnej z wygranej z Belgami w 2006, zbiór liczb parzystych, 1+2 6. są puste, konkretne, niezbiorowe - krasnoludek, Koszałek Opałek, kwadratowe koło, Zeus, nimfa, król Polski po Poniatowskim 7.są abstrakcyjne, generalne, ogólne - płacz, zmęczenie, smutek, radość, bieg 8. są ogólne, zbiorowe - Sejm (bo może chodzić np. o Sejm w różnych kadencjach), las (bo jest ich wiele), kodeks karny (bo w różnych krajach i latach był inny), książka traktowana jako zespół stron (bo jest wiele książek), reprezentancja piłki nożnej 9. są proste, jednostkowe, generalne - Bóg (jako skrót: pierwsza przyczyna sprawcza), 0- jako skrót dla najmniejszej liczby naturalnej, 10. są indywidualne, puste, proste - Zeus, Posejdon (jako postaci mityczne), Rumcajs, Pegaz 11. indywidualne, złożone, puste - Koszałek Opałek
1. zwrotna, symetryczna, przechodnia - równoważności - równobarwności, równoważności logicznej, wyznawania tej samej religii, bycia prostymi równoległymi. 2. zwrotna, niesymetryczna, przechodnia - wynikania logicznej, bycia niewyższym, bycia liczba większa lub równą. 3. zwrotna, niesymetryczna, nieprzechodnia - różnicy wieku nie większej niż 2 lata 4. zwrotna, niesymetryczna, nieprzechodnia - bycie nie-bratem. 5. przeciwzwrotna, asymetryczna, przechodnia - porządkująca zbiór - podrzędność nazw, bycia lepszym adwokatem, bycia starszym, bycia liczba większą 6. przeciwzwrotna, symetryczna, nieprzechodnia - bycia zaprzeczeniem, krzyżowania zakresów nazw, bycia przeciwnej płci, różnienia się wiekiem 7. niezwrotna, niesymetryczna, nieprzechodnia - bycia matką/bratem, bycia dwukrotnością, bycia kochanym, nauczania, bycia w czymś lepszym, 8. porządku liniowego - bycie liczbą większą