293017405

293017405



Etap 9 - standaryzacja zmiennych

->Standaryzacja zmiennych w niezależnych klauzulach.

-^Każdej zmiennej można nadać inną nazwę, co nie zmieni znaczenia logicznego, a zapobiega myleniu zmiennych podczas dowodzenia.


Przykład konwersji

Vx:lRoman(x) aknow(x,Marcu.1;)] —»[hate(x,Caesar) v (Vy: 3z : haie(y,z) —>thinkcrazy(x,>'))] i (etap 1)

V*: ~{Roman(x) a know(x,Marcuś)] v [hate(x,Caesar) v (Vy: -i(3z: hale(y, z)) v thinkcrazy(x, y))]

| (etap 2)

V*: [—\Roman(x) v —tknow(x,Marcus)] v [/tare(x, Caesar) v (Vy: Vz: —\hate( y, z) v thinkcrazy(x, y))] i (etap 4)

: Vy: Vz:    v —>know(x,Marcus)\ v

[/ra/e(jt, Caesar) v (—ihate(y, z) v thinkcrazy(x, y))]

| (etap 6)

[—v -i&wowf*, Marcuj)] v [/ta/e(.x,Caesar) v (—iha!e(y, z) v thinkcrazy(x, y))] | (etap 7)

—iRoman(x) v —\know{x, Marcus) v hate(x,Caesar) v —ihate(y, z) v thinkcrazy(x, y)

36


18



Wyszukiwarka

Podobne podstrony:
Etap 3 - standaryzacja zmiennych Zmienne opisywane przez różne kwantyfikatory otrzymują różne
Image055 zerojedynkowe zmiennych niezależnych. Ostatnia kolumna jest przeznaczona do zapisania warto
img290 Zmienną *10 uważać będziemy za zmienną zależną, natomiast x5 za zmienną niezależną. Po dokona
statystyka skrypt62 4.3. Regresja jednej zmiennej niezależnej 4.3.1. Opis metody Powszechnie stosow
img138 138 rozszerzany zbiór liczb rzeczywistych różniczka zmiennej niezależnej różniczka
img270 Krokowe procedury wprowadzania zmiennych niezależnych do liniowego modelu regresji s<
img290 Zmienną *10 uważać będziemy za zmienną zależną, natomiast x5 za zmienną niezależną. Po dokona
rozwojówka ćw ( 04 09 i 5 05 090 BSjpasssaaasafc 31; ; V j • • % jako funkcja poprzedzających je z
Slajd3 7 •    Liczba stopni swobody - liczba możliwych w układzie zmiennych niez
P1070702 Od jakich czynników (zmiennych niezależnych) zależą te zmienne?
page0065 WROŃSKIEGO ŻYCIE I PRACE. 55 * Niechaj rr2, r3...... będą zmienne niezależne lub funkcye je
kupisiewicz dydaktyka ogólna6 36 Dydaktyka oc/ólna zmienną niezależną (lub zmienne niezależne), pod
201306060846 Pojęcia i terminy statystyczne • zmienne niezależno - takie zmienne których wartości m

więcej podobnych podstron