101009

III.    Prawa obwersji SaP <-» S e nie-P SeP <-> S a nie-P SiP hSo nie-P SoP <-» S i nie-P

Na podstawie praw obwersji paiy zdań równoważnych logicznie tworzą:

Zl: Każdy czyn nakazany jest czynem dozwolonym Z2: Żaden czyn nakazany nic jest czynem niedozwolonym.

Zl: Każdy dobry aktor jest artystą.

Z2: Żaden dobry aktor nie jest nie-artystą.

Zl: Żaden młody człowiek nie jest człowiekiem doświadczonym.

Z2: Każdy młody człowiek jest człowiekiem niedośw iadczonym.

Zl: Żadne twierdzenie metafizyczne nie jest spraw dzalne.

Z2: Każde dośw iadczenie metafizyczne jest niespraw dzalne.

Zl: Niektóre dzieła naukowe są podręcznikami.

Z2: Niektóre dzieła naukowe nie są nie-podręcznikami.

Zl: Niektóre czyny dozwolone są czynami nakazanymi.

Z2: Niektóre czyny dozw olone nie są czynami nie-nakazanymi.

Zl: Niektóre osoby nie są konsekwentne.

Z2: Niektóre osoby są nie-konsekwentne.

Zl: Niektóre kłamstwa nie są złem.

Z2: Niektóre kłamstwa są tym co nie jest złem (niektóre kłamstwa są nie-złem)

IV.    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

Na podstawie praw kontrapozycji:

parę zdań równoważnych logicznie tworzą

Zl: Każdy czyn nakazany jest czynem dozw olonym.

Z2: Każdy czyn nie-dozw olony jest czynem nie-nakazanym. parę zdań równoważnych logicznie tworzą Zl: Niektóre ptaki nie potrafią latać.

Z2: Niektóre zwierzęta nic- potrafiące latać nie są nie-ptakami.

- ze zdania: Każdy czyn nakazany jest czynem dozwolonym, wynika logicznie zdanie: Co najmniej niektóre czyny niedozwolone są czynami nie-nakazanymi.

ze zdania: Żaden młody człow iek nie jest człow iekiem dośw iadczonym,