→ Definicje Z 1.8 I 1.9 → Začněte se učit / Stáhněte si MP3 karty

stáhnout mp3 Vytisknout hrát zkontrolovat se

otázka		odpověď
Formalizacja rachunku zdań začněte se učit		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ń začněte se učit		to pierwszy etap formalizacji rachunku zdań, przeprowadza się go dobierając określony zestaw tez jako aksjomatów.
reguła podstawienia začněte se učit		jeżeli wyrażenie postaci A jest tezą rachunku zdań,
- začněte se učit		to tezą rachunku zdań jest też wyrażenie postaci B powstałe z A
- začněte se učit		przez konsekwentne podstawienie za występującą w nim zmienną zdaniową dowolnego wyrażenia rachunku zdań.
Reguła odrywania začněte se učit		jeżeli wyrażenie postaci A → B jest tezą rachunku zdań
- začněte se učit		i wyrażenie postaci A jest tezą rachunku zdań,
- začněte se učit		to także wyrażenie postaci B jest tezą rachunku zdań.
Reguła zastępowania začněte se učit		jeżeli wyrażenie postaci A jest tezą rachunku zdań,
- začněte se učit		to tezą rachunku zdań jest także wyrażenie postaci B powstałe z A
- začněte se učit		przez zastąpienie występującego w A wyrażenia rachunku zdań
- začněte se učit		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, začněte se učit		jest ciąg wyrażeń rachunku zdań, taki że każde wyrażenie tego ciągu jest albo jednym z aksjomatów 1-3,
- začněte se učit		albo powstaje z wcześniejszego wyrażenia ciągu przez zastosowane reguły podstawiania,
- začněte se učit		albo powstaje z wcześniejszych wyrażeń ciągu przez zastosowanie reguły odrywania,
- začněte se učit		albo powstaje z wcześniejszego wyrażenia ciągu przez zastosowanie reguły zastępowania,
- začněte se učit		a przy tym ostatnim wyrażeniem tego ciągu jest wyrażenie W.
Dowodzenie začněte se učit		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 začněte se učit		jest taki ciąg wyrażeń, że każde wyrażenie tego ciągu albo jest jednym z aksjomatów zbioru A,
- začněte se učit		albo powstaje z wcześniejszych wyrażeń tego ciągu przez zastosowanie którejś z reguł zbioru R,
- začněte se učit		a przy tym ostatnim wyrażeniem tego ciągu jest wyrażenie W.

definicje z 1.8 i 1.9

Chcete-li přidat komentář, musíte se přihlásit.

více