definicje z 1.8 i 1.9

 0    21 tarjetas    logika123
descargar mp3 imprimir jugar test de práctica
 
término język polski definición język polski
Formalizacja rachunku zdań
empezar lección
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ń
empezar lección
to pierwszy etap formalizacji rachunku zdań, przeprowadza się go dobierając określony zestaw tez jako aksjomatów.
reguła podstawienia
empezar lección
jeżeli wyrażenie postaci A jest tezą rachunku zdań,
-
empezar lección
to tezą rachunku zdań jest też wyrażenie postaci B powstałe z A
-
empezar lección
przez konsekwentne podstawienie za występującą w nim zmienną zdaniową dowolnego wyrażenia rachunku zdań.
Reguła odrywania
empezar lección
jeżeli wyrażenie postaci A → B jest tezą rachunku zdań
-
empezar lección
i wyrażenie postaci A jest tezą rachunku zdań,
-
empezar lección
to także wyrażenie postaci B jest tezą rachunku zdań.
Reguła zastępowania
empezar lección
jeżeli wyrażenie postaci A jest tezą rachunku zdań,
-
empezar lección
to tezą rachunku zdań jest także wyrażenie postaci B powstałe z A
-
empezar lección
przez zastąpienie występującego w A wyrażenia rachunku zdań
-
empezar lección
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,
empezar lección
jest ciąg wyrażeń rachunku zdań, taki że każde wyrażenie tego ciągu jest albo jednym z aksjomatów 1-3,
-
empezar lección
albo powstaje z wcześniejszego wyrażenia ciągu przez zastosowane reguły podstawiania,
-
empezar lección
albo powstaje z wcześniejszych wyrażeń ciągu przez zastosowanie reguły odrywania,
-
empezar lección
albo powstaje z wcześniejszego wyrażenia ciągu przez zastosowanie reguły zastępowania,
-
empezar lección
a przy tym ostatnim wyrażeniem tego ciągu jest wyrażenie W.
Dowodzenie
empezar lección
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
empezar lección
jest taki ciąg wyrażeń, że każde wyrażenie tego ciągu albo jest jednym z aksjomatów zbioru A,
-
empezar lección
albo powstaje z wcześniejszych wyrażeń tego ciągu przez zastosowanie którejś z reguł zbioru R,
-
empezar lección
a przy tym ostatnim wyrażeniem tego ciągu jest wyrażenie W.

Debes iniciar sesión para poder comentar.