2 (3169)

2 (3169)



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-hun^,! 7dań-- .

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

Vx


(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}



Wyszukiwarka

Podobne podstrony:
tryg Tpj/ fro/joM eT&Ą Q) 2aziacz Lo uUZcułuc u^Tn^oL^cjcin Ićę-t slaerotoau^ o ftiieize cjdd cJ
CCI20110511006 (2) Obwiednia momentów zginających 1 P-4$,$S Q-W ^ l t i P Z_: P £k k lo !. 4,95
60848 strona51 SfCRęcAWie    0 pkl£Kd03V * £o vpa£vu-je,w^ tru łu lito sicYjtoUut
m 1 “ł Horton Ghost Boot Wizard M Wetoorre to te GHost Boot Y/zan: Ooo** r>* w c* wx ó*k you woM
polityka(1) ...P/INIE. CT/ł JUZ T/łk PbUGO W SEJMIE SIEPZĘ. ZE CHriCT WIE KTO MNIE WYBR/*t I PO
^ r * ^ ... .9anawvH _ il» • i ttdTi
6171 u WF / CT. i s y, ■ / Nf, ^.1 F I I L# r rsłv i ■ ■ ■ i Bi t - W N-ł >
O 11/0 CV*r Pink UfH*d $c*d Bcad l -J lOmm BUck Indewnt łk)gt« B**d # Sram BUck lr»dc*ccnt Bead
monograficzny 07 ■ AJ ‘tPjOjćjiu3 ćA ! ( Łk)i. /{ji^Iu^j.— JLudaSSuL . J /J>f & .  &n

więcej podobnych podstron