Vorlesung Logik

(1)

Logik ^& Berechenbarkeit

10 ^.

Vorlesung

20.12^. 19

Steffen ^Reith

(2)

①

iii, ês êx^. êin ^H

' mit

HIV

^' ^e

#

^u

^htt ^} ⁾ T

_, ^dann

gilt

nach

④ HIHI

^E

( EuGH

^'s

) ^! ^Wenn ICOI )

^-1 _, ^dann

muf

^IGH

⁾

^>⁰

gelten

^, ^danö

_ja

tlotuhHD-1-ICHY-IGHY.at

^so

^muß

^ICH) ⁼ ¹

^gelten

^und ^somit

^HEÄE

^.

Widerspruch

\

( l

I I ⁱ

l l l

i ⁱ _i

I I

| '

'

. I

IX) ⁱ ^- ^- ^- ^_ ^- ^_ ^- ^u ^. ^. ^. ^. ^. ^. ⁿ ^. ^- ^. ^- ^_ ^-

i .

-

#

Def

^:

^Seide

^La ^, ^dann

heißt £ konsistent ( widerspruchsfrei ⁾

gdw

^es

gibt

^kein

^Helm

^mit

^Hielte ^Er

(3)

②

Satz

^sei

^Es Lau

, dann

gilt

-Meta i

,

I

^ist ^nicht ^honisteat, dann

Äh

↳_,

sj

⑦ ⁱⁱ^, ^Ist

^Ä

^konsistent^, ^so ^ist

^OIVLHG

^oder

^Judi

^HS ^konsistent

Beweis

i, Ist

OI

nicht

konsistent

, dann

gibt

^es ^ein ^H^'

^mit

H^'_, dt ^' ^c-

Äh

^. ^Also H

!

^IH^' ^e

⁽ ^EuGH ^} )

^"

für ^alle

ff ELALO

Mit der

Regel

^des

^indirekten ^Beweis gilt

^dann

^Heist

^,

d.h.

Er

^-

_Lae

.

ii,

Beweis

via Kontra

position

Sind

Äu

H und

Ä

^u ^h

HS

nicht

konsistent

, dann

gilt

mit i₎ Hielt ^c- (

Eu

^LH^}

)

^" ûnd ^H_, ÎH Ê

⁽ EuGH

}

) ^!

Mit ^d.

Regel

^d^.

Fallunterscheidung ^gilt

^dann

^Hielt

^C-

^Äh

^, ^d.^h^.

Ä

^{ist nicht} ^konsistent ^. ^#

(4)

③

Def

^: ^sei

^Ä

^Ehre ^, ^dann

_heißt ^ET vollständig gdw ^für ^jedes

HELAL gilt ^HEOI

^oder ^z

^HEÄ

^.

Setz

^: ^Sei

ÄELL ^konsistent

^und

vollständig

^, ^dann

i₎

E

⁼

Iii

, ⁿ

Heft gdw ^HAI

iii) ( Hsv Hz

)

^e-

OI gdw ^He

^c-

^E

^oder

^HZEOI ^oft

N' )

(

Han H

) EÄ gdw ^He ^EET

^und ^H^, ^e-

^€

^•^*

Beweis

i,

Angenommen ^{§ eott}

^, ^dann ^ex^. ^ein

^Heft

^b

Da d- vollständig ^ist

^und

^Heft gilt ^IHEOICÄ ^!

D.^h ^.

Ä

^ist ^nicht ^konsistent ^.

Widerspruch ^§

⁼

oft

ii,

¥74 ^gib

^Kerze

(5)

Vorlesung Logik

Logik & Berechenbarkeit

Vorlesung

Steffen Reith

①

HIV

#

htt } ) T

gilt

④ HIHI

( EuGH

) ! Wenn ICOI )

muf

)

gelten

ja

tlotuhHD-1-ICHY-IGHY.at

muß

gelten

HEÄE

Widerspruch

#

Def

Seide

heißt £ konsistent ( widerspruchsfrei )

gdw

gibt

Helm

Hielte Er

②

Satz

Es Lau

gilt

I

Äh

sj

Ä

OIVLHG

Judi

Beweis

OI

konsistent

gibt

mit

Äh

!

( EuGH } )

für alle

Regel

indirekten Beweis gilt

Heist

Er

Lae

Beweis

position

Äu

Ä

HS

konsistent

gilt

Eu

)

( EuGH

) !

Regel

Fallunterscheidung gilt

Hielt

Äh

Ä

③

Def

Ä

heißt ET vollständig gdw für jedes

HELAL gilt HEOI

HEÄ

Setz

ÄELL konsistent

vollständig

E

Iii

Logik ^& Berechenbarkeit

Steffen ^Reith

^htt ^} ⁾ T

) ^! ^Wenn ICOI )

⁾

_ja

^muß

^gelten

^HEÄE

^Seide

heißt £ konsistent ( widerspruchsfrei ⁾

^Helm

^Hielte ^Er

^Es Lau

^Ä

^OIVLHG

^Judi

^mit

⁽ ^EuGH ^} )

für ^alle

^indirekten ^Beweis gilt

^Heist

_Lae

⁽ EuGH

) ^!

Fallunterscheidung ^gilt

^Hielt

^Äh

^Ä

_heißt ^ET vollständig gdw ^für ^jedes

HELAL gilt ^HEOI

^HEÄ

ÄELL ^konsistent

Heft gdw ^HAI

OI gdw ^He

^E

^HZEOI ^oft

) EÄ gdw ^He ^EET

^€

Angenommen ^{§ eott}

^Heft

Da d- vollständig ^ist

^Heft gilt ^IHEOICÄ ^!

Widerspruch ^§

¥74 ^gib