Prawa kwadratu logicznego, konwersji-opracowanie

Nasza ocena:

3
Pobrań: 182
Wyświetleń: 1085
Komentarze: 0
Notatek.pl

Pobierz ten dokument za darmo

Podgląd dokumentu
Prawa kwadratu logicznego, konwersji-opracowanie - strona 1 Prawa kwadratu logicznego, konwersji-opracowanie - strona 2 Prawa kwadratu logicznego, konwersji-opracowanie - strona 3

Fragment notatki:

Prawa kwadratu logicznego
dotyczące par zdań sprzecznych:
SaP ↔ ∼(SoP)
SoP ↔ ∼(SaP)
SeP ↔ ∼(SiP)
SiP ↔ ∼(SeP)
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.
dotyczące par zdań dopełniających się wzajemnie (podprzeciwnych)
SiP ∨ SoP
wykluczających się wzajemnie (przeciwnych)
SaP → ∼(SeP)
SeP → ∼(SaP)
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. 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ą:
Z1: Każdy czyn nakazany jest czynem dozwolonym
Z2: Żaden czyn nakazany nie jest czynem niedozwolonym.
Z1: Każdy dobry aktor jest artystą.
Z2: Żaden dobry aktor nie jest nie-artystą.
Z1: Żaden młody człowiek nie jest człowiekiem doświadczonym.
Z2: Każdy młody człowiek jest człowiekiem niedoświadczonym.
Z1: Żadne twierdzenie metafizyczne nie jest sprawdzalne.
Z2: Każde doświadczenie metafizyczne jest niesprawdzalne.
Z1: Niektóre dzieła naukowe są podręcznikami.
Z2: Niektóre dzieła naukowe nie są nie-podręcznikami.
... zobacz całą notatkę

Komentarze użytkowników (0)

Zaloguj się, aby dodać komentarz