8719220787

Modele Kripkego dla IRZ

Definicja 14.1. Modelem Kripkego dla IRZ nazywamy dowolną trójkę uporządkowaną <W, R, V> taką, że: (a) W jest niepustym zbiorem; (b) R jest relacją binarną w W, zwrotną i przechodnią w W, (c) V jest funkcją, której argumentami są formuły języka IRZ i elementy zbioru W, natomiast wartościami - prawda 1 i fałsz 0, spełniającą następujące warunki:

(i)    dla dowolnej zmiennej zdaniowej Pi, dla każdego w e W:

V(pi, w) = 1 lub V(pi,w) - 0;

(H) dla dowolnej zmiennej zdaniowej p,, dla każdego w e W

jeżeli V(pi, w) = 1 oraz wRw*, to V{p,, w*) = 1;

(ii)    dla dowolnej formuły A języka IRZ, dla każdego w e W: V(-,A, w) = 1

wtw dla każdego w* & W takiego, że wRw*. V(A, w*) = 0;

(iii)    dla dowolnych formuł A, B języka IRZ, dla każdego w e W

•    V(A a 8, w) = 1 wtw V(A, w) = 1 oraz V(B, w) = 1;

•    V(A v B, w) — 1 wtw V{A, w) = 1 lub V(B, w) = 1;

•    V(A zd B, w) = 1 wtw dla każdego w* e W takiego, że wRw*.

V{A,w*) = 0 lubV{B,w*) = '\.

13

Wyszukiwarka

Podobne podstrony:
Definicja 6.14 (Całka potrójna po obszarze w ft*) Niech f będzie funkcją ograniczoną i określoną nu
DSC03262 2. Modele reaktorów Cecha reaktorów przepływowych - w dowolnym miejscu reaktora warunki nie
Przetwarzanie i Rozdział 1 - Podstawowe pojęcia i definicje 14 Analiza Sygnałów 1.4. Klasyfikacja
Definicja 2. Stopą efektywną ief w okresie bazowym w chwili t dla okresu h nazywamy stopę, która spe
87 © MIM UW, 2011/12 Definicja 4.14. Niech p* będzie miarą zewnętrzną na X. Każdy zbiór Ac X spełnia
Tadeusz W.Boh, Wykłady z ekonometrii Modelem dynamicznym w węższym sensie nazywać będziemy modele z
IMGf64 XL KORESPONDENCJA FILOMATÓW Mickiewicz w Uście do Jana Czeczota z 2/14 sierpnia 1819 r. z teg
str127 (4) § 2. FUNKCJA BESSELA 127 Definicja 3. Funkcją Bessela pierwszego rodzaju o wskaźniku v na
IMGT58 104 Taka definicja edukacji znajduje uzasadnienie w zjawisku, które nazywane jest kryzysem-pr
page0064 58 DEFINICYA 1 EPOKI FILOZOFII GRECKIEJ. jest metoda i jak dowolną, która rzeczywistość dzi
MATEMATYKA046 84 II. Ciągi i szeregi liczbowv KRYTERIUM DALEMBERTA (dla szeregów o wyrazach dowolnyc
22507 str297 5 5. POCHODNE TENSORÓW 297 Definicja 7. Pochodną kowariantną tensora kontrawariantnego
weekendowe dni Dni, w których ludzie odpoczywają i mają czas dla siebie, nazywamy krótko - weekendem
DSC00008 (14) /bn>r par w których poprzednik jest dowolnym etemenfem przecmdzied/iny relacji a na
1.3. DEFINICJA. Homomorfizm liniowy posiadający odwzorowanie odwrotne nazywa się i/omorfi/mem przest

więcej podobnych podstron