t.FI/ETET=llxiexz )

(1)

Es

Xy

÷

^" ^*

t.FI/ETET=llxiexz ⁾

^→ xs _, xy ,

sxj ^}

^-

^9k 9-

Zwang auf jeden

^Fall

^Ilxy ⁾

⁼ ¹ ^und

^Ilxs ⁾

^> ⁰

Da

ICXSIZO weiß ^Ilxeexz ⁾

^=D

gelten

Damit haben wir drei

Möglichkeit

I.⁽y) ⁼ 0 I. ⁽ Xz) ⁼ ⁰ I. ⁽ xs) ⁼ ⁰

Iolxy

⁾ ^-1

In

4) ⁼ ⁰

In

^lxz

)

^-¹

Iilxs

⁾ ^< ⁰

Ielxy

⁾ ^-1

Iz

4)

⁼ ¹ _Izlxz) ⁼ ⁰

Izlxg

⁾ ⁼ ⁰

Izlxy )

^> ¹

FFisseuiwenuoI-LHei.n.His.daunistIFEgdwIEHuttcn.ch

_gg

(2)

H ^-^-

Kunz

⁾

-7×31^7×3

^1×4

1%4,1×4^14

⁾ ⁿ ⁽ ^uvm

⁾

=

f

⁽ ^Xnhxz⁾ ^v _X3

⁾

^17×31×4 ^31×411×2 ^Ne⁾ ^v ^;

±

KYU

_743g ^v X3

)

^{^ >} ^×, 1×4 ( 7×31 Xnn 1×217×1)

Ä

-

"_""" ^""

" nie

÷ (7×3144^7×2) ^✓ ⁽ 7×31×417×1 )

= "

x

ICH-1

Im Äh _!%Ü

Ilxs

) ⁼ ⁰

(3)

Endlichkeitssatz: Wenn ^man

oft

^H ^kann^, ^durch

Anwendung

der

Ableitungsregeln

⁽ ^der ^t ^ist

^ja

^durch

Regeln

£275

^• _endl^wie _. ^Modus

_E. _EOI

^Pneus_mit^etc⁾

_OIOTH ^definiert

^, ^dann ^ex^. ^ein

.

D.^h^. ^zum ^Ableiten ^reicht eine endl_.

Teilmenge

^.

8 '"

zeige

^: ^LH^'er ^H ⁾ ^E ^2H ^, ^H ^→^H^'

^}

^"

^Hte

^2H^, ^#^→^H

^}

^F-

^LHIH

^,

{

Ht#^'

5 {

H_, ^H ^→ ^H^'

}

^'^- ⁼ ^{ ^H _,^# ^vlt^'^} ^1- ^H^' ^1- (

HIHI

- MP

Einführung

verwirre (Modus Renens

)

_d. Alternative

[ _{ H.su#tst-HtLHtvHI

(4)

Aßt _eigenen _-

^nur

^Abkürzung ^für ^ihre

bedeutet

day

(5)

Aufgabelt

gebunden

Schritt ^:

Definiere

^„

frei

^"

für

^Terme

gebunden^(c) ⁼ ⁰

(A)

frei ^(c) ⁼

¢ f.

^a. ^Konstanten

symbole

^c ^aus ^der

Signatur

freit

^Xi⁾ ^-^- ^Hits

f.

^a^.

Obgiht

^variable

gebunden⁽^Xi⁾ ⁼ ⁰

(B)

„

Zusammengesetzte

^Terme ^"

frei

⁽

flte

^,^{. . . .}

.tn/)=deg

^.

frei

^Hi ⁾ ^, ^wobei

^fein

gebunden ^lfltu

^{. -}

^F)

⁼

Funktionssymbol

^aus ^d.

Signatur

ii. ^gebunden

^Ltte⁾ ⁼

^¢

_ist

(6)

Schritte ^:

Definiere

^„

frei

^"

^für

^Formel^"

„

frei

^" ^von ^d. ^Termen

KAI

"

Atomare ^Egge

^In ^"

{ ↳

i,

frei

^Lte ^-^- ^tz

⁾

⁼

feilte

⁾ ^u

frei

^lt

⁾

gebunden

Späße

^, ⁼ ^.

ⁱⁱ ^freit

^Relations

^Rltu ^symbol

^{. - -}^itu

⁾ ⁾

⁼ ^R ^aus

^frutti

^d^. ⁾

^Signatur ^für

^das^S

④

^„

Zusammengesetzte

_gebunden^Formel ^"

i_,

frei ^(A)

⁼

frei

^CH⁾

1%9%5%51

^µ^ein⁾^wort^Wenn^dann^w ^ii.

^iiäi ^frei

^gebunden⁽

^:

^Hei

^:*

^H⁾^>⁼

^wie ^frei

^Ltte

^.mu

⁾ ^u

^frei

⁽

^Hd

iii_,

frei

⁽ ^Hx

^A)

⁼

frei

^#^Index^}

^gebunden

^#^H⁾

↳

" " "

| _frei

^× ^HI ⁼

^freit ⁾

^s

⁾

⁼

^gebunden

^LH

t.FI/ETET=llxiexz )

Es

÷

t.FI/ETET=llxiexz )

sxj }

9k 9-

Zwang auf jeden

Ilxy )

Ilxs )

ICXSIZO weiß Ilxeexz )

gelten

Möglichkeit

Iolxy

In

In

)

Iilxs

Ielxy

4)

Izlxg

Izlxy )

FFisseuiwenuoI-LHei.n.His.daunistIFEgdwIEHuttcn.ch

Kunz

-7×31^7×3

1%4,1×4^14

)

f

)

KYU

)

Ä

-

" nie

x

Im Äh !%Ü

Ilxs

oft

Anwendung

Ableitungsregeln

ja

Regeln

£275

E. EOI

OIOTH definiert

Teilmenge

zeige

}

Hte

}

LHIH

{

5

{

}

HIHI

)

[ { H.su#tst-HtLHtvHI

Aßt eigenen -

Abkürzung für ihre

bedeutet

day

Aufgabelt

gebunden

Definiere

frei

für

(A)

¢ f.

symbole

Signatur

freit

f.

Obgiht

(B)

Zusammengesetzte

frei

flte

.tn/)=deg

frei

fein

t.FI/ETET=llxiexz ⁾

sxj ^}

^9k 9-

^Ilxy ⁾

^Ilxs ⁾

ICXSIZO weiß ^Ilxeexz ⁾

⁾

⁾

Im Äh _!%Ü

^ja

_E. _EOI

_OIOTH ^definiert

^}

^Hte

^}

^LHIH

[ _{ H.su#tst-HtLHtvHI

Aßt _eigenen _-

^Abkürzung ^für ^ihre

^fein

gebunden ^lfltu

^F)

ii. ^gebunden

^¢

^für

Atomare ^Egge

⁾

⁾

ⁱⁱ ^freit

^Rltu ^symbol

⁾ ⁾

^frutti

^Signatur ^für

frei ^(A)

^iiäi ^frei

^:

^:*

^wie ^frei

^.mu

^frei

^Hd

^A)

^gebunden

| _frei

^freit ⁾

⁾

^gebunden

^!