definicje z 1.8 i 1.9

 0    21 flashcards    logika123
tải về mp3 In chơi tự kiểm tra
 
câu hỏi język polski câu trả lời język polski
Formalizacja rachunku zdań
bắt đầu học
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ń
bắt đầu học
to pierwszy etap formalizacji rachunku zdań, przeprowadza się go dobierając określony zestaw tez jako aksjomatów.
reguła podstawienia
bắt đầu học
jeżeli wyrażenie postaci A jest tezą rachunku zdań,
-
bắt đầu học
to tezą rachunku zdań jest też wyrażenie postaci B powstałe z A
-
bắt đầu học
przez konsekwentne podstawienie za występującą w nim zmienną zdaniową dowolnego wyrażenia rachunku zdań.
Reguła odrywania
bắt đầu học
jeżeli wyrażenie postaci A → B jest tezą rachunku zdań
-
bắt đầu học
i wyrażenie postaci A jest tezą rachunku zdań,
-
bắt đầu học
to także wyrażenie postaci B jest tezą rachunku zdań.
Reguła zastępowania
bắt đầu học
jeżeli wyrażenie postaci A jest tezą rachunku zdań,
-
bắt đầu học
to tezą rachunku zdań jest także wyrażenie postaci B powstałe z A
-
bắt đầu học
przez zastąpienie występującego w A wyrażenia rachunku zdań
-
bắt đầu học
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,
bắt đầu học
jest ciąg wyrażeń rachunku zdań, taki że każde wyrażenie tego ciągu jest albo jednym z aksjomatów 1-3,
-
bắt đầu học
albo powstaje z wcześniejszego wyrażenia ciągu przez zastosowane reguły podstawiania,
-
bắt đầu học
albo powstaje z wcześniejszych wyrażeń ciągu przez zastosowanie reguły odrywania,
-
bắt đầu học
albo powstaje z wcześniejszego wyrażenia ciągu przez zastosowanie reguły zastępowania,
-
bắt đầu học
a przy tym ostatnim wyrażeniem tego ciągu jest wyrażenie W.
Dowodzenie
bắt đầu học
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
bắt đầu học
jest taki ciąg wyrażeń, że każde wyrażenie tego ciągu albo jest jednym z aksjomatów zbioru A,
-
bắt đầu học
albo powstaje z wcześniejszych wyrażeń tego ciągu przez zastosowanie którejś z reguł zbioru R,
-
bắt đầu học
a przy tym ostatnim wyrażeniem tego ciągu jest wyrażenie W.

Bạn phải đăng nhập để đăng bình luận.