Untitled Scanned 22

58

66.    n(/> a q)<~* np v -\q    Drugie prawo Dc Morgana

Dowód. 3 :: 6=>(1)

(1)    ~\p —* ~\{p a q)

3 :: 7=>(2)

(2)    iq -* ~y(p a q)

11 :: (1)=>(2)=>(3)

(3)    ~\p v ~yq —* ~y(p a q)

16    :: 31 =>3 p/q, q/p a q =>(4)

(4)    p - [-i(p a q) - kj]

17    :: (4)=>(5)

(5)    n(p a q) -> (p - ig)

16 :: (5) =>54 qf-\q =>(6)

(6)    i(p a q) ->ip v -w/

14 :: (6) => (3) => 66

67.    (p *->q)<-*(p->q) a (<?-*/?)

Dowód. 8 :: 12=>13=>(1)

(1)    (p <-> q)-> (p - q) *(ą-*p)

32 :: 14=>(2)

(2)    (p q) a (q p) {p q)

14 :: (l)=>(2)=>67

68.    (p -* q)<-*np v q

Dowód. 17 :: 26=>(1)

(1)    ~ip-*{p-*q)

11 :: (1)=> 1 p/q, q/p =>(2)

(2)    ip v q->(p-+q)

14 :: 54=>(2)=>68

Wyszukiwarka

Podobne podstrony:
Untitled Scanned 23 59 69.    p a r/*-*-i(np v -q) Dowód. 12 :: 66 => (1) (1) &nbs
19460 Untitled Scanned 11 (7) 58 ŚREDNIOWIECZNA PIESN RELIGIJNA POLSKA Drugie piosnki. Osobne noty K
44141 Untitled Scanned 22 (12) Szabżsmrntar. a FbrtełyoJc sorozai 66., .Tojasfestćs nćpi technikikka
Untitled Scanned 22 2 •    ri
Untitled Scanned 22 Ćwiczenia w pisaniu Pisanie, uzupełnianie i przekształcanie zdań Rozwiń zdania w
Untitled Scanned 22 WP0907 Ćwiczenie umiejętności ortograficznych Wyrazy z „rz" niewymiennymC 1
Untitled Scanned 22 Vidam figur ak kagylóból es karicsbólKagylókutyakAnyag & 2 vónuszkagyló &
Untitled Scanned 22 ItimobioóJLA (aax oto^t/ne^°<omrm- >/OH»t- 0>0*25m, * ^~ ~^d7T> 279
47404 Untitled Scanned 22 - Kto to? - spytała zaciekawiona, a ja już całowałem ją w szyję, gładką i
Untitled Scanned 22 H,ry. EL Bank udzielił kredytu w wysokości 1.500.000 zł z następującym harmonogr
Untitled Scanned 22 (2) . dq - średnica miarodajna, w mm, obliczana na podstawie krzywej uziamienia
Untitled Scanned 22 ----- •    - w •* ■    L£-*:* S-t»y  &nb

więcej podobnych podstron