104348

LOGKA

• prawa rachunku nazw

prawa wynikające z kwadratu logicznego

SaP wykluczanie SeP

wynikanie

SiP dopełnianie SoP

między S a P i S e P zachodzi relacja wzajemnego wykluczania się (nie mogą być zarazem prawdziwe):

S a P -> ~S e P S e P —> ~S a P

między S i P i S o P zachodzi relacja wzajemnego dopełniania się (nie mogą być zarazem fałszywe):

-S i P -a S o P ~S o P -a S i P

między S a P i S o P oraz między S e P i S i P zachodzi relacja sprzeczności (nie mogą być zarazem prawdziwe ani zarazem fałszywe):

S a P <-a ~S o P Se P <-a~ Si P

między S a P i S i P oraz między S e P i S o P zachodzi relacja wynikania (jeśli prawdziwe jest .górne" zdanie, to prawdziwe jest też zdanie .dolne'):

SaP-aSi P S e P —» S o P prawa konwersji (konwersja to zamiana miejscami podmiotu i orzecznika)

SePr-aPeS j konwersja prosta

konwersja ograniczona