Prawa kwadratu logicznego, konwersji itd


Niech S, P będą zmiennymi nazwowymi, czyli zmiennymi za które podstawia się nazwy języka naturalnego. Niech skrót „nS” (inaczej: nie-S) oznacza nazwę negatywną do nazwy podstawianej za S (np. nazwą negatywną do nazwy człowiek, jest nazwa nie-człowiek (czyli np.: ssak nie będący człowiekiem)

Sposób czytania zapisów symbolicznych:

SaP- każdy S jest P (wszystkie S-y są P)

SeP- żaden S nie jest P

SiP - niektóre S są P (co najmniej niektóre S są P; istnieje taki S, który jest P)

SoP- niektóre S nie są P (co najmniej niektóre S nie są P; istnieje taki S, który jest P)

TylkoSaP - tylko S jest P (tylko S-y są P)

TylkoSeP - tylko S nie jest P (tylko S-y nie są P)

TylkoSiP - tylko niektóre S-y są P

TylkoSoP - tylko niektóre S-y nie są P

Definicje zdań ze słowem „tylko”:

(Tylko SaP)  PaS

(Tylko SeP)  (nie-S a P)

(Tylko SiP)  (SiP  SoP)

(Tylko SoP)  (SiP  SoP)

  1. Prawa kwadratu logicznego

    1. dotyczące par zdań sprzecznych:

SaP  (SoP)

SoP  (SaP)

SeP  (SiP)

SiP  (SeP)

    1. dotyczące par zdań miedzy którymi jest związek wynikania logicznego

SaP → SiP

SeP → SoP

Na podstawie powyższych praw:

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

SiP  SoP

    1. wykluczających się wzajemnie (przeciwnych)

SaP → (SeP)

SeP → (SaP)

  1. Prawa konwersji

SiP  PiS

SeP  PeS

SaP → PiS

SeP → PoS

Na podstawie praw konwersji:

  1. 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ą:

Z2: Żaden czyn nakazany nie jest czynem niedozwolonym.

Z1: Każdy dobry aktor jest artystą.

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

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.

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

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

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

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

Z1: 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)

  1. 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:

Z1: Każdy czyn nakazany jest czynem dozwolonym.

Z2: Każdy czyn nie-dozwolony jest czynem nie-nakazanym.

Z1: Niektóre ptaki nie potrafią latać.

Z2: Niektóre zwierzęta nie- 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.

wynika logicznie zdanie: Co najmniej niektóre osoby nie-doświadczone

nie są nie- młode.



Wyszukiwarka

Podobne podstrony:
Prawa+kwadratu+logicznego, [ POZOSTAŁE ], [ Logika ]
Prawa+kwadratu+logicznego, [ POZOSTAŁE ], [ Logika ]
Prawo cywilne, Prawo cywilne obok prawa konstytucyjnego, finansowego, karnego itd
Kwadrat logiczny dla zdań modalnych i deontycznych, zadania
Kwadrat logiczny dla zdań kategorycznych i kontrapozycja zupełna, zadania 2
kwadrat logiczny 1
Instytucje i źródła prawa unii europejskiej konwersatorium (1), Ekonomia, Prawo
Kwadrat logiczny dla zdań modalnych i deontycznych, zadania 2
Kwadrat logiczny dla zdań modalnych i deontycznych zadania
Kwadrat logiczny dla zdań kategorycznych i kontrapozycja zupełna zadania
kwadraty logiczne
kwadrat logiczny, błędy popełniane w zadaniach
Logika kwadrat logiczny
Kwadrat logiczny dla zdań kategorycznych i kontrapozycja zupełna zadania
Kwadrat logiczny dla zdań modalnych i deontycznych zadania
application assets Notes 2344 1051 6 kwadrat logiczny

więcej podobnych podstron