a> Teoc. v

tpj Ccdu-g. \

gt ^mź^jfti|Łk.lo<A*fecc 31 ^ ze ^ssuj (TTiHTl1 1 l'j i i

Xł±&

rrtr:

_ FfVWS|E &«J uLaŁuOuaa.    _    0

(^    iJUł44^v

cj jeżeli wyrażenie J3" jest zdaniem to wyrażenie „NTJT B“ jest również zdaniem

d)    jeżeli J3” i „C^,J są zdaniami to: (B A2<ę> C), (B <\& C), (B w-yąfls^, C), (B - C) leź są zdaniami Predykaty- rozszerzenie pojęcia. zdania o identyfikatory numeryczne i kwamyfikatorów rrp.:

(B AAJD A)<yR C -to jest zdanie ((x+y^<z))A/^D AX^R C - to jest predykat -^r^f-^huⁿ^^{,! 7}dań-- .

a)    prawa penem i enn ości

(dlMe2)0 (e2~AADel)    *

(cl «Re2)0(e2<S^el)

(cl co e2)<^ (e2 co el)

b)    . prawa łączności

cl AN$e2 AND c3)« (cl AND e2)AND e3 cl OR(c2 OR e3)<=> (cl OR e2)0R e3

c)    -prawa rozdzielności

e! ANlXe2 OR c3)<=> (el AND c2)0R(el AND e3) el 0R(e2 AND c3)® (el 0Re2)AND<el OR e3) c) prąwa_De_M°^rga.i)a

NOT(el 0Re2)<»(NÓT el)AND(NOT e2)

N0T(el AND e2)«(N0T e!)OR(NOT e2)

e)    i^^ŁjXMlaQjnego przeczenia ŃOT(NOT el)«”ct

e 1 OR (NOT^e 1) <=> true

ei

sl

V_x

(e2 a £S)C=) (^t ( € 2 V el)C~) (e 1

ei A U2 v/ e\) r (eU €2)

A*2

f cL)

(cf^e

g)    prawa zaprzeczems.

cl AND (NOT cl) co falsc

h)    prawa implikacji

el => e2 co (NOT el)OR e2

i)    prawa równow*ażii_aści

(el co c2)co(el «> c2)AjND(e2 => el)

j)    prawa uproszczenia al tematy wy

cl OR el co el

eł OR true o true    *

el OR falsc co cl el OR(el .AND c2) co el 30 prawa uproszczenia koniunkcji e ł AND e 1 co e l ^v el AND rrue co el el AND false co false

e! AND (cl AV6e2) o el el _A v el) 3 e t-i) prawa identyczności

v el co el

Podać i omówić na wybranych przypisania oraz instrukcji złożonej.

przykładach reguły

dowodzenia dla instrukcji

a) Reguła dowodzenia dla instrukcji przypisania:

(A(x«~E)} x:= E {A}