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
(e2 a £S)C=) (^t ( € 2 V el)C~) (e 1
ei A U2 v/ e\) r (eU €2)
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}