→ Definicje Z 1.8 I 1.9 → Rozpocznij Naukę / Ściągnij Fiszki MP3

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

definicje z 1.8 i 1.9

Musisz się zalogować, by móc napisać komentarz.