Prawa pochłaniania dla koniunkcji:
(pÙq) ® p; (pÙq) ®q
Prawa pochłaniania dla alternatywy: p ® (pÚq); q ® (pÚq)
Prawa przemienności:
Prawo przemienności koniunkcji: (pÙq) « (qÙp)
Prawo przemienności alternatywy: (pÚq) « (qÚp)
Prawo przemienności równoważności: (p«q) « (q«p)
Prawa wzajemnej definiowalności spójników logicznych:
(p®q) « (~pÚq)
(pÙq) « ~(p®~q)
(pÚq) « (~p®q)
(p«q) « [(p®q) Ù (q®p)]
(p®q) « ~(pÙ~q)
Prawa dotyczące mocy spójników logicznych:
(pÙq) ® (p«q)
(pÙq) ® (p®q)
(pÙq) ® (pÚq)
(p«q) ® (p®q)
Prawa dotyczące spójników równoważności i negacji:
(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 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
Charakterystyka prawdy: p ® (q ®p)
Charakterystyka fałszu: ~p ® (p ® q)
Prawo Dunsa Szkota: (pÙ~p) ® q
(Tylko SaP) « PaS
(Tylko SeP) « (nie-S a P)
(Tylko SiP) « (SiP Ù SoP)
(Tylko SoP) « (SiP Ù SoP)
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
c)dotyczące par zdań dopełniających się wzajemnie (podprzeciwnych)
~(SiP) → SoP
~(SoP) → SiP
d)wykluczających się wzajemnie (przeciwnych)
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
Nazwy
proste – złożone
puste – jednostronne – ogólne
konkretne – abstrakcyjne
indywidualne – generalna
ostre – nieostre
zbiorowe – niezbiorowe
niewyraźne – wyraźne
Zdanie - w sensie logicznym wyrażenie, któremu przysługuje wartość logiczna prawdę lub fałszu, zd. pytające i rozkazujące nie są zd. w sensie logicznym
F. zdaniowa - wyrażenie z co najmniej jedną zmienną, z którego otrzymamy zdanie po podstawieniu w miejsce wszystkich zmiennych w nim występujących, wyrażeń języka naturalnego o tych samych kategoriach co odpowiednie zmienne - brak wartości logicznej
Nazwa - to wyrażenie służące do oznaczania pewnych obiektów, wskazywanie pewnych obiektów; wyrażenie, które może wystąpić w roli podmiotu lub orzecznika w co najmniej jednym zdaniu typu S jest to P.
F. nazwowa - wyrażenie c co najmniej 1 zmienną, z którego otrzymamy nazwę po podstawieniu we wszystkie zmienne, wyrażeń języka naturalnego o tych samych kategoriach
Funktor - wyrażenie niesamodzielne znaczeniowo, które w połączeniu z pewnymi wyrażeniami (argumentami danego funktora) tworzy wyrażenie bardziej złożone.
...
ewa07