→ Definicje Z 1.8 I 1.9 → Začnite sa učiť / Stiahnite si MP3 Flashcards

stiahnuť mp3 vytlačiť hrať Skontrolujte sa

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

definicje z 1.8 i 1.9

Ak chcete pridať komentár, musíte byť prihlásený.

viac