2808184537

I.    Prawa kwadratu logicznego

a)    dotyczące par zdań sprzecznych:

SaP ~(SoP)

SoP <-» ~(SaP)

SeP <-> —(SiP)

SiP <-> ~(SeP)

b)    dotyczące par zdań miedzy którymi jest związek wynikania logicznego SaP SiP

SeP —> SoP

Na podstawie powyższych praw:

ze zdania: Każdy adwokat jest prawnikiem, wynika logicznie zdanie: Co najmniej niektórzy adwokaci są prawnikami.

Ze zdania: Żaden czyn prawnie dozwolony nie jest czynem prawnie zakazanym, wynika logicznie zdanie: Co najmniej niektóre czyny prawnie dozwolone nie są czynami prawnie zakazanymi

c)    dotyczące par zdań dopełniających się wzajemnie (podprzeciwnych)

SiP v SoP

d)    wykluczających się wzajemnie (przeciwnych)

SaP -»~(SeP)

SeP -»~(SaP)

II.    Prawa konwersji 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 stworzenia 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 nie są podziałami typologicznymi