Prawa rachunku zdań.pdf

(81 KB) Pobierz

(Prawa rachunku zda\361 - Wikipedia, wolna encyklopedia)

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

24824264.034.png

24824264.035.png

24824264.036.png

24824264.037.png

24824264.001.png

24824264.002.png

24824264.003.png

24824264.004.png

24824264.005.png

24824264.006.png

24824264.007.png

24824264.008.png

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

24824264.009.png

24824264.010.png

24824264.011.png

24824264.012.png

24824264.013.png

24824264.014.png

24824264.015.png

24824264.016.png

24824264.017.png

24824264.018.png

24824264.019.png

24824264.020.png

24824264.021.png

24824264.022.png

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

ń 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

24824264.023.png

24824264.024.png

24824264.025.png

24824264.026.png

24824264.027.png

24824264.028.png

24824264.029.png

24824264.030.png

24824264.031.png

24824264.032.png

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

24824264.033.png

Plik z chomika:

Inne pliki z tego folderu:

Błędy metodologiczne.doc (29 KB)
Kamiński -błędy logiczne- ściąga.doc (78 KB)
Ks. Kamiński- Systemstyzacja typowych błędów logicznych.pdf (4670 KB)
LOGIKA(1).doc (2488 KB)
Mała Logika-wprowadzenie.pdf (1152 KB)

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin