wayground logo

Free Printable Worksheets

Font size

S
M
L
XL
Worksheets

Tutorium 4

Total questions: 11

Worksheet time: 7mins

Name
Class
Date
1.

Was sind gültige Aussagen?

a)

Diese Aussage ist wahr

b)

GBI macht Spaß

c)

GBI macht kein Spaß

d)

Diese Aussage ist falsch

2.

Wer prägte den Namen der Werte, die Aussagen annehmen?

a)

George Boole

b)

Patrick Tolksdorf

c)

Torsten Ueckerdt

d)

George Boolean

3.

Welche booleschen Funktionen sind gegeben durch:

bx: B2Bb_x:\ B^2\rightarrow B

a)

x=Ix=I

b)

x=x=\wedge

c)

x=¬x=\neg

d)

x=x=\vee

4.

AAL=VarALXA_{AL}=Var_{AL}\cup X

a)

X={,,}X=\left\{\vee,\wedge,\rightarrow\right\}

b)

X={,,,¬,,(,)}X=\left\{\vee,\wedge,\rightarrow,\neg,\leftrightarrow,\left(,\right)\right\}

c)

X={,,,¬,(,)}X=\left\{\vee,\wedge,\rightarrow,\neg,\left(,\right)\right\}

d)

X={,,,¬}X=\left\{\vee,\wedge,\rightarrow,\neg\right\}

5.

AALForALA_{AL}\subseteq For_{AL}

a)

Wahr

b)

Falsch

6.

VarAL={P,Q,R,S}, xForALVar_{AL}=\left\{P,Q,R,S\right\},\ x\in For_{AL}

a)

x=(((P)))x=\left(\left(\left(P\right)\right)\right)

b)

x=(PQ)S x=\left(P\rightarrow Q\right)\rightarrow S\

c)

x=((ST)R)x=\left(\left(S\vee T\right)\wedge R\right)

d)

x=(S)(S)(Q)x=\left(S\right)\vee\left(S\right)\wedge\left(Q\right)

7.

Wie nennt man die Zuordnung von Boole-Wert zu Aussagenvariable?

a)

Interpretation

b)

Modell

c)

Auswertung

d)

Semantik

8.

Wie nennt man die Funktion, die einer AL-Formel einen Boole-Wert zuweist?

a)

Die gibt es nicht

b)

Auswertung

c)

Modell

d)

Interpretation

9.

Sei I(A)=w, I(B)=fI(A)=w,\ I(B)=f . Was ist valI(AAB)val_I\left(A\rightarrow A\wedge B\right) ?

a)

w

b)

f

c)

beides

10.

Sei I(A)=w, I(B)=fI(A)=w,\ I(B)=f . Was ist val valI(A¬BAB)val_I\left(A\wedge\neg B\vee A\wedge B\right)

a)

w

b)

f

c)

e

d)

x

11.

Was muss gelten damit FForALF\subseteq For_{AL} eine Tautologie ist?

a)

 I:valI(F)=w\forall\ I:val_I\left(F\right)=w

b)

 I:valI(F)=w\exists\ I:val_I\left(F\right)=w

c)

I:valI(¬F)=f\forall I:val_I\left(\neg F\right)=f

d)

¬ I:valI(F)=f\neg\exists\ I:val_I\left(F\right)=f