→ Definicje Z 1.8 I 1.9 → Sāciet mācīties / Lejupielādēt MP3 flashcards

lejupielādēt mp3 Drukāt spēlēt pārbaudiet sevi

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

definicje z 1.8 i 1.9

Lai ievietotu komentāru, jums jāpiesakās.

vairāk