→ Definicje Z 1.8 I 1.9 →开始学习 /下载MP3 Flashcards

问题		答案
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

您必须登录才能发表评论。

更多