→ Definicje Z 1.8 I 1.9 → Оқуды бастаңыз / MP3 флэш-карталарын жүктеу

сұрақ		жауап
Formalizacja rachunku zdań оқуды бастаңыз		jest to operacja polegająca na wyborze pewnych tez rachunku zdań jako aksjomatów i podaniu reguł wyprowadzania z jednych tez innych tez.
Aksjomatyzacja rachunku zdań оқуды бастаңыз		to pierwszy etap formalizacji rachunku zdań, przeprowadza się go dobierając określony zestaw tez jako aksjomatów.
reguła podstawienia оқуды бастаңыз		jeżeli wyrażenie postaci A jest tezą rachunku zdań,
- оқуды бастаңыз		to tezą rachunku zdań jest też wyrażenie postaci B powstałe z A
- оқуды бастаңыз		przez konsekwentne podstawienie za występującą w nim zmienną zdaniową dowolnego wyrażenia rachunku zdań.
Reguła odrywania оқуды бастаңыз		jeżeli wyrażenie postaci A → B jest tezą rachunku zdań
- оқуды бастаңыз		i wyrażenie postaci A jest tezą rachunku zdań,
- оқуды бастаңыз		to także wyrażenie postaci B jest tezą rachunku zdań.
Reguła zastępowania оқуды бастаңыз		jeżeli wyrażenie postaci A jest tezą rachunku zdań,
- оқуды бастаңыз		to tezą rachunku zdań jest także wyrażenie postaci B powstałe z A
- оқуды бастаңыз		przez zastąpienie występującego w A wyrażenia rachunku zdań
- оқуды бастаңыз		innym wyrażeniem rachunku zdań odpowiadającym mu na podstawie następujących definicji:
Dowodem wyrażenia W, na gruncie aksjomatów 1, 2 i 3, w oparciu o reguły podstawiania, odrywania i zastępowania, оқуды бастаңыз		jest ciąg wyrażeń rachunku zdań, taki że każde wyrażenie tego ciągu jest albo jednym z aksjomatów 1-3,
- оқуды бастаңыз		albo powstaje z wcześniejszego wyrażenia ciągu przez zastosowane reguły podstawiania,
- оқуды бастаңыз		albo powstaje z wcześniejszych wyrażeń ciągu przez zastosowanie reguły odrywania,
- оқуды бастаңыз		albo powstaje z wcześniejszego wyrażenia ciągu przez zastosowanie reguły zastępowania,
- оқуды бастаңыз		a przy tym ostatnim wyrażeniem tego ciągu jest wyrażenie W.
Dowodzenie оқуды бастаңыз		zabieg konstruowania dowodu owego wyrażenia.
Dowodem wyrażenia W, na gruncie aksjomatów tworzących zbiór A, w oparciu o reguły tworzące zbiór R оқуды бастаңыз		jest taki ciąg wyrażeń, że każde wyrażenie tego ciągu albo jest jednym z aksjomatów zbioru A,
- оқуды бастаңыз		albo powstaje z wcześniejszych wyrażeń tego ciągu przez zastosowanie którejś z reguł zbioru R,
- оқуды бастаңыз		a przy tym ostatnim wyrażeniem tego ciągu jest wyrażenie W.

definicje z 1.8 i 1.9

Пікір қалдыру үшін жүйеге кіру керек.

көбірек