Grundbegriffe der Informatik — Aufgabenblatt 3

Tutorium Nr.: Tutor*in:

Matr.nr. 1:

Nach-,Vorname 1: ,

Matr.nr. 2:

Nach-,Vorname 2: ,

Ausgabe: Freitag, 11.11.2022, 12:00 Uhr

Abgabe: Freitag, 18.11.2022, 12:30 Uhr

Online, oder in einem Briefkasten mit der Aufschrift GBI

im UG des Info-Gebäudes (50.34)

Lösungen werden nur korrigiert, wenn sie

• handschriftlich erstellt sind (Tablet-Ausdruck erlaubt) und

• mit dieser Seite als Deckblatt

• in der oberen linken Ecke zusammengeheftet

rechtzeitig abgegeben werden.

Abgaberegeln für Teilnehmer der Tutorien mit Online-Abgabe:

• handschriftlich erstellt (Scans und lesbare Fotos akzeptiert)

• rechtzeitig, mit diesem Deckblatt in genau einer PDF-Datei

• in ILIAS unter “Tutorien” im Ordner des richtigen Tutoriums abgeben.

Von Tutor*in auszufüllen: erreichte Punkte

Blatt 3: / 22 Blätter 1 – 3, Stud. 1: / 64

Blätter 1 – 3, Stud. 2: / 64

Aufgabe 3.1 (2 + 1 = 3 Punkte)

Wir untersuchen das Prinzip der Kontraposition der Aussagenlogik:

Wenn aus Aussage A die Aussage B folgt, so folgt aus der Negation der

Aussage B die Negation der Aussage A.

a) Beweisen Sie die folgende Äquivalenz: A ! B ⌘ ¬ B ! ¬ A.

i) Unter Verwendung einer Wahrheitstabelle

ii) Mittels Äquivalenzumformungen

b) Wenden Sie das Prinzip der Kontraposition auf folgenden Satz (eine alte Bauernre-

gel) an:

Wenn’s Laub nicht vor Martini1 fällt, kommt eine große Winterkält’.

Aufgabe 3.2 (1 + 4 = 5 Punkte)

Wir haben in der Vorlesung eine Reihe aussagenlogischer Konnektive kennengelernt

( , , und ). Um alle möglichen booleschen Funktionen als aussagenlogische Formel

darzustellen zu können, werden aber nicht alle Konnektive benötigt. Man nennt eine

Menge von Konnektiven, mit denen alle booleschen Funktionen als aussagenlogische

Formel ausgedrückt werden können, eine Basis der Aussagenlogik.

Das aussagenlogische Konnektiv NAND (– ) ist definiert als

w, falls val I ( G ) = f oder val I ( H ) = f

val I ( G – H ) =

f, sonst

für beliebige Formeln G, H 2 For AL .

a) Geben Sie eine Wahrheitstabelle für a – b an.

b) Zeigen Sie, dass – eine Basis ist. Geben Sie dafür (ohne Beweis) für die folgenden

Formeln je eine äquivalente aussagenlogische Formel an, die nur – benutzt:

i) P

ii) P Q

iii) P Q

iv) P Q

Aufgabe 3.3 (3 + 1 + 3 + 2 = 9 Punkte)

Paul und Quentin wurden festgenommen, weil man sie des Ladendiebstahls bezichtigt.

Ihr Kumpel Raul konnte sich unbemerkt davonmachen. Verwenden Sie die aussagenlogi-

schen Variablen P, Q, und R für die Aussagen, dass Paul (P), Quentin(Q) oder Raul (R)

gestohlen haben.

a) Formalisieren Sie die folgenden Aussagen in der Aussagenlogik:

1. Entweder Paul oder Quentin haben tatsächlich geklaut.

2. Falls Raul unerlaubt etwas mitgehen ließ, so haben sowohl Quentin als auch

Paul keinen Diebstahl begangen.

3. Weder Raul noch Paul haben gestohlen, falls Quentin nichts stahl.

1 Gemeint

ist der Gedenktag des Martin von Tours am 11.11.

b) Stellen Sie für die aussagenlogische Formel, die Sie für 2. in a) aufgestellt haben,

eine Wahrheitstabelle auf.

c) Ist die Konjunktion2 der drei Formeln (1-3) erfüllbar oder unerfüllbar? Ist sie eine

Tautologie? Begründen Sie.

d) Geben Sie das Negat der folgenden Aussagen als aussagenlogische Formel an, so

dass das Negationszeichen nur direkt vor Variablen auftritt:

4. Alle drei haben gestohlen und Paul ist unschuldig,

5. Wenn Paul und Quentin nichs verbrochen haben, dann auch Raul nicht.

Aufgabe 3.4 (1 + 4 = 5 Punkte)

Die Fibonacci-Zahlen f n , n 2 0 sind definiert durch die Gleichungen

f0 = 0 (1)

f1 = 1 (2)

8n 2 + : f n +1 = f n + f n 1 (3)

a) Geben Sie die Zahlenwerte von f 2 , f 3 , f 4 und f 5 an.

b) Beweisen Sie durch Induktion, dass für alle n 2 + gilt:

✓ ◆n 1

7
fn  (4)

Hinweis: Überlegen Sie sich genau, für welche n Induktionsanfang und -voraussetzung

gelten müssen, damit Ihr Induktionsschritt funktioniert!

2 Eine Konjunktion ist eine Aussage der Form A B. Eine Aussage der Form A B heißt Disjunktion.

gleich

intingauamunnbikinmaskiritanan nanan

nin

a A BETB TA

it Baewpisanthpahraheinthia

w w w f f

w f f w g

f
f f
w
y W

usfolgtdassA B TB 7A
Dara

ii Beweisdurch Aquivalenzumformungen

Z z A B TB TA

7 A n TB 717B n A

7A n 77 B E MB a A

TA n B Bn A MitKommutativgesetz

7AnB A B L

IB na

b wenn'seinegropewinter
kaltnichtkommtfalltLaubvorMartini

a a
b a tb

w w f
W f w

f w w
f f w

pig pung up

ng

z z eine

Esgilt atb ant dasistgenaugleichmit79v7b

Fsoftp.t
neBpatip me
p

ii pn Q pig i pig

Iii P v Q E pipl i gig

iv P Q i E
pig p
w


accused

If Raul stole something illegally, both Quentin and Paul did not commit theft.
Neither Raul nor Paul stole unless Quentin stole.

a 1 pug

2 re

gap
3 79 Trap

ax intingasnyanonjugiert
d unschildeg
eintachanesnegieren

All three stole and Paul is innocent,

If Paul and Quentin didn't do anything wrong, then neither did Raul.

bl p g r pig quip r l quip

f fwww w w

w f w f w w w

w ww f f f f

fw w w f w w

w w f f f f w

w f f f w w w

f w f w f w w

f f f w w w w

c pug air paal n 79 rn p

r p g spng equip rel quip Pra er ipnir 79 rn p puaintretiprailntiq arnie
w f f w w w w f f f f f
w w f f w w w f f f f
w w w f f f I w f f f
W f w w f w w w f f W
f w w f f f w w w f W W
f w f f w w w w
w f f f
f f ww f w W W
W
W W W
f f f ww w f W W w
f
DaesFIWahrgibtistdieKonjunktionderdreiformelerfillbar
Darausfolgtidassesteintautologieist weilnichtalleInterpretationwahrsind

d4 Padarn p
ipv quarry p
Tpviquirvp
57174 91 Trl
7 7prig Tr
pig r
a forfate fr t fi a
fr to fs t fa
1 2 1
to fate fa tfa n 3
fo tf fr fate fy t fu y
It 1 fy tf
3 2
5

Bedingungn21
NIA
YEA
Is
Iv Gettine nn
furallebeliebiegesaberfestesneinen
4
IS n htt
nti n
fate I
f
fr tfn n E n2
1 t 1
fr tfn n I nn n
gmy
fr tfn n 1 4 I
fr tfn n f
tf
tnttn.ie m Fiji
Damitfoigt frtfn n s fun 1
y