→ 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

コメントを投稿するにはログインする必要があります。

もっと