Przejdź do dokumentu

Prawa logiczne

przydatne prawa logiczne
Kurs

Logika prawnicza

124 Dokumenty
Studenci udostępnili 124 dokumentów w tym kursie
Rok akademicki: 2021/2022
Przesłane przez:

Komentarze

Aby publikować komentarze, zaloguj się lub zarejestruj się.

Przejrzyj tekst

Prawo zwrotności równoważności: p  p Zasada niesprzeczności: ( pp ) Prawo wyłączonego środka: p p Prawa pochłaniania dla koniunkcji: (pq)  p/q Prawa pochłaniania dla alternatywy: p/q  (pq); Prawo transpozycji: (p q)  (q  p) Wzmocnienie prawa transpozycji: (p q)  (q  p) Modus ponendo ponens: [(pq)  p]  q Modus tollendo tollens: [(pq)  q]  p Modus tollendo ponens: [(pq)  p]  q Prawo Dunsa Szkota: (pp)  q Prawa wzajemnej definiowalności spójników logicznych: (pq)  (pq) (pq)  (pq) (pq)  (pq) (pq)  (qp) (pq) (pq) (pq)  (pq) (pq)  (qp) (pq) (pq) (pq)  [(pq)  (qp)] Prawa dotyczące mocy spójników logicznych: (pq)  (pq) (pq)  (pq) (pq)  (pq) (pq)  (pq) I Prawo De Morgana: (pq)  (p  q) II Prawo De Morgana: (pq)  (p  q) Prawo negacji implikacji (pq)  (pq) Prawo sylogizmu hipotetycznego koniunkcyjnego: [(pq)  (qr)]  (pr) P hip. bezkoniunkcyjnego: (pq)  [(qr)  (pr)] Prawo eksportacji: [(pq)  r]  [p (qr)] Prawo importacji: [p (qr)]  [(pq)  r] Prawo eksportacji i importacji: [(pq)  r]  [p (qr)] Przydatne prawa bez nazwy: (pq)  (p  q) (pq)  (p  q) (Tylko Pas) SaP (Tylko SaP)  PaS (Tylko SeP)  (nie-S a P) (Tylko SiP)  (SiP  SoP) (Tylko SoP)  (SoP  SiP) Prawa kwadratu logicznego a) sprzecznych: /11/00/ SaP  (SoP) SoP  (SaP) SeP  (SiP) SiP  (SeP) c) (podprzeciwnych)/00/ SiP  SoP d) (przeciwnych)/11/ SaP  (SeP) SeP  (SaP) II. Prawa konwersji SiP  PiS SeP  PeS SaP  PiS SeP  PoS III. Prawa obwersji SaP  S e nie-P SeP  S a nie-P SiP  S o nie-P SoP  S i nie-P 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

Czy ten dokument był pomocny?

Prawa logiczne

Kurs: Logika prawnicza

124 Dokumenty
Studenci udostępnili 124 dokumentów w tym kursie
Czy ten dokument był pomocny?
Prawo zwrotności równoważności: p p
Zasada niesprzeczności: ( pp )
Prawo wyłączonego środka: p p
Prawa pochłaniania dla koniunkcji: (pq) p/q
Prawa pochłaniania dla alternatywy: p/q (pq);
Prawo transpozycji: (p q) (q p)
Wzmocnienie prawa transpozycji: (p q) (q p)
Modus ponendo ponens: [(pq) p] q
Modus tollendo tollens: [(pq) q] p
Modus tollendo ponens: [(pq) p] q
Prawo Dunsa Szkota: (pp) q
Prawa wzajemnej definiowalności spójników logicznych:
(pq) (pq)
(pq) (pq)
(pq) (pq)
(pq) (qp)
(pq) (pq)
(pq) (pq)
(pq) (qp)
(pq) (pq)
(pq) [(pq) (qp)]
Prawa dotyczące mocy spójników logicznych:
(pq) (pq)
(pq) (pq)
(pq) (pq)
(pq) (pq)
I Prawo De Morgana: (pq) (p q)
II Prawo De Morgana: (pq) (p q)
Prawo negacji implikacji (pq) (pq)
Prawo sylogizmu hipotetycznego koniunkcyjnego: [(pq)
(qr)] (pr)
P.sylogizmu hip. bezkoniunkcyjnego:
(pq) [(qr) (pr)]
Prawo eksportacji: [(pq) r] [p (qr)]
Prawo importacji: [p (qr)] [(pq) r]
Prawo eksportacji i importacji: [(pq) r] [p (qr)]
Przydatne prawa bez nazwy:
(pq) (p q)
(pq) (p q)
(Tylko Pas) SaP
(Tylko SaP) PaS
(Tylko SeP) (nie-S a P)
(Tylko SiP) (SiP SoP)
(Tylko SoP) (SoP SiP)
Prawa kwadratu logicznego
a) sprzecznych: /11/00/
SaP (SoP)
SoP (SaP)
SeP (SiP)
SiP (SeP)
c) (podprzeciwnych)/00/
SiP SoP
d) (przeciwnych)/11/
SaP (SeP)
SeP (SaP)
II. Prawa konwersji
SiP PiS
SeP PeS
SaP PiS
SeP PoS
III. Prawa obwersji
SaP S e nie-P
SeP S a nie-P
SiP S o nie-P
SoP S i nie-P
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