81800 Zdj�cia 0093a
• /AD-8- J«eli fNT>(u >m • /
£«) = .■ ora'Wjp°;!7"^........
rNrv C° = F lub INT.(|1) p
lN * v(~»a v [i)« |*
- INT\(a V ^P). p
AD. 9. Wyrażenie p => q jest równoważne icnutiityc/nie wyrażeniu:
^ P a q )
-< P A -nq )
(p o q) v -.(q => p)
->(poq)A(q=>p)
ZAD. 10. Poniższe drzewo ilustruje /w .»<»i.v;uim ku lumku sekwentów dla sprawdź* hm ' ' i <=> p) jest tautologią.
|
tjrl o cc => 3 |
~ąp > -> -i(3 -> o ) |
|
cc, 3-> |
-i(3 a) |
|
CC. p, p : |
=>cc -> |
|
q- 3. Pv |
a —> |
1) -»-»((* P)«
2)
3)
4)
5)
Nakładając, że
nr 2 nr 3 nr 4 nr 5
»w wskaż
ZAD. 11. Zakładając, że x, y, / są zmiennymi mdywlduowymi p Q r „vn. .
napisy, które są formułami rachunku kwiintyf/hiimńw ’ ’ ’ 4 >'M H)|aim |)lr(|y|,i||(.
VxVy • p(x, z) o xs {y : y>zj
Vx • ->(x o x)) 3y • -,fy < > y;;
Vx3y • p(x) => (Bz • q(x,y,/) / r ary; • r(y)))
Vx(3x • (p(x) a q(x)))
poniż-
',A />. 12. Zakładając, że P, Q są predykatowi, *, y zmiennymi indvwi i„
yych formuł rachunku kwanty! ikatorów są hmudi^inmi gumowymi wd .,.- |.,)(Ir y
Vx • Vy • P(x,y) => 3x • Vy * Pf#,y;
(“•** . Vy • P(x,y) v 3x . Vy . Pfą.y), . (V„ . y .
Vx • (P(x) <=> QW) ^(Vx»P0u- . y. '••>)aVx. |y . ,p(Vv|)
Wyszukiwarka
Podobne podstrony:
Zdjďż˝cia 0093a • /AD-8- J«eli fNT>(u >m • / £«) = .■ ora Wjp°;!7"^....
fizyka cz1 ^1-Tl HrW*T* Ojr®? LLf Wra jzro^r^w £ OO0<5OG> 0Q J J-1—^-—--!-1--f_ i y t j~T ęo
IMAG0116 GL -i %T~j r* J j
img117 - II S*w = xry.-5n U (7.32) , rl SKMK^fy.-y i •J ^ 1 .i 1 r N (7.33) SKR = £ ^-y
IMG102 .ĄęótecMy a—dun~ - .. :~j.. U/(ATtaJO. «o£. Ojj^MdbJiM^d. <fta&2/^r
IMGU31 — l( Ot/ /tl—
skanuj0001 (446) <4&LCJL* 1/ o s y. -f i — !—j- &Ąoc oi&<£>f_
Spr 1 X CUttn.t>ałóU) X CUttn.t>ałóU) Ml/łnO« (nojp »j/ ^ łn<uxu£ dua<aUtiMiHM ukJa^
Obraz7 (51) nbciiicoia i ąwawtoawe nośności Ototsfc«ie*w* avldo* BB&óśmcamkncmy __ ł*J» 300 et
elefante com molde IW/-*/* w<>-»««» l*»J« 11*01 <Ł«* *f>ł* * t «<f
* * /f . j» - - vm r. 4 *r k VI • Ł• ^ p
IMAG0363 (5) w u w irw w mmti itea n»n§§4: RUl 3H r~i rt, fTT <N SęJ ■TM0 H t~> oj ad fo
ji £*»*"<*+ C*rr*c**A I>J€ c,aj£ Co-^ToriTiAjC, CACT Aliensr SptAjoSA/m/S fi TtJAT rr
Brb? AjWrt 6f PU bir>(Ąf, paj uim —j—taj*. _____ i.^hw. L Wv£- i
X • w - •j; -V* .>£fr tvV i *.. * *: + • £ vK ; T J
więcej podobnych podstron