Prawa rachunku zdań - Wikipedia, wolna encyklopedia Strona 1
Prawa rachunku zdań
Z Wikipedii
Ważniejsze prawa rachunku zdań:
prawo tożsamości (każde zdanie implikuje siebie)
prawo podwójnego przeczenia (dowolne zdanie równoważne jest podwójnej negacji tego zdania)
prawo przemienności koniunkcji
prawo przemienności alternatywy
prawo łączności koniunkcji
prawo łączności alternatywy
prawo idempotentności koniunkcji
prawo idempotentności alternatywy
prawo rozdzielności koniunkcji względem alternatywy
prawo rozdzielności alternatywy względem koniunkcji
prawo wyłączonego środka (z dwóch zdań: zdania lub jego zaprzeczenia jedno zawsze jest prawdziwe)
http://pl.wikipedia.org/wiki/Prawa_rachunku_zdań 2008-04-22 21:42:45
Prawa rachunku zdań - Wikipedia, wolna encyklopedia Strona 2
prawo to jest odpowiednikiem reguły tertium non datur (łac. trzeciej możliwości nie ma)
prawo sprzeczności (nie może być jednocześnie prawdziwe zdanie i jego zaprzeczenie)
prawa pochłaniania
inna postać
pierwsze prawo De Morgana (prawo zaprzeczenia koniunkcji)
drugie prawo De Morgana (prawo zaprzeczenia alternatywy)
prawo Claviusa (jeżeli zdanie wynika ze swojego zaprzeczenia, to jest prawdziwe)
prawo Dunsa Szkota (jeżeli zdanie jest fałszywe, to wynika z niego każde inne zdanie)
prawo symplifikacji (jeżeli zdanie jest prawdziwe, to wynika ono z każdego innego)
prawo sylogizmu, prawo przechodności implikacji (jeżeli z jednego zdania wynika drugie i z drugiego
trzecie, to z pierwszego wynika trzecie)
prawa transpozycji
jeżeli z jednego zdania wynika drugie, to z zaprzeczenia drugiego wynika zaprzeczenie pierwszego
prawo to jest odpowiednikiem arystotelesowskiej reguły wnioskowania modus tollendo
tollens (łac. sposób zaprzeczający przy pomocy zaprzeczenia)
http://pl.wikipedia.org/wiki/Prawa_rachunku_zdań 2008-04-22 21:42:45
Prawa rachunku zdań - Wikipedia, wolna encyklopedia Strona 3
jeżeli z zaprzeczenia zdania wynika drugie zdanie, to z zaprzeczenia drugiego wynika pierwsze
prawo to jest odpowiednikiem arystotelesowskiej reguły wnioskowania modus tollendo
ponens (łac. sposób potwierdzający przy pomocy zaprzeczenia)
jeżeli z jednego zdania wynika zaprzeczenie drugiego, to z drugiego wynika zaprzeczenie pierwszego
prawo to jest odpowiednikiem arystotelesowskiej reguły wnioskowania modus ponendo
tollens (łac. sposób zaprzeczający przy pomocy potwierdzenia)
prawo odrywania (jeżeli z jednego zdania wynika drugie i pierwsze jest prawdziwe, to drugie należy
uznać za prawdziwe)
prawo to jest odpowiednikiem arystotelesowskiej reguły wnioskowania modus ponendo
ponens (łac. sposób potwierdzający przy pomocy potwierdzenia)
prawo eliminacji implikacji
prawo zaprzeczenia implikacji
prawo redukcji do absurdu (reductio ad absurdum)
prawo Fregego
Zobacz też
przegląd zagadnień z zakresu matematyki
Algebra Boola
y
ródło: "http://pl.wikipedia.org/wiki/Prawa_rachunku_zda%C5%84"
Kategoria: Prawa rachunku zdań
TÄ™ stronÄ™ ostatnio zmodyfikowano 23:54, 11 lis 2007.
Tekst udostępniany na licencji GNU Free Documentation License. (patrz: Prawa autorskie)
http://pl.wikipedia.org/wiki/Prawa_rachunku_zdań 2008-04-22 21:42:45
Prawa rachunku zdań - Wikipedia, wolna encyklopedia Strona 4
Wikipedia® jest zarejestrowanym znakiem towarowym Wikimedia Foundation. Możesz przekazać dary
pieniężne Fundacji Wikimedia.
Zasady ochrony prywatności O Wikipedii Informacje prawne
http://pl.wikipedia.org/wiki/Prawa_rachunku_zdań 2008-04-22 21:42:45