112643

SiP <-> PiS SeP <-» PeS SaP -* PiS SeP —» PoS

Na podstawie praw konwersji:

Równoważne logicznie ze zdaniem: Niektóre ptaki potrafię latać, jest zdanie: Co najmniej niektóre zwierzęta potrafiące latać są ptakami. Równoważne logicznie ze zdaniem: Żaden kot nie jest psem, jest zdanie: Żaden pies nie jest kotem.

Ze zdania: Każdy pilny student otrzyma ocenę pozytywną z egzaminu z logiki, wynika logicznie zdanie: Co najmniej niektóre osoby jakie otrzymają pozytywną ocenę z egzaminu z logiki są pilnymi studentami. Ze zdania: Żaden podział typologiczny nie jest podziałem logicznym, wynika logicznie zdanie: Co najmniej niektóre podziały logiczne nic są podziałami typologicznymi

III. Prawa obwersji

SaP <-» S e nie-P SeP <-> S a nie-P SiP <-> S o nie-P SoP S i nie-P

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

Zl: Każdy czyn nakazany jest czynem dozw olonym Z2: Żaden czyn nakazany nie 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świadczonym.

Zl: Żadne tw ierdzenie metafizyczne nie jest sprawdzalne.

Z2: Każde doświadczenie metafizyczne jest niesprawdzalne.

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 dozwolone nie są czynami nic-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