konwersja |
SeP=PeS SiP=PiS |
SaP > PiS |
nie podlega: SoP |
obwersja |
SaP=S e nie-P SeP=S a nie-P SiP=S o nie-P SoP=S i nie-P |
||
kontrapozycja |
SaP=nie-P a nie-S SoP=nie-P o nie-S |
SeP > nie-P o nie-S |
nie podlega: SiP |
inwersja |
|
SaP > nie-S i nie-P SeP > nie-S o nie-P |
nie podlega: SiP SoP |
koniunkcyjne A jest B i C (i jako N/NN)
enumeracyjne A i B jest C = A jest C i B jest C (i jako Z/ZZ)
syntetyzujące A i B RAZEM WZIĘTE jest C > (i jako N/NN)
zam: s t z nadrz: as t az podrz: as t az (k)niez: s nont az (k)pdp: s nont az (w)prz: s nont az (w)sprz: s at az |
koniunkcja (współprawdziwość) s t nonz dysjunkcja (niewspółprawdziwość) s nont nonz binegacja (współfałszywość) s t nonz alternatywa zw. (niewspółfałsz) s nont nonz równoważność (zw. zgodności...) s t z alternatywa rozł. (zw. niezgodności...) s at az implikacja/implikacja odwrotna nons t z |
|
SaP |
SeP |
SiP |
SoP |
SaPvSeP |
SiPvSoP |
tylko SaP |
tylko SeP |
zamien |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
nadrz |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
podrz |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
(k)niez (k)pdp |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
niez 0 pdp 1 |
(w)prz (w)sprz |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
prz 0 sprz 1 |
p>p tożsamości
~(p^~p) niesprzeczności
pv~p wyłączonego środka
~(~p)=p podwójnego przeczenia
(p>~p)>~p redukcja do absurdu
[(p>q)^p]>q s. konstrukcyjny
[(p>q)^~q]>~p s. destrukcyjny
[(pvq)^~p]>q s. alternatywny
[(pvq)^~q]>p s. alternatywny
[(p/q)^p]>~q s. dysjunkcyjny
[(p/q)^q]>~p s. dysjunkcyjny
(p>q)>(~q>~p) transpozycja pr.
~(p^q)=(~pv~q) I prawo de Mor
~(pvq)=(~p^~q) II prawo de Mor
q>(p>q) char. prawdy symplifik.
~p>(p>q) charakterystyka fałszu
p^~p>q prawo Dunsa Szkota
~(p>q)>(q>p) negowanie implik
[(p>q)^(q>r)]>(p>r) syl. hip. kon.