bar Reith

(1)

Logi ^k

^&

^Bereahen bar ^hit

7 ^. _Vor

te song

Steffen Reith

7 . 12 . D8

(2)

①

Lemmai

^Sei ^H ^, ^ke ând ^Kz ^Formel û ûnd îst ^x ^line

_Aussageu

^-

variable _, dawn

gilt

Hr ( kn ^Vx

)

^s ^L _kzvrx

)

^I Hr (_kn ^vx

)

^a ( _kzuzx ) r ( Kruk

)

Bemis

^:

zeige^.^. ^For ^alle I

gilt If

^Hnckvx ⁾ ^a

^Ckzvnix ⁾ ⁾

⁼

I (

Hn l Knx ) ^a

(

_kzvix ) a (

Keuka ) )

"

⇒ ^" Sei

ICH

ⁿ Chaux ) ^e ( kzvix )

)

^=t _, ^dann ^ICH ⁾ ^- ^I ⁽ ^krvx ⁾ ⁼

I ( Kz ^Vix

)

^-^- ¹^.

Fall l ^: Icx ) ^-^- ^A ⇒ I ( Uzun

)

⁼

Ilka )

^±I ^⇒ ^Icknvk ^.⁾ ^- ^t

Fall

² ^: Icx ⁾ ⁼ o ^⇒ I ( Kev

⇐

^x ) Icke

)

⁼ ¹ ^⇒ ^I ^{C Keuka} ⁾ ^-1

(3)

Also ICH ⁿ

lkruxlnlkzvrx ⁾

ⁿ ⁽ ^ka ^v ke

) )

⁼ ^I

②

, ⇐ ^" Sei ICH n ( Kev ^x) r ( _Kan ^x

)

^r ^C _Keuka )) ^=L _, dawn

gilt

^naturel ^ich ^auch

^ICH

ⁿ ⁽ ^krvx ⁾ ^e ⁽ ^Kzn ^x⁾

⁾

^H ^.

#

Lewin ^For

je

^de ^KNF ^- ^Formel

gilt

^:

i_, H ⁼ Res ^CH

)

ii, H =

Result ⁾ fin ^fides

^KYO

iii _, H ⁼ Res _# ^C It

) Bennis

: i

,

Direhtefolge

^des ^{left tea} ^Lemmas

ii ,

folgt

^iudnhtiv ^ans ⁱ,

iii ,

folgt

^aus ⁱⁱ ^,

^#

(4)

Saki

^Sin ^KNF ^- ^Formel ^It ^ist _genome ^dance

_erfeillbar

,

③

wean

gilt

^: ^Die ^lure ^Nauset

⁽ ⁾

^ist ^nicht ⁱⁿ ^Res ^* ^CH

⁾

euthalteu

^. Bennis ^:

-

, ⇒ ^" Sei ^Her

fill

^bar ^. ^Es

gilt

^wit ^teh^-^ten ^Lemma ^arch

H= Res _* CH

)

^.

Da

It

erfrillbar

îst êx ^. âuch êin

^I

wit A ^-^- ICH ) ^-^- I

(

^Res * CH

)

⁾ ^-^- ^t

⇒

( ) ^hawn

^heine ^Nauset ^von

^Res

*

(

^H⁾ ^Seiu _, ^da

It 41=0 fine ^alle ^I

^.

" ⇐ ^"

Wollen Zeiger

^: ⁽

)

^ist ^nicht ⁱⁿ ^Res ^*

^CHI

_, ^daun ^ist

_Hofeillbar

(5)

④

Alternative

Zeiger

^heir ^: ^It ^nicht

atilt

^bar^, ^dawn ^ist ^C⁾ ⁱⁿ ^Res^'t ^CH⁾

Vir _teigen

^die ^Aus

_sage

^durch Indication cibo _die Auzahl ⁿ do

Variable

u in H ^.

ein zig uiogliche ^Formel

- ^.

(

^IA

⁾

^h ^-^- Ô _, ^damn îst ^H ^-^- ^C ⁾ _, ^d. ^h ^. ^C) Ê ^Res ^* ⁽^H

)

⇒ dam it ist

CIA )

^u

fillet

(

^Iv

)

^Sei HG _._,^. ^.^. _, _Xu

)

^nicht

efik

^bar ^, ^dawn

gilt ^C)

^e ^Res ^* ^CH

⁾

( luduhtiousvoraussehung ) d

^s⁾ ^u ^- ^s ^htt

Sei H C xn ^. ^. ^.^- , Xun

)

^nicht ^er

fill

^bar ^lead ^habe ^{die Form}

(6)

⑤

Her ^. ^. ^. ^r

Hur

^-

vxu.in/nlHivxu.uln....n(Hiiv7xmu/

^l

^Hiv

^xu.ca⁾ ⁱ ^. ^. ^-^-^a ^I ^He^' ^-

Xu^-in kommt alle Klaus elu wit _Xue alle klauselu ^unit

nicht vor 7 Xue e

D. h . in

Hai

^. ^- , ^,

^Hi Hh

^,^. ^. ^. ,

He

^' ^, ^He^" , ^. ^. ^. , H^'m^' kommeuxu.ie und

7 Xuan nicht ^vor _. Dir

defiuioeu

^:

to ⁽

_Xu ^.^. ^. ^. _, ^Xu

)

⁼ _Her ^. ^. ^.^. n

Hur He's

^. ^. ^- ⁿ

_He

^'

Fe (

_Xu ^. ^. ^. ^. _, Xu

)

⁼

Her

^. ^. ^. ^. ^a

Hh

ⁿ

Hi

^' ^r ^. ^. ^. ^. ⁿ

Hii

Behe

Fo

^und

Fe

^Sind ^nicht

erfiillbar

Anne ^to ^ist ^er

fill

^bar ^⇒ ês êx ^. êin Î ^wit Îf

^to

^,

d. ^h ^. _{I (}Hal ⁼ ^. ^. ^. ^. ⁼ I (

Hh )

⁼

ICHI ₎

⁼ ^. ^. ^- ⁼

ICHI ^I

^-^- ¹

(7)

Da _Xue ⁱⁿ to ^nicht ^workout _, will ^en wir

IC

_Xun

1=0 ⑥

Daun ^"

.

ICH ;)

^-^- ^A

fair

^I ^kick

• ICH

! vxu.in/=orCIlHIl,Ilxu+n ⁾ )

finds

^is ^e ^fo

=

ICHI ^I

^-^- ⁱ

• It Hi^" ^vrxutr

)

⁼ ^or ⁽

ICHI

^'

)

_, I

Gxuti ) )

⁼ ¹

-

fir

^re ^is ^m ^a

⇒

ICH )

⁼ ^I ^⇒ ^{It ist}

ufiillbar ^!

Âber ^dies îst êia

^Wider

^-

spruch

^⇒ ^An ^nature ^war

fats

ôh ^, âlso îst

^Fo

^nicht

ufeillbar

Analog

^:

^Fe ^nicht

^u

fill

^bar

(8)

to ^and

te

haben nur u

Variable

_, ^also

gilt

^uaeh

⁽

^lb ^,

⑦

dass die lure Klaus el in Res _* Cfo

)

^und ^Res_* CI

)

^lethal ^tea

ist .

Fall l

, (

)

^ist ^Ulausel ⁱⁿ ^Res# ( _Her ^. . - r Hh ) _, ^daan auch

( )

in Res _* CH) _.

Fall ²_, ^C) ist nicht _in Res * ( Her ^. ^. ^. ⁿ Ha

)

, also

uuyb

( )

^Mansel ⁱⁿ ^Res *

(HHurtHe

^'

⁾

= to

sein , Wobei bei de Resolver tea

bildung

^and winchesters

eine do Klaus du

Hii

^. ^. ^. ,

He

^'

leteiligt

^ist ^.

(9)

Eisel

^!

⑧

Daan uuyb ^aber ( Xue ) eine Hansel ⁱⁿ Res _* ^C Her ^.^.^.^. ⁿ Hun

(

Hivxutaln

^.^. ^- ^a ⁽

He

^' ^vxu.in

⁾ )

^sein ^. ^C^Bem ^: ^Res ^C ^Hi^' ⁿ

_Hj

^'

⁾

^- ^C

⁾

^,

dawn Res _* ^C

Hi rlhjvxu.ie/)--Cxu+

^.

⁾ )

*

Also

gilt

^:

⁽ ⁾

^oder

⁽

^xa.in

⁾

^ist ^Mansel ⁱⁿ ^Res ^* ^CHI^,

Mit do

gleichen ^Behe achtung Halle

& Fall

2) fir ^I

^erhaltea

heir ^:

( )

^ode ⁽ ⁷ ^Xue .

)

^ist ^Nauset ⁱⁿ ^Res ^* ^CH

) Alles

^Zosaurmeh ^:

.

( )

^ist ^Mansel ⁱⁿ

Res

_* (

H )

^ooh

•

(

Xu ^- u ) and G _Xun ) Sind Klaus elu _in

Res

_*

CH )

_,

dance aber ouch

^C

)

_, ^da

(10)

C) Resolvent

von

(

Xun

)

^und

fixate )

^ist ^.

⑨

Dawit gilt ^C)

^ist ⁱⁿ

^Res

^* ^CHI ^.

^#

Bein

^Hier ^: ^Eine Sammlung ^von

liufaeheu

, mechanised auweudbareu

Regehr ^wit ^z ^we^'

Eigeuschafteu

- es _a

funhtiouiot

^" ^immer

- es

produziot

^nicht ^s ^a

false

^hes ^"

Man

kaun ^es leicht

implements

^'ve ^u ^.

So ^was ^ueuut ^man

bar Reith

Logi k

Bereahen bar hit

te song

Steffen Reith

①

Lemmai

Aussageu

gilt

)

)

)

)

Bemis

gilt If

Ckzvnix ) )

I (

(

Keuka ) )

ICH

)

)

)

Ilka )

Fall

⇐

)

lkruxlnlkzvrx )

) )

②

)

gilt

ICH

)

#

je

gilt

)

Result ) fin fides

) Bennis

Direhtefolge

folgt

folgt

#

Saki

erfeillbar

③

gilt

( )

)

euthalteu

fill

gilt

)

Da

erfrillbar

I

(

)

( ) hawn

Res

(

It 41=0 fine alle I

Wollen Zeiger

)

CHI

Hofeillbar

④

Zeiger

atilt

Vir teigen

sage

Variable

(

)

)

CIA )

fillet

(

)

Logi ^k

^Bereahen bar ^hit

_Aussageu

^Ckzvnix ⁾ ⁾

lkruxlnlkzvrx ⁾

^ICH

⁾

Result ⁾ fin ^fides

^#

_erfeillbar

⁽ ⁾

⁾

^I

( ) ^hawn

^Res

It 41=0 fine ^alle ^I

^CHI

_Hofeillbar

Vir _teigen

_sage

⁾

gilt ^C)

⁾

^Hiv

^Hi Hh

to ⁽

_He

^to

ICHI ₎

ICHI ^I

! vxu.in/=orCIlHIl,Ilxu+n ⁾ )

ICHI ^I

ufiillbar ^!

^Wider

^Fo

^Fe ^nicht

⁽

⁾