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