Wayground logo

Free Printable Worksheets

Font size

S
M
L
XL
Worksheets

Formel v Aussage

Total questions: 14

Worksheet time: 7mins

Name
Class
Date
1.

 A ∧ (B ¬ C) \ A\ \wedge\ \left(B\ \neg\ C\right)\

a)

Logische Formel der Aussagenlogik

b)

Logische Formel der Prädikatenlogik

c)

Mathematische Aussage

d)

keins der anderen

2.

 ∀x (P(x) → Q(x))\ \forall x\ \left(P\left(x\right)\ \to\ Q\left(x\right)\right) Für Prädikate P und Q

a)

Logische Formel der Aussagenlogik

b)

Logische Formel der Prädikatenlogik

c)

Mathematische Aussage

d)

keins der anderen

3.

 ∀x∃y (P(x, y)) ≡ ∃x∀y(P(x, y))\ \forall x\exists y\ \left(P\left(x,\ y\right)\right)\ \equiv\ \exists x\forall y\left(P\left(x,\ y\right)\right) Für ein beliebiges Prädikat P

a)

True

b)

False

4.

 ∀x ∈N (P(x) → Q(x))\ \forall x\ \in\text{N}\ \left(P\left(x\right)\ \to\ Q\left(x\right)\right)

a)

Logische Formel der Aussagenlogik

b)

Logische Formel der Prädikatenlogik

c)

Mathematische Aussage

d)

keins der anderen

5.

 A ∧ B ∧ C\ A\ \wedge\ B\ \wedge\ C

a)

Logische Formel der Aussagenlogik

b)

Logische Formel der Prädikatenlogik

c)

Mathematische Aussage

d)

keins der anderen

6.

A ∧ B ∨ CA\ \wedge\ B\ \lor\ C

a)

Logische Formel der Aussagenlogik

b)

Logische Formel der Prädikatenlogik

c)

Mathematische Aussage

d)

keins der anderen

7.

(A ∧ B) ⇒ B\left(A\ \wedge\ B\right)\ \Rightarrow\ B

a)

Logische Formel der Aussagenlogik

b)

Logische Formel der Prädikatenlogik

c)

Mathematische Aussage

d)

keins der anderen

8.

(A ∧ B) ⊨ B\left(A\ \wedge\ B\right)\ \models\ B

a)

Logische Formel der Aussagenlogik

b)

Logische Formel der Prädikatenlogik

c)

Mathematische Aussage

d)

keins der anderen

9.

(A ∧ B)\left(A\ \wedge\ B\right) ist eine Tautologie

a)

Logische Formel der Aussagenlogik

b)

Logische Formel der Prädikatenlogik

c)

Mathematische Aussage

d)

keins der anderen

10.

∃x,y Q(x, y)\exists x,y\ Q\left(x,\ y\right) für Prädikat Q

a)

Logische Formel der Aussagenlogik

b)

Logische Formel der Prädikatenlogik

c)

Mathematische Aussage

d)

keins der anderen

11.

∃y∀x P(y)\exists y\forall x\ P\left(y\right) für Prädikat P

a)

Logische Formel der Aussagenlogik

b)

Logische Formel der Prädikatenlogik

c)

Mathematische Aussage

d)

keins der anderen

12.

¬ (A ∧ B) ≡ ¬A ∨ ¬B \neg\ \left(A\ \wedge\ B\right)\ \equiv\ \neg A\ \vee\ \neg B\

a)

Logische Formel der Aussagenlogik

b)

Logische Formel der Prädikatenlogik

c)

Mathematische Aussage

d)

keins der anderen

13.

(A ∧ B) → (¬ B ∨ C)\left(A\ \wedge\ B\right)\ \to\ \left(\neg\ B\ \vee\ C\right)

a)

Logische Formel der Aussagenlogik

b)

Logische Formel der Prädikatenlogik

c)

Mathematische Aussage

d)

keins der anderen

14.

∃x(P(x) ∧ (∀y (Q(x, y))))\exists x\left(P\left(x\right)\ \wedge\ \left(\forall y\ \left(Q\left(x,\ y\right)\right)\right)\right) Für Prädikate P und Q

a)

Logische Formel der Aussagenlogik

b)

Logische Formel der Prädikatenlogik

c)

Mathematische Aussage

d)

keins der anderen